Skip to content

Commit c2af333

Browse files
committed
Add contracts directory to regression tests run via CMake
The Makefile had this directory added in d49ea09, but this wasn't the case for CMake.
1 parent 2f36e51 commit c2af333

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

regression/CMakeLists.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,3 +43,4 @@ add_subdirectory(goto-cc-cbmc)
4343
add_subdirectory(cbmc-cpp)
4444
add_subdirectory(goto-cc-goto-analyzer)
4545
add_subdirectory(systemc)
46+
add_subdirectory(contracts)

0 commit comments

Comments
 (0)