max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(tests/lean/parsec1): fix test

Browse source
This commit is contained in:
Sebastian Ullrich 2018-10-19 09:47:10 +02:00
parent 0f7745a3e0
commit daf142240b
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tests/lean/parsec1.lean
View file

@ -83,8 +83,8 @@ open lean
#eval test parse_string_literal "\"\"" ""
#eval test parse_string_literal "\"\\\"\"" "\""
#eval test parse_string_literal "\"\\\'\"" "\'"
#eval test parse_string_literal "\"\\\n\"" "\n"
#eval test parse_string_literal "\"\\\t\"" "\t"
#eval test parse_string_literal "\"\\n\"" "\n"
#eval test parse_string_literal "\"\\t\"" "\t"
#eval test parse_string_literal "\"\\x4e\"" "N"
#eval test parse_string_literal "\"\\x4E\"" "N"
#eval test parse_string_literal "\"\\x7D\"" "}"