Files
@ 1677e0c9568d
Branch filter:
Location: CSY/reowolf/testdata/parser/counterexamples/arity_checking.pdl
1677e0c9568d
207 B
text/plain
Halfway implementing failure, fixing bug involving wrong mapping