CSY/reowolf Files · testdata/parser/counterexamples/multiple_versions.pdl

Files @ 8294209da734

Branch filter:

8294209da734 43 B text/plain Show Annotation Show as Raw Download as Raw

Add test for struct field initialization/modification

#version 1
#version 2

composite main() {}