Files
@ d05cbf5057e3
Branch filter:
Location: CSY/reowolf/testdata/parser/counterexamples/arity_checking.pdl
d05cbf5057e3
207 B
text/plain
extend documentation, add initial tests for failing cases