Commit d21b14ac by nzy

Fix no IO bug

parent fb4e2a88
...@@ -124,6 +124,11 @@ while not is_correct: ...@@ -124,6 +124,11 @@ while not is_correct:
logger.log("system", "resyn_err", "gpt return wrong python") logger.log("system", "resyn_err", "gpt return wrong python")
continue continue
if fun_name not in newanpl.funs:
logger.log("system", "resyn_err", "gpt doesn't synthesis hole")
continue
newanpl.clean(fun_name)
test_anpl = deepcopy(raw_test_anpl) test_anpl = deepcopy(raw_test_anpl)
test_anpl.fill_fun(fun_name, newanpl) test_anpl.fill_fun(fun_name, newanpl)
if anpl_check(test_anpl, fun_name): if anpl_check(test_anpl, fun_name):
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment