Move goto-bmc tests to dedicated folder instead of top-level

diffblue · Jun 19, 2023 · dfde351 · dfde351
1 parent c125275
commit dfde351
Show file tree

Hide file tree

Showing 9 changed files with 4 additions and 4 deletions.
diff --git a/regression/CMakeLists.txt b/regression/CMakeLists.txt
@@ -54,8 +54,8 @@ add_subdirectory(invariants)
 add_subdirectory(goto-diff)
 add_subdirectory(test-script)
 add_subdirectory(goto-analyzer-taint)
-add_subdirectory(goto-bmc)
-add_subdirectory(goto-bmc-non-symex-ready-goto)
+add_subdirectory(goto-bmc/goto-bmc-symex-ready-goto)
+add_subdirectory(goto-bmc/goto-bmc-non-symex-ready-goto)
 if(NOT WIN32)
   add_subdirectory(goto-gcc)
 else()

diff --git a/...o-bmc-non-symex-ready-goto/CMakeLists.txt → ...o-bmc-non-symex-ready-goto/CMakeLists.txt b/...o-bmc-non-symex-ready-goto/CMakeLists.txt → ...o-bmc-non-symex-ready-goto/CMakeLists.txt
diff --git a/...on/goto-bmc-non-symex-ready-goto/chain.sh → ...mc/goto-bmc-non-symex-ready-goto/chain.sh b/...on/goto-bmc-non-symex-ready-goto/chain.sh → ...mc/goto-bmc-non-symex-ready-goto/chain.sh
diff --git a/...bmc-non-symex-ready-goto/negative1/main.c → ...bmc-non-symex-ready-goto/negative1/main.c b/...bmc-non-symex-ready-goto/negative1/main.c → ...bmc-non-symex-ready-goto/negative1/main.c
diff --git a/...-non-symex-ready-goto/negative1/main.desc → ...-non-symex-ready-goto/negative1/main.desc b/...-non-symex-ready-goto/negative1/main.desc → ...-non-symex-ready-goto/negative1/main.desc
@@ -1,7 +1,7 @@
 CORE
 main.c
 
-^EXIT=[127|134]$
+^EXIT=(127|134)$
 ^SIGNAL=0$
 ^Invariant check failed$
 ^Reason: Check return value$

diff --git a/regression/goto-bmc/CMakeLists.txt → .../goto-bmc-symex-ready-goto/CMakeLists.txt b/regression/goto-bmc/CMakeLists.txt → .../goto-bmc-symex-ready-goto/CMakeLists.txt
diff --git a/regression/goto-bmc/chain.sh → ...to-bmc/goto-bmc-symex-ready-goto/chain.sh b/regression/goto-bmc/chain.sh → ...to-bmc/goto-bmc-symex-ready-goto/chain.sh
diff --git a/regression/goto-bmc/positive1/main.c → ...oto-bmc-symex-ready-goto/positive1/main.c b/regression/goto-bmc/positive1/main.c → ...oto-bmc-symex-ready-goto/positive1/main.c
diff --git a/regression/goto-bmc/positive1/main.desc → ...-bmc-symex-ready-goto/positive1/main.desc b/regression/goto-bmc/positive1/main.desc → ...-bmc-symex-ready-goto/positive1/main.desc
@@ -1,6 +1,6 @@
 CORE
 main.c
-" "
+
 ^EXIT=10$
 ^SIGNAL=0$
 \[main\.assertion\.1\] line \d expected fail: 0 == 0: FAILURE