ContractAutomataProject / ContractAutomataLib
100%

DEFAULT BRANCH: main
Repo Added
Files 49
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x

coverage: 99.855%. Remained the same
#158

push

davidebasile 
fixing build.yml, I had to remove the SonarCloud service for lack of maintenance

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

1382 of 1384 relevant lines covered (99.86%)

1.0 hits per line

Relevant lines Covered
1384 RELEVANT LINES 1382 COVERED LINES
1.0 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#158 main fixing build.yml, I had to remove the SonarCloud service for lack of maintenance Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
99.86
#157 main fixing build.yml Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
99.86
#156 main improved test coverage Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
99.86
#155 main fixed the badges of README to point to the main branch Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
98.85
#154 main removing unused classes Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
98.85
#153 main New orchestration (#16) * created new branch for implementing the new orchestration synthesis algorithm Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> * implemented the NewOrchestrationSynthesisOperator.java class and test Sign... push web-flow
95.89
#141 main Update README.md push web-flow
100.0
#139 main Update README.md CODIGA has been discontinued push web-flow pending completion  
#138 main fixing unnecessary mockito stubbing Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion  
#137 main refactored the controllabilityPredicate for OrchestrationSynthesisOperator and ChoreographySynthesisOperator Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion  
See All Builds (158)