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
70c01749b2
catala/tests/proof/bad/enums_inj-overlap.catala_en

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

33 lines
712 B
Plaintext
Raw Normal View History

[Z3backend] Bad unit tests for EInj node
2022-03-16 14:04:31 +03:00
## Article
```catala
declaration enumeration E:
-- C1
-- C2
declaration scope A:
Update tests
2023-06-03 19:02:57 +03:00
internal x content E
output y content integer
[Z3backend] Bad unit tests for EInj node
2022-03-16 14:04:31 +03:00
scope A:
definition x equals C1
definition y under condition x = C1 consequence equals 1
definition y under condition x = C2 consequence equals 2
definition y under condition x = C2 consequence equals 3
```
Register all existing tests through the new engine I removed the '.out' extension for now to preserve the test output file names and avoid a million file renames. This makes the patch easier to read, and we can do the rename easily in another patch afterwards, without mixing with semantic changes. (beautiful script àlarrache: ```bash for f in */*/output/*; do target_base=${f##*/} target_base=${target_base%%.*} echo $f | awk -F. '{ f=$1"."$2; if ($4 == "") { mode=$3; id=$3 } else { scope="-s "$3; mode=$4; id=$3"."$4} printf "\n```catala-test {id=\"%s\"}\ncatala %s %s\n```\n",id,mode,scope; }' >> $(dirname $f)/../${target_base}.*; done ```
2022-07-08 17:23:09 +03:00
Turn all existing tests to inline tests Done using ```bash process() { FILE=$1; awk 'match($0, /^```catala-test *{ *id *= *"(.*)" *}/, a) {print "```catala-test-inline"; f="'"$(dirname $FILE)/output/$(basename $FILE)"'." a[1]; getline; print "$ " $0; while ((getline<f) > 0) print; next} {print}' $FILE >$FILE.new; mv $FILE.new $FILE; } for f in tests/test_*/*/*.catala_* examples/**/*.catala_*; do process $f; git add $f; done for d in $(find -name output -type d); do git rm -r $d; done ```
2022-09-23 15:04:13 +03:00
```catala-test-inline
Unify all CLI arguments to use `-` rather than `_` it's more common on UNIXes and the mix was unpleasant.
2023-12-05 14:00:15 +03:00
$ catala Proof --disable-counterexamples
Cleaner message printing Aerates the printing of messages, removes extraneous noise, and more clearly attaches the various information tied to a given message.
2024-05-03 13:20:09 +03:00
┌─[WARNING]─
│
│ [A.y] At least two exceptions overlap for this variable:
─➤ tests/proof/bad/enums_inj-overlap.catala_en:10.10-10.11:
│
Update tests
2023-06-03 19:02:57 +03:00
10 │ output y content integer
│ ‾
Cleaner message printing Aerates the printing of messages, removes extraneous noise, and more clearly attaches the various information tied to a given message.
2024-05-03 13:20:09 +03:00
Article
Turn all existing tests to inline tests Done using ```bash process() { FILE=$1; awk 'match($0, /^```catala-test *{ *id *= *"(.*)" *}/, a) {print "```catala-test-inline"; f="'"$(dirname $FILE)/output/$(basename $FILE)"'." a[1]; getline; print "$ " $0; while ((getline<f) > 0) print; next} {print}' $FILE >$FILE.new; mv $FILE.new $FILE; } for f in tests/test_*/*/*.catala_* examples/**/*.catala_*; do process $f; git add $f; done for d in $(find -name output -type d); do git rm -r $d; done ```
2022-09-23 15:04:13 +03:00
Counterexample generation is disabled so none was generated.
Cleaner message printing Aerates the printing of messages, removes extraneous noise, and more clearly attaches the various information tied to a given message.
2024-05-03 13:20:09 +03:00
│
└─
Register all existing tests through the new engine I removed the '.out' extension for now to preserve the test output file names and avoid a million file renames. This makes the patch easier to read, and we can do the rename easily in another patch afterwards, without mixing with semantic changes. (beautiful script àlarrache: ```bash for f in */*/output/*; do target_base=${f##*/} target_base=${target_base%%.*} echo $f | awk -F. '{ f=$1"."$2; if ($4 == "") { mode=$3; id=$3 } else { scope="-s "$3; mode=$4; id=$3"."$4} printf "\n```catala-test {id=\"%s\"}\ncatala %s %s\n```\n",id,mode,scope; }' >> $(dirname $f)/../${target_base}.*; done ```
2022-07-08 17:23:09 +03:00
```
Reference in New Issue Copy Permalink