ContractAutomataProject / ContractAutomataLib
100%
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 updating_lazy
branch: updating_lazy
CHANGE BRANCH
x

#131

push

davidebasile 
unit tests for OrchestrationSynthesisOperator.java reachability

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

1267 of 1267 relevant lines covered (100.0%)

1.0 hits per line

Relevant lines Covered
1267 RELEVANT LINES 1267 COVERED LINES
1.0 HITS PER LINE
Source Files on updating_lazy

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#131 updating_lazy unit tests for OrchestrationSynthesisOperator.java reachability Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion  
#123 updating_lazy fixed test Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion  
#122 updating_lazy SynthesisOperator.java delayed computation of dangling states to when no further updates are possible. This cause the forbidden predicate to be computed more times. Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion  
#121 updating_lazy SynthesisOperator.java swapped recursion with iteration in the computation of dangling states Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion  
#120 updating_lazy add comment to isUncontrollableOrchestration in OrchestrationSynthesisOperator.java Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion  
See All Builds (158)