Add address space size limit regression test

regression/cbmc/address_space_size_limit1/test.c

@@ -0,0 +1,16 @@
+
+#include <stdlib.h>
+#include <assert.h>
+
+int main(int argc, char** argv)
+{
+
+  int i;
+  char* c;
+  for(i=0; i<300; ++i)
+  {
+    c=(char*)malloc(1);
+    assert(c!=(char*)0);
+  }
+
+}

regression/cbmc/address_space_size_limit1/test.desc

@@ -0,0 +1,5 @@
+CORE
+test.c
+--no-simplify --unwind 300
+too many variables
+--