Fix a bug in ocaml build script (echo -n is not supported on OSX,
[tatoo.git] / tests / test_complexity.sh
2013-12-03 Kim NguyễnFix a bug in the test-complexity script and add more...
2013-11-08 Kim NguyễnAdd a script to output the number of states/running...