2 Commits

Author	SHA1	Message	Date
Pierre-Marie de Rodat	e1c4fe5804	Introduce the lkt_build_and_run test driver ... Transition all relevant testcases to it. In the process, port docstrings/comments from test.py files to expected_concrete_syntax.lkt (now test.lkt) sources and fix stylechecks issues there.	2024-10-15 14:13:10 +00:00
Pierre-Marie de Rodat	99e4111bad	Testsuite: rename directories to replace "-" with "_"	2018-09-28 15:02:58 +02:00