Files @ d7baa792c2c2
Branch filter:

Location: CSY/reowolf/testdata/parser/counterexamples/import_stmt.pdl - annotation

MH
fix all parsing tests, onto rewriting the runtime
1
2
3
4
5
6
// Import succeeds due to bad parsing (checking for characters, not numbers,
// should expect whitespace, then a single number

#version123 456

composite main() {}