Add failing shadow memory regression test.

Enrico Steffinlongo · Enrico Steffinlongo · commit 5ff2fe0812a8 · 2023-09-29T17:38:23.000+01:00
diff --git a/regression/cbmc-shadow-memory/getenv1/test.desc b/regression/cbmc-shadow-memory/getenv1/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 
 ^EXIT=0$
