-
Saad bin Abid authored
added the checkbox option "Correctly Implement Req." in the property sections of stateautomaton, state and transitionsegmentspecification.
15528a2e
added the checkbox option "Correctly Implement Req." in the property sections of stateautomaton, state and transitionsegmentspecification.