ContractAutomataProject / ContractAutomataLib
96%
main: 100%

LAST BUILD BRANCH: newOrchestration
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 newOrchestration
branch: newOrchestration
CHANGE BRANCH
x

coverage: 95.886%. Remained the same
#152

push

davidebasile 
fixing a problem with sonarcloud running on ubuntu  with java 11

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

1375 of 1434 relevant lines covered (95.89%)

0.96 hits per line

Relevant lines Covered
1434 RELEVANT LINES 1375 COVERED LINES
0.96 HITS PER LINE
Source Files on newOrchestration

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#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
#148 newOrchestration trying to fix pom.xml for sonarcloud coverage Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
96.15
#147 newOrchestration update sonar.coverage.exclusions in pom.xml Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
96.15
#146 newOrchestration fixed the constructor of BasicState.java to accept the committed flag. fixed github actions script Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
96.15
#145 newOrchestration fixed a typo in ModalTransition Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
96.03
#144 newOrchestration implemented TauActions, and committed states. The CompositionFunction has been updated to use committed states, as well as ignore modalities. This is useful for model checking, to use the properties to specify the behaviour of the automaton in a t... push davidebasile
95.96
#143 newOrchestration fix Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile
99.41
See All Builds (158)