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
f352c7a361 Python API: do not dec_ref C array values when coming from struct fields
TN: T423-042
2020-04-28 11:48:45 +02:00