From d6dddc0b059b4b02f4446bf018116eea4f1e1d44 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 7 Jul 2023 19:29:41 +0000
Subject: [PATCH] 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).
---
 regression/cbmc/Anonymous_Struct3/{main.c => main.i} | 0
 regression/cbmc/Anonymous_Struct3/test.desc          | 2 +-
 regression/cbmc/noop1/{main.c => main.i}             | 0
 regression/cbmc/noop1/test.desc                      | 2 +-
 regression/cbmc/noop2/{main.c => main.i}             | 0
 regression/cbmc/noop2/test.desc                      | 2 +-
 6 files changed, 3 insertions(+), 3 deletions(-)
 rename regression/cbmc/Anonymous_Struct3/{main.c => main.i} (100%)
 rename regression/cbmc/noop1/{main.c => main.i} (100%)
 rename regression/cbmc/noop2/{main.c => main.i} (100%)

diff --git a/regression/cbmc/Anonymous_Struct3/main.c b/regression/cbmc/Anonymous_Struct3/main.i
similarity index 100%
rename from regression/cbmc/Anonymous_Struct3/main.c
rename to regression/cbmc/Anonymous_Struct3/main.i
diff --git a/regression/cbmc/Anonymous_Struct3/test.desc b/regression/cbmc/Anonymous_Struct3/test.desc
index 7057e2afbe7..03e7fef24d9 100644
--- 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 b/regression/cbmc/noop1/main.i
similarity index 100%
rename from regression/cbmc/noop1/main.c
rename to regression/cbmc/noop1/main.i
diff --git a/regression/cbmc/noop1/test.desc b/regression/cbmc/noop1/test.desc
index d9e8f9ae8b8..c2537a5aa61 100644
--- 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 b/regression/cbmc/noop2/main.i
similarity index 100%
rename from regression/cbmc/noop2/main.c
rename to regression/cbmc/noop2/main.i
diff --git a/regression/cbmc/noop2/test.desc b/regression/cbmc/noop2/test.desc
index 7057e2afbe7..03e7fef24d9 100644
--- 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$