GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 22:17:18 +03:00
Code Issues Projects Releases Wiki Activity

Repair ProgrammingCryptol test

Browse Source
This commit is contained in:
Ryan Scott 2024-02-01 18:22:29 -05:00
parent 4e6e5d8010
commit 56cf1a373d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
View File

@ -791,7 +791,7 @@ Here are Cryptol's responses:
[]
invalid sequence index: 12
-- Backtrace --
(Cryptol::@) called at Cryptol:885:14--885:20
(Cryptol::@) called at Cryptol:904:14--885:20
(Cryptol::@@) called at <interactive>:9:1--9:28
[9, 8, 7, 6, 5, 4, 3, 2, 1, 0]
9