autochecker v0.5.1 Release Notes

    • ✅ Show the test statistics (# of failing/succeeded tests) after showing the errors