Commit 70056451 authored by Kateřina Sloupová's avatar Kateřina Sloupová
Browse files

web evaluation fix

parent aaa587be
Pipeline #62556 passed with stage
in 50 seconds
......@@ -97,7 +97,9 @@ class WebChecker:
self.eq = reg.DFA.is_equivalent(student.dfa, teacher.dfa)
# self.img_src = self.picture(self.eq.inf is None)
if self.task_solved == "" and self.eq.inf is None:
if self.task_solved == "" and \
self.eq.right_counterexample is None and \
self.eq.left_counterexample is None:
return True
return False
......
Supports Markdown
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