Thomas Kutz 78fc2e20dc Filter out transitions to sync node from potential exit node transitions 7 vuotta sitten
..
AssignmentToValue.sct 9b2077e44a Changed Testmodel from val to const 10 vuotta sitten
ConstWithVariable.sct 0409a34de2 #1189 Added validation message for valueless constant definition 8 vuotta sitten
NoExitTransition.sct b34100aec8 Issue 2068 exitpoints (#2069) 7 vuotta sitten
NoExitTransitionToSync.sct 78fc2e20dc Filter out transitions to sync node from potential exit node transitions 7 vuotta sitten
NoTriggerOnTransitionWithExitPointSpec.sct f7ac35a8f0 Added check and test for ExitPointSpec with Trigger. 11 vuotta sitten
ReferenceBeforeDefined.sct 240bb8e198 - changed check of unused variables, he now only applies when a 10 vuotta sitten
SynchronizationExitTransition.sct bd353ff49d Issue 2071 syncguards (#2072) 7 vuotta sitten
TopLevelEntryIsDefaultEntryError.sct 064f7e068e #184 : add tests 9 vuotta sitten
TopLevelEntryIsDefaultEntryWarn.sct 064f7e068e #184 : add tests 9 vuotta sitten
TopLevelRegionNoEntryPoint.sct a1b0bc21c6 Validate that top level regions have a default entry (#1363) (#1615) 8 vuotta sitten
TransitionEntrySpecNotComposite.sct 83741a7bdf Refactoring of entry and exit point tests. 12 vuotta sitten
TransitionExitSpecNotComposite.sct 83741a7bdf Refactoring of entry and exit point tests. 12 vuotta sitten
TransitionExitSpecOnMultipleSiblings.sct 86e76be16e Removed default trigger check on transitions with exit point spec. Testcase refactoring. 11 vuotta sitten
TransitionNotExistingNamedExitPoint.sct 83741a7bdf Refactoring of entry and exit point tests. 12 vuotta sitten
UnboundDefaultEntryPoints.sct 83741a7bdf Refactoring of entry and exit point tests. 12 vuotta sitten
UnboundEntryPoints01.sct ee3acbe253 Added validations and validation tests for entry points and entry point specs. 12 vuotta sitten
UnboundEntryPoints02.sct 83741a7bdf Refactoring of entry and exit point tests. 12 vuotta sitten
UnknownEntryPoint.sct f5f9e4ef5b added warnings for unknown entry states 7 vuotta sitten
UnusedDefaultExitPoint.sct 86e76be16e Removed default trigger check on transitions with exit point spec. Testcase refactoring. 11 vuotta sitten
UnusedEntryPoint.sct aa31a81771 Added validation and tests for unused entry and exit nodes. 12 vuotta sitten
UnusedExitPoint.sct 86e76be16e Removed default trigger check on transitions with exit point spec. Testcase refactoring. 11 vuotta sitten
UnusedExitPoint2.sct ffb57319be fixed statechart model 7 vuotta sitten
UnusedInternalDeclarations.sct aa7db9c82e added test moel for #107 10 vuotta sitten
ValidEmptyTransitionFromSync.sct 01147f8a4f changed test model 9 vuotta sitten
ValidTransitionToInnerChoice.sct 5411645562 Added testcase for valid transition to inner choice. 11 vuotta sitten