Update test error output

rems-project · Dec 15, 2023 · eea1e27 · eea1e27
1 parent 26812a5
commit eea1e27
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/test/typecheck/pass/bind_typ_var/v1.expect b/test/typecheck/pass/bind_typ_var/v1.expect
@@ -2,4 +2,4 @@
 [96mpass/bind_typ_var/v1.sail[0m:9.11-29:
 9[96m |[0m  let v as vector('len, _, _) = mk_vector ();
  [91m |[0m           [91m^----------------^[0m
- [91m |[0m Couldn't bind type vector('_v, bit) with vector('len, _, _)
+ [91m |[0m Couldn't bind type vector('_#v, bit) with vector('len, _, _)
diff --git a/test/typecheck/pass/exist_synonym/v3.expect b/test/typecheck/pass/exist_synonym/v3.expect
@@ -2,4 +2,4 @@
 [96mpass/exist_synonym/v3.sail[0m:9.38-47:
 9[96m |[0mval test : forall 'n, 0 <= 'n <= 100. regno('n) -> unit
  [91m |[0m                                      [91m^-------^[0m
- [91m |[0m Could not prove constraints (0 <= 'n & 'n < 32) in type synonym int('n) with (0 <= 'n & 'n <= 100), (0 <= '_x & '_x <= 8), (0 <= '_x#0 & '_x#0 <= 8)
+ [91m |[0m Could not prove constraints (0 <= 'n & 'n < 32) in type synonym int('n) with (0 <= 'n & 'n <= 100), (0 <= '_#x & '_#x <= 8), (0 <= '_#x#0 & '_#x#0 <= 8)
diff --git a/test/typecheck/pass/exist_synonym/v4.expect b/test/typecheck/pass/exist_synonym/v4.expect
@@ -2,4 +2,4 @@
 [96mpass/exist_synonym/v4.sail[0m:9.35-44:
 9[96m |[0mval test : forall 'n, 0 <= 2 <= 4. regno('n) -> unit
  [91m |[0m                                   [91m^-------^[0m
- [91m |[0m Could not prove constraints (0 <= 'n & 'n < 32) in type synonym int('n) with (0 <= '_x & '_x <= 8), (0 <= '_x#0 & '_x#0 <= 8)
+ [91m |[0m Could not prove constraints (0 <= 'n & 'n < 32) in type synonym int('n) with (0 <= '_#x & '_#x <= 8), (0 <= '_#x#0 & '_#x#0 <= 8)