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