| .. |
|
AssignmentToValue.sct
|
9b2077e44a
Changed Testmodel from val to const
|
10 lat temu |
|
ConstWithVariable.sct
|
0409a34de2
#1189 Added validation message for valueless constant definition
|
8 lat temu |
|
EntryTransitionToParentState.sct
|
e3991746cf
Added validation and testcase for validation (transition from entry to parent state).
|
11 lat temu |
|
NoTriggerOnTransitionWithExitPointSpec.sct
|
f7ac35a8f0
Added check and test for ExitPointSpec with Trigger.
|
11 lat temu |
|
NotOrthogonalRegion01.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 lat temu |
|
NotOrthogonalRegion02.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 lat temu |
|
NotOrthogonalRegion03.sct
|
3a0ce04c2c
refactored test model
|
9 lat temu |
|
OrthogonalRegion01.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 lat temu |
|
OrthogonalTransition.sct
|
a39a8a5b64
Added text cases to orthogonalTransition check.
|
9 lat temu |
|
ReferenceBeforeDefined.sct
|
240bb8e198
- changed check of unused variables, he now only applies when a
|
10 lat temu |
|
RegionCantBeEnteredUsingShallowHistory.sct
|
1de25b7145
fixed issue #YAKHMI-1022 : extended validation to check if all subregions of composite states can be entered in the context of a shallow history.
|
11 lat temu |
|
SyncLocation_Issue58.sct
|
eecb73b663
added test case for issue #58
|
9 lat temu |
|
SynchronizationTransitionCount.sct
|
afbcef1946
Renaming of validation test model.
|
12 lat temu |
|
TopLevelEntryIsDefaultEntryError.sct
|
064f7e068e
#184 : add tests
|
9 lat temu |
|
TopLevelEntryIsDefaultEntryWarn.sct
|
064f7e068e
#184 : add tests
|
9 lat temu |
|
TransitionEntrySpecNotComposite.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 lat temu |
|
TransitionExitSpecNotComposite.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 lat temu |
|
TransitionExitSpecOnMultipleSiblings.sct
|
86e76be16e
Removed default trigger check on transitions with exit point spec. Testcase refactoring.
|
11 lat temu |
|
TransitionNotExistingNamedExitPoint.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 lat temu |
|
UnboundDefaultEntryPoints.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 lat temu |
|
UnboundEntryPoints01.sct
|
ee3acbe253
Added validations and validation tests for entry points and entry point specs.
|
12 lat temu |
|
UnboundEntryPoints02.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 lat temu |
|
UnusedDefaultExitPoint.sct
|
86e76be16e
Removed default trigger check on transitions with exit point spec. Testcase refactoring.
|
11 lat temu |
|
UnusedEntryPoint.sct
|
aa31a81771
Added validation and tests for unused entry and exit nodes.
|
12 lat temu |
|
UnusedExitPoint.sct
|
86e76be16e
Removed default trigger check on transitions with exit point spec. Testcase refactoring.
|
11 lat temu |
|
UnusedInternalDeclarations.sct
|
aa7db9c82e
added test moel for #107
|
10 lat temu |
|
ValidEmptyTransitionFromSync.sct
|
01147f8a4f
changed test model
|
9 lat temu |
|
ValidTransitionToInnerChoice.sct
|
5411645562
Added testcase for valid transition to inner choice.
|
11 lat temu |
Andreas Muelder