Page MenuHomePhabricator

[Analyzer][NFC] Separate white-box tests for iterator modelling from iterator checker tests
ClosedPublic

Authored by baloghadamsoftware on Nov 12 2019, 6:59 AM.

Details

Summary

The recently committed debug.IteratorDebugging checker enables standalone white-box testing of the modelling of containers and iterators. For the three checkers based on iterator modelling only simple tests are needed.

Diff Detail

Event Timeline

More test cases added.

NoQ accepted this revision.Nov 13 2019, 10:52 AM

Thanks, i love it!

I wouldn't delete the old tests though, as long as they're correct and different from the new ones, as we could always use more test coverage.

This revision is now accepted and ready to land.Nov 13 2019, 10:52 AM
This revision was automatically updated to reflect the committed changes.