Yann Hamdaoui dd388a3b86 Fix test of cyclic imports		2021-11-08 15:22:27 +01:00
..
imports	Fix test of cyclic imports	2021-11-08 15:22:27 +01:00
pass	Remove useless parenthesis in tests and examples	2021-11-05 11:08:22 +01:00
basics_fail.rs	Migrate remaining failure tests from Program	2021-03-08 12:57:39 +01:00
common.rs	Migrate remaining failure tests from Program	2021-03-08 12:57:39 +01:00
contracts_fail.rs	Check closedness of record contracts	2021-08-31 17:16:26 +02:00
examples.rs	Update example tests to use the new folder hierarchy	2021-04-28 18:39:36 +02:00
imports.rs	Fix test of cyclic imports	2021-11-08 15:22:27 +01:00
infinite_rec.rs	Remove semicolons from integration tests	2021-03-11 18:05:33 +01:00
pass.rs	Correctly parse import "foo" bar	2021-10-06 16:56:26 +02:00
query.rs	Remove superfluous assert_matches	2021-11-02 17:09:02 +01:00
records_fail.rs	Add tests for recursive dynamic record fields	2021-09-27 10:09:57 +02:00
stdlib_lists_fail.rs	Migrate remaining failure tests from Program	2021-03-08 12:57:39 +01:00
stdlib_typecheck.rs	Typecheck the stdlib in the test suite	2021-08-03 10:40:41 +02:00
typecheck_fail.rs	add a test of staticaly typed imports and remove all imports tests in tests/typecheck-fail.rs	2021-09-30 21:12:30 +02:00