6
95%
develop: 95%

Ran 20 Mar 2021 09:20PM UTC

Files 397

Run time 28s

Badge

Committed 20 Mar 2021 08:45PM UTC coverage: 90.703% (-0.05%) from 90.754%

Build Type

push

travis-ci

Committed by

Commit Message

cleanup VPDA/SPA EQ oracles

use alphabet from findCounterexample method rather than pre-setting it in the constructor

Run Details

9366 of 10326 relevant lines covered (90.7%)

1.62 hits per line