[tests] Move failing test to new fail.

Instead of commenting out this failing test, it seem better to add to a new file
for failing tests. If and when we change Leo to accept field literals in hex, we
can move the test from the Fail file to the Pass fail.

This also helps the ACL2 tester, which is currently not handling comment-out
tests of this form.
This commit is contained in:
Alessandro Coglio 2022-05-12 14:04:22 -07:00
parent 4d377b37f6
commit f502b9c5e9
4 changed files with 11 additions and 3 deletions

View File

@ -20,7 +20,6 @@ outputs:
- span:
lo: 0
hi: 8
- ""
- Value:
Field:
- "87377802873778028737780287377802873778028737780287377802873778028737780287377802"

View File

@ -0,0 +1,5 @@
---
namespace: ParseExpression
expectation: Fail
outputs:
- "Error [EPAR0370036]: A hex number `0x..` was provided but hex is not allowed."

View File

@ -8,8 +8,6 @@ expectation: Pass
123field
456field
// 0xbfield
87377802873778028737780287377802873778028737780287377802873778028737780287377802field
8737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802873778028737780287377802field

View File

@ -0,0 +1,6 @@
/*
namespace: ParseExpression
expectation: Fail
*/
0xbfield