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

Fix good get year test + reset [skip ci]

Browse Source
This commit is contained in:
Aymeric Fromherz 2022-01-17 15:04:05 +01:00
parent 400a777891
commit c7fd00702a
2 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/test_proof/good/dates_get_year.catala_en
View File

@ -10,5 +10,5 @@ scope A:
definition y under condition get_year of x < 2010 consequence equals true definition y under condition get_year of x < 2010 consequence equals true
definition y under condition get_year of x >= 2010 and get_year of x < 2015 consequence equals false definition y under condition get_year of x >= 2010 and get_year of x < 2015 consequence equals false
definition y under condition get_year of x >= 2015 and get_year of x < 2020 consequence equals true definition y under condition get_year of x >= 2015 and get_year of x < 2020 consequence equals true
definition y under condition get_year of x > 2020 consequence equals false definition y under condition get_year of x >= 2020 consequence equals false
``` ```

6
tests/test_proof/good/output/dates_get_year.catala_en.Proof
View File

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