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

reports all types of mistakes at once

parent cdcda863
Pipeline #55288 failed with stage
in 20 seconds
......@@ -90,10 +90,11 @@ def main():
result = student_dfa.is_equivalent(teacher_dfa)
if result and check_task(student_dfa, task):
if check_task(student_dfa, task) and result:
print("Správné řešení.")
elif not result:
if not result:
student_word, teacher_word = result.left_counterexample, result.right_counterexample
if student_word is None:
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