From c1784b28bd05493e6a6394f55b14474b4d723449 Mon Sep 17 00:00:00 2001 From: everythingfades Date: Sun, 1 Feb 2026 02:10:30 +0000 Subject: [PATCH] fix: Step9 eval mode --- evaluation_function/correction/correction.py | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/evaluation_function/correction/correction.py b/evaluation_function/correction/correction.py index 135fe4b..3de5a8d 100644 --- a/evaluation_function/correction/correction.py +++ b/evaluation_function/correction/correction.py @@ -213,9 +213,16 @@ def analyze_fsa_correction( # Step 9: Decide correctness based on evaluation mode # ------------------------------------------------------------------------- if params.evaluation_mode == "strict": - is_correct = validation_result is not None and validation_result.ok and equivalence_result.ok and iso_result.ok + is_correct = ( + (not params.check_minimality or validation_result.ok) + and equivalence_result.ok + and iso_result.ok + ) elif params.evaluation_mode == "lenient": - is_correct = validation_result is not None and validation_result.ok and equivalence_result.ok + is_correct = ( + (not params.check_minimality or validation_result.ok) + and equivalence_result.ok + ) else: # partial # I dont know what the partial is meant for, always mark as incorrect? is_correct = False