1
100%
main: 100%

Ran 06 Apr 2022 04:29PM UTC

Files 47

Run time 9s

Badge

Embed ▾

Committed 06 Apr 2022 04:20PM UTC coverage: 99.608% (+0.5%) from 99.138%

Job # #61.1

Build Type

push

Committed by

davidebasile

Commit Message

CompositionFunction and ModelCheckingFunction unit and mutation tests updated

moved folder test_resources inside folder test

Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>

Run Details

1272 of 1277 relevant lines covered (99.61%)

1.0 hits per line

ContractAutomataProject / ContractAutomataLib / #61 / 1
100%
main: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #61.1

ContractAutomataProject / ContractAutomataLib / #61 / 1 100% main: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #61.1

ContractAutomataProject / ContractAutomataLib / #61 / 1
100%
main: 100%

README BADGES
x