Don't needlessly run the last bottom-up phase, when the top-down is sufficient.
[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...