Regression test for _Bool parameter

Author: peterschrammel

regression/cbmc/c99_Bool/main.c

@@ -0,0 +1,11 @@
+#include <assert.h>
+
+void foo(_Bool y)
+{
+  int x;
+  if(y) 
+  {  
+    x=(int)y;
+    assert(x==1);
+  }
+}

regression/cbmc/c99_Bool/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+--function foo
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring