C++11 auto is a knownbug

kroening · kroening · commit 718cbaf7c29a · 2014-06-23T13:05:33.000Z
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4141 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
diff --git a/regression/cpp/auto1/test.desc b/regression/cpp/auto1/test.desc
@@ -0,0 +1,8 @@
+KNOWNBUG
+main.cpp
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$
