> "./mini_run.sh -all" will run all the main Mustella tests (close to 40000) tests, taking about 8 - 10 hours.
I ran "-all" on purpose and it gave me about 20500 tests passes and 20 failed included 17 from the Marshall plan > If any of these tests fail, those tests will be written to 'failures.txt'. If you want to re-run these failed tests, you simply run "./mini_run.sh -failures". No additional arguments needed. Mustella will read 'failures.txt' and run only the tests specified in that file. This should be much sooner ;-) I used the "-rerun" to avoid compiling again as I didn't change any test code so, I just wanted to rerun the failed tests to make the timeout failed tests passed. My problems are: 1- Why the MarshallPlan tests don't pass ? 2- Why re-running faillures gives me more failed tests than the previous call to the same command ? -Fred
