C++TESK Testing ToolKit

Данная возможность (точнее некоторые ее задатки) появится в билде 1.0.15.

В классе эталонной модели нужно будет перегрузить метод isExitCondition() (см. пример ниже), в функции инициализации тестового сценария написать dut.initialize(argc, argv) вместо dut.initialize(), а при запуске тестовой системы в командной строке указать параметр --exit-if-condition.

class MyCoverage {
    CoverageTracker tracker;

    CPPTESK_DEFINE_ENUMERATED_COVERAGE(Cov1, ...);
    ...
    CPPTESK_DEFINE_ENUMERATED_COVERAGE(CovN, ...);

    ...
    bool isFullyCovered() {
        return tracker.isFullyCovered<Cov1>
            && ... 
            && tracker.isFullyCovered<CovN>;
    }
};

CPPTESK_MODEL(MyModel) {
    MyCoverage coverage;
    ...
    virtual bool isExitCondition() {
        return coverage.isFullyCovered(); 
    }
    ...
};