ContractAutomataProject / ContractAutomataLib / #153
100%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 52
Run time 1min
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
coverage: 95.886% (-4.1%) from 100.0%
#153

push

web-flow 
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

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

* fix

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

* 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 top-down way.
The converter now also reads committed states.
CALabel has been updated.
There are also some temporary attempts, classes that probably will be removed in the future, like HideNecessaryModality.java and DkBricsEncoder.java

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

* fixed a typo in ModalTransition

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

* 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>

* update sonar.coverage.exclusions in pom.xml

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

* trying to fix pom.xml for sonarcloud coverage

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

* change name to SplittingOrchestrationSynthesisOperator.java

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

* change name to SplittingOrchestrationSynthesisOperator.java

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

* fixed some errors

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

* 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>

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

Signed-off-by: ... (continued)

185 of 243 new or added lines in 18 files covered. (76.13%)

1 existing line in 1 file now uncovered.

1375 of 1434 relevant lines covered (95.89%)

0.96 hits per line

Jobs
ID Job ID Ran Files Coverage
1 #153.1 0
95.89
Source Files on build #153
Detailed source file information is not available for this build.