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: SELECT
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
Detailed source file information is not available for this build.

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
#152 newOrchestration fixing a problem with sonarcloud running on ubuntu with java 11 Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
95.89
#151 newOrchestration update README (badges for the new branch) and pom.xml coveralls to ignore the unused src folder Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
95.89
#150 newOrchestration update README (badges for the new branch) and pom.xml coveralls to ignore the unused src folder Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
95.89
#149 newOrchestration fixed some errors Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
95.89
See All Builds (158)