Skip to content

Commit d55a8da

Browse files
committed
Add tests to cmake regression: cbmc-cover, cbmc-cpp, goto-analyzer-taint
1 parent 3a4e48c commit d55a8da

File tree

4 files changed

+12
-0
lines changed

4 files changed

+12
-0
lines changed

regression/CMakeLists.txt

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,10 +25,13 @@ endmacro(add_test_pl_tests)
2525

2626
add_subdirectory(ansi-c)
2727
add_subdirectory(cbmc)
28+
add_subdirectory(cbmc-cover)
29+
add_subdirectory(cbmc-cpp)
2830
add_subdirectory(cbmc-java)
2931
add_subdirectory(cbmc-java-inheritance)
3032
add_subdirectory(cpp)
3133
add_subdirectory(goto-analyzer)
34+
add_subdirectory(goto-analyzer-taint)
3235
add_subdirectory(goto-cc-cbmc)
3336
add_subdirectory(goto-cc-goto-analyzer)
3437
add_subdirectory(goto-diff)

regression/cbmc-cover/CMakeLists.txt

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
add_test_pl_tests(
2+
"$<TARGET_FILE:cbmc>"
3+
)

regression/cbmc-cpp/CMakeLists.txt

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
add_test_pl_tests(
2+
"$<TARGET_FILE:cbmc>"
3+
)
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
add_test_pl_tests(
2+
"$<TARGET_FILE:goto-analyzer>"
3+
)

0 commit comments

Comments
 (0)