Review fixes/comments

Author: RagnarGrootKoerkamp

bin/fuzz.py

@@ -283,7 +283,7 @@ def runner(task: GeneratorTask | SubmissionTask) -> None:
             ],
         )
         max_len += len(f"{self.tmp_ids}: ")
-        # we use a PrintBar after an aboard
+        # we use a PrintBar after an abort
         printbar = PrintBar("Fuzz", max_len=max_len)
         printbar.log("Press CTRL+C to stop\n")
         bar = FuzzProgressBar(self.queue, "Fuzz", max_len=max_len)

bin/testcase.py

@@ -417,8 +417,9 @@ def _run_validators(
             else:
                 if ExecStatus.TIMEOUT in results:
                     issues.append("Validator timed out.")
-                if output_validator_crash:
-                    issues.append("Output Validator crashed.")
+            # Output validators should _never_ crash, so this should not be inside the 'else'?
+            if output_validator_crash:
+                issues.append("Output Validator crashed.")
 
             success = not issues
             if not success:

bin/tools.py

@@ -1089,6 +1089,7 @@ def read_personal_config(problem_dir: Optional[Path]) -> None:
             continue
         if not isinstance(config_data, dict):
             warn(f"invalid data in {config_data}. SKIPPED.")
+            continue
 
         tmp = config.ARGS(config_file, **config_data)
         config.args.update(tmp)