Add regression tests for shadow memory get

Enrico Steffinlongo · Enrico Steffinlongo · commit 74f666978456 · 2023-08-10T20:54:41.000+01:00
diff --git a/regression/cbmc-shadow-memory/custom-init1/test.desc b/regression/cbmc-shadow-memory/custom-init1/test.desc
@@ -1,4 +1,4 @@
-FUTURE
+CORE
 main.c
 
 ^EXIT=0$
diff --git a/regression/cbmc-shadow-memory/void-ptr-param-get1/test.desc b/regression/cbmc-shadow-memory/void-ptr-param-get1/test.desc
@@ -1,4 +1,4 @@
-FUTURE
+CORE
 main.c
 
 ^EXIT=6$
