catala/tests/test_proof/good/duration.catala_en

## Test

```catala
declaration scope A:
  internal x content duration
  output y content boolean

scope A:
  definition x equals 94 day
  definition y under condition (x + x) > 100 day consequence equals true
  definition y under condition (x + x) <= 100 day consequence equals false
```


```catala-test-inline
$ catala Typecheck --check-invariants
[RESULT] All invariant checks passed
[RESULT] Typechecking successful!
```

```catala-test-inline
$ catala Proof --disable-counterexamples 
[RESULT] No errors found during the proof mode run.
```
[Z3encoding] Add good unit tests for duration 2022-03-24 19:23:31 +03:00			`## Test`

			```catala
			`declaration scope A:`
Update tests 2023-06-03 19:02:57 +03:00			`internal x content duration`
			`output y content boolean`
[Z3encoding] Add good unit tests for duration 2022-03-24 19:23:31 +03:00
			`scope A:`
			`definition x equals 94 day`
Remove explicitely typed operators in tests and examples Command used: `sed -i 's/\([-+/><=]=\?\)[.$@^€$]/\1/g' //.catala_` The overload test, of course, is kept unchanged and ensures that explicit operators still work. 2022-12-07 17:37:26 +03:00			`definition y under condition (x + x) > 100 day consequence equals true`
			`definition y under condition (x + x) <= 100 day consequence equals false`
[Z3encoding] Add good unit tests for duration 2022-03-24 19:23:31 +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
checking invariants on all tests as well as on social benefits of french law 2023-12-05 18:54:14 +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 Typecheck --check-invariants`
Reduce default verbosity of invariant checks they break the tests too often for no good reason 2024-01-25 19:55:32 +03:00			`[RESULT] All invariant checks passed`
checking invariants on all tests as well as on social benefits of french law 2023-12-05 18:54:14 +03:00			`[RESULT] Typechecking successful!`
			```

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`
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			`[RESULT] No errors found during the proof mode run.`
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			```