Amend test-case to complete in acceptable time

smowton · smowton · commit 0a53fbbb74ce · 2017-03-23T12:44:39.000Z
diff --git a/regression/cbmc-java/multinewarray/multinewarray.class b/regression/cbmc-java/multinewarray/multinewarray.class
diff --git a/regression/cbmc-java/multinewarray/multinewarray.java b/regression/cbmc-java/multinewarray/multinewarray.java
@@ -12,8 +12,8 @@ public static void main(String[] args)
     assert some_a[0].length==3;
     assert some_a[0][0].length==2;
   
-    int x=10;
-    int y=20;
+    int x=3;
+    int y=5;
     int[][] int_array = new int[x][y];
     
     for(int i=0; i<x; ++i)
diff --git a/regression/cbmc-java/multinewarray/test.desc b/regression/cbmc-java/multinewarray/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 multinewarray.class
 
 ^EXIT=0$
