adapt interface in CEGIS with default values

mgudemann · Daniel Kroening · commit 4669ef3d46c3 · 2017-02-08T20:35:39.000Z
diff --git a/src/cegis/refactor/constraint/constraint_factory.cpp b/src/cegis/refactor/constraint/constraint_factory.cpp
@@ -41,7 +41,7 @@ void create_or_redirect_entry(symbol_tablet &st, goto_functionst &gf)
   if (fmap.end() == it)
   {
     config.main=CONSTRAINT_CALLER;
-    assert(!java_entry_point(st, ID_empty, msg));
+    assert(!java_entry_point(st, ID_empty, msg, false, 0));
     goto_convert(CPROVER_INIT, st, gf, msg);
     goto_convert(goto_functionst::entry_point(), st, gf, msg);
   } else

Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@ void create_or_redirect_entry(symbol_tablet &st, goto_functionst &gf)`
`41`	`41`	`if (fmap.end() == it)`
`42`	`42`	`{`
`43`	`43`	`config.main=CONSTRAINT_CALLER;`
`44`		`- assert(!java_entry_point(st, ID_empty, msg));`
	`44`	`+ assert(!java_entry_point(st, ID_empty, msg, false, 0));`
`45`	`45`	`goto_convert(CPROVER_INIT, st, gf, msg);`
`46`	`46`	`goto_convert(goto_functionst::entry_point(), st, gf, msg);`
`47`	`47`	`} else`