Add missing tests for xmark_0.xml file.
[tatoo.git] / tests / test_complexity.sh
2013-11-08 Kim NguyễnAdd a script to output the number of states/running...