Skip to content

Commit 37d97f5

Browse files
committed
Actually run goto-cc-multi-file regression suite
We had this folder in place for a while, but it was neither included in the Makefile nor the CMake-based regression test execution.
1 parent d84744f commit 37d97f5

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

Diff for: regression/CMakeLists.txt

+1
Original file line numberDiff line numberDiff line change
@@ -77,6 +77,7 @@ add_subdirectory(k-induction)
7777
add_subdirectory(goto-harness)
7878
add_subdirectory(goto-harness-multi-file-project)
7979
add_subdirectory(goto-cc-file-local)
80+
add_subdirectory(goto-cc-multi-file)
8081
add_subdirectory(goto-cc-regression-gh-issue-5380)
8182
add_subdirectory(linking-goto-binaries)
8283
add_subdirectory(symtab2gb)

Diff for: regression/Makefile

+1
Original file line numberDiff line numberDiff line change
@@ -50,6 +50,7 @@ DIRS = cbmc-shadow-memory \
5050
goto-harness \
5151
goto-harness-multi-file-project \
5252
goto-cc-file-local \
53+
goto-cc-multi-file \
5354
goto-cc-regression-gh-issue-5380 \
5455
linking-goto-binaries \
5556
symtab2gb \

0 commit comments

Comments
 (0)