Skip to content

Commit

Permalink
Fixing rebase typo
Browse files Browse the repository at this point in the history
didriklundberg committed Dec 2, 2024

Verified

This commit was signed with the committer’s verified signature. The key has expired.
romainthomas Romain Thomas
1 parent 10ace80 commit cae4f3e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/tools/lifter/selftestLib.sml
Original file line number Diff line number Diff line change
@@ -146,7 +146,7 @@ end;

fun final_results name expected_failed_hexcodes = let
val _ = print_log true "\n\n\n";
val _ = print_log_with_style selftestLib.sty_HEADER true ("SUMMARY FAILING HEXCODES " ^ name);
val _ = print_log_with_style sty_HEADER true ("SUMMARY FAILING HEXCODES " ^ name);
val _ = print_log true "\n\n\n";
val failing_l = op_mk_set (fn (x, _, _) => fn (y, _, _) => (x = y)) (!failed_hexcodes_list)
val ok_l = op_mk_set (fn (x, _, _) => fn (y, _, _) => (x = y)) (!success_hexcodes_list)
@@ -174,7 +174,7 @@ end;
| print_failed' ((hex_code, desc, ed_opt, broken)::l) =
let
(* print the ones that failed, but were not excepted to in red *)
val st = if broken then selftestLib.sty_FAIL else [];
val st = if broken then sty_FAIL else [];
val _ = print_log true " ";
val _ = print_log_with_style st true ("\""^hex_code^"\"");

0 comments on commit cae4f3e

Please sign in to comment.