GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-29 10:53:31 +03:00
Code Issues Projects Releases Wiki Activity

Update test with new location

Browse Source
This commit is contained in:
Iavor Diatchki 2022-11-21 13:27:05 -08:00
parent 0948f4940d
commit 555615e5d8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/issues/issue103.icry.stdout
View File

@ -2,7 +2,7 @@ Loading module Cryptol
Run-time error: undefined
-- Backtrace --
Cryptol::error called at Cryptol:1033:13--1033:18
Cryptol::error called at Cryptol:1043:13--1043:18
Cryptol::undefined called at issue103.icry:1:9--1:18
Using exhaustive testing.
Testing... ERROR for the following inputs: