CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-09 22:16:10 +03:00
Code Issues Projects Releases Wiki Activity

[skip ci] reset bad proof test

Browse Source
This commit is contained in:
Aymeric Fromherz 2022-01-12 18:17:25 +01:00
parent 47032e058a
commit ad974b16d6
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/test_proof/bad/output/no_vars-conflict.catala_en.Proof
View File

@ -4,6 +4,9 @@
8 | context y content integer
| ^
+ Test
[ERROR] Z3 generated the following counterexample:
x_4 : 0
[RESULT] A.y: this variable never returns an empty error
[RESULT] A.x: no two exceptions to ever overlap for this variable
[RESULT] A.x: this variable never returns an empty error