Skip to content

Commit 28c4f7b

Browse files
committed
Fix cbmc-library CMake test configuration
The multi-argument specification is to be used with add_test_pl_profile, not add_test_pl_tests. Also, remove the spurious first argument that resulted in 0 tests being found.
1 parent 724467c commit 28c4f7b

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

regression/cbmc-library/CMakeLists.txt

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,7 @@ add_test_pl_tests(
33
"$<TARGET_FILE:cbmc>"
44
)
55
else()
6-
add_test_pl_tests(
7-
"$<TARGET_FILE:cbmc>"
6+
add_test_pl_profile(
87
"cbmc-library"
98
"$<TARGET_FILE:cbmc>"
109
"-C;-X;unix"

0 commit comments

Comments
 (0)