Merge pull request diffblue#2447 from tautschnig/cpp-regression-tests

Daniel Kroening · web-flow · commit a07639d30732 · 2018-06-25T16:22:18.000+01:00
Cpp regression test configuration fixes
diff --git a/regression/cpp/type_traits1/test.desc b/regression/cpp/type_traits1/test.desc
@@ -1,6 +1,6 @@
 KNOWNBUG
 main.cpp
-
+-std=c++11
 ^EXIT=0$
 ^SIGNAL=0$
 --
diff --git a/regression/systemc/Reference1/test.desc b/regression/systemc/Reference1/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$
