Update expected test output related to #1275 fix.

GaloisInc · Sep 3, 2021 · f25536a · f25536a
1 parent 58723d0
commit f25536a
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 13 deletions.
diff --git a/tests/issues/issue226.icry.stdout b/tests/issues/issue226.icry.stdout
@@ -133,8 +133,8 @@ Symbols
     fromThenTo :
       {first, next, last, a, len}
         (fin first, fin next, fin last, Literal first a, Literal next a,
-         Literal last a, first != next, lengthFromThenTo first next last ==
-         len) =>
+         Literal last a, first != next,
+         lengthFromThenTo first next last == len) =>
         [len]a
     fromTo :
       {first, last, a}

diff --git a/tests/issues/issue268.icry.stdout b/tests/issues/issue268.icry.stdout
@@ -1,9 +1,9 @@
 Loading module Cryptol
 Loading module Cryptol
 Loading module Main
-[(0x00, 0x00), (0x00, 0x00), (0x00, 0x00), (0x00, 0x00), (0x00,
-  0x00), (0x00, 0x00), (0x00, 0x00), (0x00, 0x00), (0x00, 0x00),
- (0x00, 0x00)]
-[(0x00, 0x00), (0x00, 0x00), (0x00, 0x00), (0x00, 0x00), (0x00,
-  0x00), (0x00, 0x00), (0x00, 0x00), (0x00, 0x00), (0x00, 0x00),
- (0x00, 0x00)]
+[(0x00, 0x00), (0x00, 0x00), (0x00, 0x00), (0x00, 0x00),
+ (0x00, 0x00), (0x00, 0x00), (0x00, 0x00), (0x00, 0x00),
+ (0x00, 0x00), (0x00, 0x00)]
+[(0x00, 0x00), (0x00, 0x00), (0x00, 0x00), (0x00, 0x00),
+ (0x00, 0x00), (0x00, 0x00), (0x00, 0x00), (0x00, 0x00),
+ (0x00, 0x00), (0x00, 0x00)]
diff --git a/tests/issues/issue407.icry.stdout b/tests/issues/issue407.icry.stdout
@@ -1,7 +1,8 @@
 Loading module Cryptol
-[[False, False, False, False, False, ...], [False, False, False,
-  False, True, ...], [False, False, True, True, False, ...], [False,
-  True, False, True, False, ...]]
+[[False, False, False, False, False, ...],
+ [False, False, False, False, True, ...],
+ [False, False, True, True, False, ...],
+ [False, True, False, True, False, ...]]
 Counterexample
 (\(x : [4]) -> (transpose [x ...]) @ 0 @ 0 == False) 0x8 = False
 Q.E.D.

diff --git a/tests/issues/padding.icry.stdout b/tests/issues/padding.icry.stdout
@@ -2,5 +2,5 @@ Loading module Cryptol
 Showing a specific instance of polymorphic result:
   * Using 'Integer' for type argument 'a' of 'Cryptol::fromTo'
   * Using 'inf' for type argument 'parts' of 'Cryptol::groupBy'
-[[1, 2, 3, 4, 5], [6, 7, 8, 9, 10], [11, 12, 13, 14, 15], [16, 17,
-  18, 19, 20], [21, 22, 23, 24, 0], ...]
+[[1, 2, 3, 4, 5], [6, 7, 8, 9, 10], [11, 12, 13, 14, 15],
+ [16, 17, 18, 19, 20], [21, 22, 23, 24, 0], ...]