256
92%
develop: 92%

Ran 11 Oct 2020 03:53PM UTC

Jobs 1

Files 562

Run time 40s

Badge

Build # 256

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

ID	Job ID	Ran	Files	Coverage
6	256.6 (LTSMIN_VERSION="v3.1.0")	11 Oct 2020 03:53PM UTC	0	81.43	Travis Job 256.6