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
5c9eea0853 python_api/python_app: rename to python_api/app
TN: VA12-016
2022-11-23 12:37:21 +00:00