Merge pull request #7851 from tautschnig/bugfixes/fix-Templates1-test

NlightNFotis · web-flow · commit c4eac484e58f · 2023-09-01T11:54:38.000+01:00
Fix C++ test Templates1
diff --git a/regression/cbmc-cpp/Templates1/main.cpp b/regression/cbmc-cpp/Templates1/main.cpp
@@ -1,3 +1,5 @@
+#include <cassert>
+
 template <typename T>
 void f(T x)
 {
diff --git a/regression/cbmc-cpp/Templates1/test.desc b/regression/cbmc-cpp/Templates1/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.cpp
 
 ^EXIT=0$
