#61
100%

Ran 06 Apr 2022 04:29PM UTC

Jobs 1

Files 47

Run time 10s

Badge

Embed ▾

pending completion

Build # #61

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	#61.1	06 Apr 2022 04:29PM UTC	0	99.61

Source Files on build #61

Detailed source file information is not available for this build.

ContractAutomataProject / ContractAutomataLib / #61
100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #61

ContractAutomataProject / ContractAutomataLib / #61 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #61

ContractAutomataProject / ContractAutomataLib / #61
100%

README BADGES
x