| .. |
|
AssignmentToValue.sct
|
9b2077e44a
Changed Testmodel from val to const
|
10 роки тому |
|
ConstWithVariable.sct
|
240bb8e198
- changed check of unused variables, he now only applies when a
|
10 роки тому |
|
EntryTransitionToParentState.sct
|
e3991746cf
Added validation and testcase for validation (transition from entry to parent state).
|
11 роки тому |
|
NoTriggerOnTransitionWithExitPointSpec.sct
|
f7ac35a8f0
Added check and test for ExitPointSpec with Trigger.
|
11 роки тому |
|
NotOrthogonalRegion01.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 роки тому |
|
NotOrthogonalRegion02.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 роки тому |
|
NotOrthogonalRegion03.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 роки тому |
|
OrthogonalRegion01.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 роки тому |
|
ReferenceBeforeDefined.sct
|
240bb8e198
- changed check of unused variables, he now only applies when a
|
10 роки тому |
|
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 роки тому |
|
SynchronizationTransitionCount.sct
|
afbcef1946
Renaming of validation test model.
|
12 роки тому |
|
TransitionEntrySpecNotComposite.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 роки тому |
|
TransitionExitSpecNotComposite.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 роки тому |
|
TransitionExitSpecOnMultipleSiblings.sct
|
86e76be16e
Removed default trigger check on transitions with exit point spec. Testcase refactoring.
|
11 роки тому |
|
TransitionNotExistingNamedExitPoint.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 роки тому |
|
UnboundDefaultEntryPoints.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 роки тому |
|
UnboundEntryPoints01.sct
|
ee3acbe253
Added validations and validation tests for entry points and entry point specs.
|
12 роки тому |
|
UnboundEntryPoints02.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 роки тому |
|
UnusedDefaultExitPoint.sct
|
86e76be16e
Removed default trigger check on transitions with exit point spec. Testcase refactoring.
|
11 роки тому |
|
UnusedEntryPoint.sct
|
aa31a81771
Added validation and tests for unused entry and exit nodes.
|
12 роки тому |
|
UnusedExitPoint.sct
|
86e76be16e
Removed default trigger check on transitions with exit point spec. Testcase refactoring.
|
11 роки тому |
|
UnusedInternalDeclarations.sct
|
aa7db9c82e
added test moel for #107
|
10 роки тому |
|
ValidEmptyTransitionFromSync.sct
|
2bd90692db
Fixes issue 75. False warning on sync node outgoing transitions.
|
10 роки тому |
|
ValidTransitionToInnerChoice.sct
|
5411645562
Added testcase for valid transition to inner choice.
|
11 роки тому |
bohl