6
92%
develop: 93%

Ran 11 Oct 2020 03:53PM UTC

Files 562

Run time 38s

Badge

Committed 11 Oct 2020 03:00PM UTC coverage: 81.429% (+0.03%) from 81.397%

Build Type

push

travis-ci

Committed by

Commit Message

some more cleanups

* Simplified the VPDA State class
* Streamlined generics on CanonicalWordComparator
* CheckerFramework cleanups

Run Details

10975 of 13478 relevant lines covered (81.43%)

1.49 hits per line