10
100%
master: 100%

Ran 14 Jul 2022 04:31AM UTC

Files 5

Run time 1s

Badge

Committed 14 Jul 2022 04:29AM UTC coverage: 100.0% (+1.1%) from 98.914%

Build Type

push

github

Committed by John Haugeland

Commit Message

State properties make it to machine, fixes StoneCypher/fsl#1040; overrides, fixes StoneCypher/fsl#1023

Run Details

362 of 362 branches covered (100.0%)

Branch coverage included in aggregate %.

720 of 720 relevant lines covered (100.0%)

3041.92 hits per line