Merge pull request diffblue#8206 from tautschnig/cleanup/32-bit-preproc

Avoid cross-platform preprocessor need from test
elegant-h2020 · Feb 15, 2024 · 1939544 · 1939544
2 parents 1590a31 + d6dddc0
commit 1939544
Show file tree

Hide file tree

Showing 6 changed files with 3 additions and 3 deletions.
diff --git a/regression/cbmc/Anonymous_Struct3/main.c → regression/cbmc/Anonymous_Struct3/main.i b/regression/cbmc/Anonymous_Struct3/main.c → regression/cbmc/Anonymous_Struct3/main.i
diff --git a/regression/cbmc/Anonymous_Struct3/test.desc b/regression/cbmc/Anonymous_Struct3/test.desc
@@ -1,5 +1,5 @@
 CORE
-main.c
+main.i
 -win32
 ^EXIT=0$
 ^SIGNAL=0$

diff --git a/regression/cbmc/noop1/main.c → regression/cbmc/noop1/main.i b/regression/cbmc/noop1/main.c → regression/cbmc/noop1/main.i
diff --git a/regression/cbmc/noop1/test.desc b/regression/cbmc/noop1/test.desc
@@ -1,5 +1,5 @@
 CORE
-main.c
+main.i
 -winx64
 ^EXIT=0$
 ^SIGNAL=0$

diff --git a/regression/cbmc/noop2/main.c → regression/cbmc/noop2/main.i b/regression/cbmc/noop2/main.c → regression/cbmc/noop2/main.i
diff --git a/regression/cbmc/noop2/test.desc b/regression/cbmc/noop2/test.desc
@@ -1,5 +1,5 @@
 CORE
-main.c
+main.i
 -win32
 ^EXIT=0$
 ^SIGNAL=0$