213 Commits

Author	SHA1	Message	Date
Denis Merigoux	73ce2f142f	Fixed last bug around rule refactoring	2022-01-31 13:55:25 +01:00
Denis Merigoux	13b476d0a1	[skip ci] reorganized desugared to scope encoding, broke some invariants ... WIP: fixed some bugs and provided documentations but one thing missing	2022-01-28 17:31:31 +01:00
Denis Merigoux	5e253ba321	Disabling exact counterexamples values from CI testing because of randomness	2022-01-26 16:24:09 +01:00
Aymeric Fromherz	661b30f638	Add bad tests for date_get_year	2022-01-17 15:05:06 +01:00
Aymeric Fromherz	c7fd00702a	Fix good get year test + reset [skip ci]	2022-01-17 15:04:05 +01:00
Aymeric Fromherz	cf63e4f3d3	Restore pretty-printing of enum model [skip ci]	2022-01-14 21:10:34 +01:00
Aymeric Fromherz	271d20dcaf	todo outputs for bad struct tests [skip ci]	2022-01-14 20:42:06 +01:00
Aymeric Fromherz	ede73501d6	Add bad struct tests [skip ci]	2022-01-14 20:41:03 +01:00
Aymeric Fromherz	8b1c2d0891	reset test [skip ci]	2022-01-14 20:38:11 +01:00
Aymeric Fromherz	9684e14b1b	reset tests [skip ci]	2022-01-14 19:24:20 +01:00
Aymeric Fromherz	a128a188ee	reset [skip ci]	2022-01-14 19:05:58 +01:00
Aymeric Fromherz	9727acc788	more tests [skip ci]	2022-01-14 19:04:23 +01:00
Aymeric Fromherz	38b4912161	Reset test [skip ci]	2022-01-14 19:02:59 +01:00
Aymeric Fromherz	867fc46515	Add more complex enum test [skip ci]	2022-01-14 19:01:23 +01:00
Aymeric Fromherz	cc026e35b3	Add negative tests for enums	2022-01-14 18:37:32 +01:00
Aymeric Fromherz	d7563c229e	Reset test [skip ci]	2022-01-14 18:34:58 +01:00
Denis Merigoux	08591fd178	Add link to demo	2022-01-14 16:52:30 +01:00
Aymeric Fromherz	7ca0ca4012	Reset bad dates examples with expected outputs [skip ci]	2022-01-14 02:09:20 +01:00
Aymeric Fromherz	59e36d2750	Reset good dates simple test [skip ci]	2022-01-14 01:56:07 +01:00
Aymeric Fromherz	c8be75ca75	Z3encoding: Add bad tests related to dates [skip ci]	2022-01-13 20:28:28 +01:00
Aymeric Fromherz	52f33aa1ae	Fix good date example [skip ci]	2022-01-13 20:25:16 +01:00
Aymeric Fromherz	a6c88b103f	Reset bad money tests [skip ci]	2022-01-13 20:13:12 +01:00
Aymeric Fromherz	28935c689d	Reset good money test [skip ci]	2022-01-13 20:12:28 +01:00
Aymeric Fromherz	a15fb872ef	Fix money tests [skip ci]	2022-01-13 20:11:42 +01:00
Aymeric Fromherz	69e34b4ae7	Negative tests for money [skip ci]	2022-01-13 19:34:34 +01:00
Denis Merigoux	428ae95c62	[skip ci] Added a walkthrough example for ProLaLa + tweaked tests output order of vcs	2022-01-13 16:58:43 +01:00
Denis Merigoux	496775b148	Dates and money tests	2022-01-13 16:20:43 +01:00
Denis Merigoux	bf444f548f	Error message pretty-printing and sat solving example [skip ci]	2022-01-13 10:46:23 +01:00
Aymeric Fromherz	c0a8362fd9	[skip ci] Z3 encoding: update last missing examples with TODOs	2022-01-12 19:19:42 +01:00
Aymeric Fromherz	d6205369bb	[skip ci] reset bad proof tests	2022-01-12 19:09:50 +01:00
Aymeric Fromherz	ad974b16d6	[skip ci] reset bad proof test	2022-01-12 18:17:25 +01:00
Aymeric Fromherz	47032e058a	[skip ci] reset bad proof test	2022-01-12 18:16:46 +01:00
Aymeric Fromherz	1241f332d5	[skip ci] proof platform: functions good test now passing	2022-01-12 17:38:49 +01:00
Denis Merigoux	78b1fe08f4	[skip ci] Always name of the variable on the left	2022-01-12 16:56:05 +01:00
Denis Merigoux	6d06f9c81c	Prettified error messages	2022-01-12 16:50:10 +01:00
Aymeric Fromherz	5cb55e16fb	[skip ci] more minor test resets	2022-01-12 15:06:46 +01:00
Aymeric Fromherz	157aab06f4	[skip ci] reset second bad test for proof platform	2022-01-12 15:01:45 +01:00
Denis Merigoux	1bf3748283	Fix Makefiles and relative paths [skip ci]	2022-01-12 15:00:53 +01:00
Denis Merigoux	48c7be32eb	Launch clerk from correct directory to have the correct error messages	2022-01-12 14:51:27 +01:00
Aymeric Fromherz	5f28db6e74	Add output for bad proof test	2022-01-12 14:51:19 +01:00
Aymeric Fromherz	1d3bd4a914	[skip ci] reset working good tests with new output	2022-01-12 14:47:09 +01:00
Alain	de6f943c9c	more basic bad examples	2022-01-12 09:41:03 +01:00
Alain	659c09b585	added a test	2022-01-12 08:19:58 +01:00
Denis Merigoux	260959b088	Formatting + correct expected tests output	2022-01-11 18:33:45 +01:00
Aymeric Fromherz	b7e11e79b9	record correct simple_vars	2022-01-11 18:04:10 +01:00
Aymeric Fromherz	5cd1d6f488	Record expected output for no_vars.catala_en	2022-01-11 18:01:50 +01:00
Denis Merigoux	83bdd0b632	Test base for verification conditions encoding	2022-01-11 16:13:34 +01:00
Denis Merigoux	fa8803e297	Bad quoting for catala compiler options	2022-01-11 13:05:04 +01:00
Denis Merigoux	b2a5551961	Test folders, nice doc and messages	2022-01-11 12:51:34 +01:00
Denis Merigoux	7fc37f9af8	Added controls for Dcalc and Scopelang	2022-01-11 11:25:41 +01:00