From 548a3d6b1480b08d794f54f7b235dc8e5d629350 Mon Sep 17 00:00:00 2001 From: Snaipe Date: Wed, 16 Sep 2015 01:52:48 +0200 Subject: [PATCH] Added coverage reports for all current tests --- samples/CMakeLists.txt | 2 ++ samples/tests/early_exit.sh | 4 ++-- test/CMakeLists.txt | 3 +++ 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/samples/CMakeLists.txt b/samples/CMakeLists.txt index ebeacf7..6ae8e1a 100644 --- a/samples/CMakeLists.txt +++ b/samples/CMakeLists.txt @@ -77,6 +77,7 @@ foreach(script ${SCRIPTS}) add_test(${script} sh ${CMAKE_CURRENT_LIST_DIR}/tests/${script}.sh) set_property(TEST ${script} PROPERTY ENVIRONMENT "CRITERION_ALWAYS_SUCCEED=1" + ENVIRONMENT "CRITERION_NO_EARLY_EXIT=1" # for coverage ) add_test(${script}_compare sh ${CMAKE_CURRENT_LIST_DIR}/tests/run_test.sh "${CMAKE_CURRENT_LIST_DIR}" . "${CMAKE_CURRENT_LIST_DIR}" tests/${script}) @@ -84,6 +85,7 @@ foreach(script ${SCRIPTS}) ENVIRONMENT "LC_ALL=en_US.utf8" ENVIRONMENT "CRITERION_ALWAYS_SUCCEED=1" ENVIRONMENT "CRITERION_SHORT_FILENAME=1" + ENVIRONMENT "CRITERION_NO_EARLY_EXIT=1" # for coverage ) endforeach() diff --git a/samples/tests/early_exit.sh b/samples/tests/early_exit.sh index 71bb31d..e0566dd 100755 --- a/samples/tests/early_exit.sh +++ b/samples/tests/early_exit.sh @@ -1,3 +1,3 @@ #!/bin/sh -./simple.c.bin --no-early-exit --always-succeed -./theories.c.bin --no-early-exit --always-succeed +./simple.c.bin --always-succeed +CRITERION_NO_EARLY_EXIT=0 ./simple.c.bin --always-succeed diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 978ba2a..13ebf3c 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -16,3 +16,6 @@ target_link_libraries(criterion_unit_tests criterion) add_dependencies(criterion_tests criterion_unit_tests) add_test(criterion_unit_tests criterion_unit_tests) +set_property(TEST criterion_unit_tests PROPERTY + ENVIRONMENT "CRITERION_NO_EARLY_EXIT=1" # for coverage +)