Update tests again

GaloisInc · Jun 30, 2021 · a3534f9 · a3534f9
1 parent 362649b
commit a3534f9
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/tests/issues/issue103.icry.stdout b/tests/issues/issue103.icry.stdout
@@ -2,7 +2,7 @@ Loading module Cryptol
 
 Run-time error: undefined
 -- Backtrace --
-Cryptol::error called at Cryptol:1037:13--1037:18
+Cryptol::error called at Cryptol:1040:13--1040:18
 Cryptol::undefined called at issue103.icry:1:9--1:18
 Using exhaustive testing.
 Testing... ERROR for the following inputs:

diff --git a/tests/modsys/T16.icry.stdout b/tests/modsys/T16.icry.stdout
@@ -5,5 +5,5 @@ Loading module T16::B
 
 [error] at ./T16/B.cry:5:5--5:11
     Multiple definitions for symbol: update
-    (at Cryptol:891:11--891:17, update)
+    (at Cryptol:894:11--894:17, update)
     (at ./T16/A.cry:3:1--3:7, T16::A::update)
diff --git a/tests/modsys/T16.icry.stdout.mingw32 b/tests/modsys/T16.icry.stdout.mingw32
@@ -5,5 +5,5 @@ Loading module T16::B
 
 [error] at .\T16\B.cry:5:5--5:11
     Multiple definitions for symbol: update
-    (at Cryptol:891:11--891:17, update)
+    (at Cryptol:894:11--894:17, update)
     (at .\T16\A.cry:3:1--3:7, T16::A::update)
diff --git a/tests/regression/safety.icry.stdout b/tests/regression/safety.icry.stdout
@@ -3,7 +3,7 @@ Counterexample
 (\x -> assert x "asdf" "asdf") False ~> ERROR
 Run-time error: asdf
 -- Backtrace --
-Cryptol::error called at Cryptol:1045:41--1045:46
+Cryptol::error called at Cryptol:1048:41--1048:46
 Cryptol::assert called at safety.icry:3:14--3:20
 <interactive>::it called at safety.icry:3:7--3:37
 Counterexample