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	02991cc2b0	Python API: fix bindings when assertions are disabled ... Python's -O command-line option disableds the execution of "assert" statements. In order for the generated Python bindings to work in such a mode, we need to keep assertion logic only in "assert" statements. This commit fixes statements that currently don't respect this principle. Fixes GitHub issue #485 TN: U326-020	2021-03-29 17:43:50 +02:00