ContractAutomataProject / ContractAutomataLib / #144

96%

main: 100%

Build Type

push

Committed by davidebasile

Commit Message

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>

Run Details

147 of 204 new or added lines in 15 files covered. (72.06%)

1 existing line in 1 file now uncovered.

1379 of 1437 relevant lines covered (95.96%)

0.96 hits per line