1
93%
develop: 93%

Ran 26 Sep 2023 10:46AM UTC

Files 729

Run time 13s

Badge

Committed 26 Sep 2023 10:22AM UTC coverage: 87.919%. Remained the same

Build Type

push

github

Committed by

Commit Message

refactor 'vpda' acronym to 'vpa' acronym

Throughout literature, 'VPA' is the more commonly used abbreviation for visibly push-down automata.

Run Details

15464 of 17589 relevant lines covered (87.92%)

1.62 hits per line