Debugging

Author: tautschnig

regression/cbmc/Array_operations1/main.c

@@ -51,7 +51,7 @@ void test_set()
 int main()
 {
   test_equal();
-  test_copy();
-  test_replace();
+  // test_copy();
+  // test_replace();
   test_set();
 }