3 Commits

Author	SHA1	Message	Date
Taus	498aece892	WIP2	2026-05-28 21:09:39 +00:00
Taus	35faec3db1	Python: Address review comments ... - Get rid of unnecessary parentheses - Use call syntax in the relevant test - Get rid of `dead(2)` annotation	2026-05-27 15:27:19 +00:00
Taus	3a979ac2f8	Python: Add some CFG-validation queries ... These use the annotated, self-verifying test files to check various consistency requirements. Some of these may be expressing the same thing in different ways, but it's fairly cheap to keep them around, so I have not attempted to produce a minimal set of queries for this.	2026-05-12 12:54:25 +00:00