Skip to content

Commit a9cc96a

Browse files
committed
Report any exception triggered during oracle check
1 parent 802082d commit a9cc96a

File tree

2 files changed

+9
-1
lines changed

2 files changed

+9
-1
lines changed

hephaestus.py

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -456,6 +456,14 @@ def check_oracle_mul(dirname, oracles):
456456
except KeyboardInterrupt:
457457
STOP_COND = True
458458
return {}
459+
except Exception as exc:
460+
if cli_args.print_stacktrace:
461+
err = str(traceback.format_exc())
462+
else:
463+
err = str(exc)
464+
print('Internal error while checking the oracle')
465+
print(err)
466+
return {}
459467

460468

461469
def _run(process_program, process_res):

src/compilers/base.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ def analyze_compiler_output(self, output):
3535
error_msg = self.get_error_msg(match)
3636
failed[filename].append(error_msg)
3737

38-
crash_match = re.search(self.CRASH_REGEX, filtered_output)
38+
crash_match = re.search(self.CRASH_REGEX, output)
3939
if crash_match and not matches:
4040
self.crash_msg = output
4141
return None, matches

0 commit comments

Comments
 (0)