catala/tests
2020-11-26 15:48:26 +01:00
..
test_bool Pretty-printing, fixing bugs in scope_to_dcalc 2020-11-26 13:38:42 +01:00
test_func Literate programming AST now tree-shaped 2020-10-04 01:25:37 +02:00
test_scope Literate programming AST now tree-shaped 2020-10-04 01:25:37 +02:00
Makefile Translate and typechecking simple exemple 2020-11-26 15:48:26 +01:00
README.md Automated test suite! 2020-08-07 17:37:28 +02:00

Catala test suite

This folder contains Catala source files designed to test the features of the language.

It uses make to launch tests and compare the test terminal output with an expected output.

When you create a new test, please register it in the Makefile following the other examples. Expected outputs are stored using the convention <name_of_test>.catala.<name_of_scope>.out in the corresponding test folder.