CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Reset test [skip ci]

Browse Source
This commit is contained in:
Aymeric Fromherz 2022-01-14 18:34:58 +01:00
parent 3c21182dea
commit d7563c229e
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tests/test_proof/good/output/enums.catala_en.Proof
View File

@ -1,6 +1,4 @@
[ERROR] The translation to Z3 failed:
TODO
[ERROR] The translation to Z3 failed:
TODO
[RESULT] A.y: no two exceptions to ever overlap for this variable
[RESULT] A.y: this variable never returns an empty error
[RESULT] [A.x] This variable never returns an empty error
[RESULT] [A.x] No two exceptions to ever overlap for this variable
[RESULT] [A.y] This variable never returns an empty error
[RESULT] [A.y] No two exceptions to ever overlap for this variable