Avoid cross-platform preprocessor need from test

The test requires 32-bit, but does not need preprocessing. So avoid any attempt to invoke a platform-specific preprocessor (that might not actually be available).
diffblue · Feb 14, 2024 · d6dddc0 · d6dddc0
1 parent 1590a31
commit d6dddc0
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$