#132
100%

Ran 23 Sep 2022 04:19PM UTC

Jobs 1

Files 47

Run time 2s

Badge

Embed ▾

pending completion

Build # #132

Build Type

push

Committed by

web-flow

Commit Message

Updating lazy (#14)

* add comment to isUncontrollableOrchestration in OrchestrationSynthesisOperator.java

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

* SynthesisOperator.java swapped recursion with iteration in the computation of dangling states

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

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

* OrchestrationSynthesisOperator.java added a flag to the class that when set, during application the synthesis will also check a further conditions for lazy transitions to be controllable, the condition is expressed inside the method isRechableWithoutMoving.
Added a new integration test for this new functionality.

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

* fixed test

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

* unit tests for OrchestrationSynthesisOperator.java reachability

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

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

Run Details

1267 of 1267 relevant lines covered (100.0%)

1.0 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#132.1	23 Sep 2022 04:19PM UTC	0	100.0

Source Files on build #132

Detailed source file information is not available for this build.

ContractAutomataProject / ContractAutomataLib / #132
100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #132

ContractAutomataProject / ContractAutomataLib / #132 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #132

ContractAutomataProject / ContractAutomataLib / #132
100%

README BADGES
x