Skip to content

Commit

Permalink
Update expected output
Browse files Browse the repository at this point in the history
  • Loading branch information
mtzguido committed Feb 12, 2024
1 parent b5765fb commit 6156792
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 4 deletions.
6 changes: 3 additions & 3 deletions tests/error-messages/Bug3102.fst.expected
Original file line number Diff line number Diff line change
Expand Up @@ -16,19 +16,19 @@
>>]
>> Got issues: [
* Error 56 at Bug3102.fst(33,29-35,27):
- Bound variable 'e2#1012' would escape in the type of this letbinding
- Bound variable 'e2#1057' would escape in the type of this letbinding
- Add a type annotation that does not mention it

>>]
>> Got issues: [
* Error 56 at Bug3102.fst(41,16-43,8):
- Bound variable 'z#1131' would escape in the type of this letbinding
- Bound variable 'z#1176' would escape in the type of this letbinding
- Add a type annotation that does not mention it

>>]
>> Got issues: [
* Error 56 at Bug3102.fst(49,16-51,7):
- Bound variable 'z#1214' would escape in the type of this letbinding
- Bound variable 'z#1259' would escape in the type of this letbinding
- Add a type annotation that does not mention it

>>]
Expand Down
3 changes: 2 additions & 1 deletion tests/error-messages/Calc.fst.expected
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,8 @@
- Could not prove that this calc-chain is compatible
- The SMT solver could not prove the query. Use --query_stats for more
details.
- See also Calc.fst(40,7-40,10)
- Also see: FStar.Calc.fsti(47,4-47,55)
- Other related locations: Calc.fst(40,7-40,10)

>>]
>> Got issues: [
Expand Down

0 comments on commit 6156792

Please sign in to comment.