summaryrefslogtreecommitdiff
path: root/Test/snapshots/Snapshots15.v1.bpl
Commit message (Expand)AuthorAge
* Optimized the way that assertions are marked as partially verified.Gravatar wuestholz2014-06-26
* Fixed issue in verification result caching.Gravatar wuestholz2014-06-26