5
100%
master: 100%

Ran 05 Jan 2020 01:19AM UTC

Files 32

Run time 1241min

Badge

Committed 05 Jan 2020 01:18AM UTC coverage: 100.0%. First build

Build Type

push

github

Committed by John Haugeland

Commit Message

Added state, in_state, out_state top level properties w/ vat; repaired shape w/ vat; tests

Run Details

2 of 2 branches covered (100.0%)

Branch coverage included in aggregate %.

924 of 924 relevant lines covered (100.0%)

13.3 hits per line