Disable bug related to constant propagation

FrNecas · FrNecas · commit bb5c15e7cddc · 2021-04-16T12:00:04.000+02:00
Signed-off-by: František Nečas &lt;frantisek.necas@protonmail.com&gt;
diff --git a/regression/termination/locks1/test.desc b/regression/termination/locks1/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 --inline
 ^EXIT=0$
