Implement subtree-skipping optimisation (a one liner, really ~_~) that skips a whole...
[tatoo.git] / tests / tiny.xml
2013-12-03 Kim NguyễnFix a bug in the test-complexity script and add more...
2013-11-24 Kim NguyễnAdd a tiny XML file to help debug automata behaviour.