« Changelog History


inspection-testing v0.4.1 Release Notes

Release Date: 2018-11-17 // over 5 years ago
    • 🆕 New obligation doesNotUse
    • ✅ Use the Obligation’s testName in the plugin output.
    • In inspect, do not override srcLoc if already present.