pirapira/eth-isabelle

stateTest.ml should report the number of skipped / failed / successful tests

pirapira opened this issue · 1 comments

pirapira commented
stateTest.ml should report the number of skipped / failed / successful tests
pirapira commented

This is not relevant anymore because StateTests in the test repository is obsolete.