Andreas Muelder 0409a34de2 #1189 Added validation message for valueless constant definition 8 年 前
..
AssignmentToValue.sct 9b2077e44a Changed Testmodel from val to const 10 年 前
ConstWithVariable.sct 0409a34de2 #1189 Added validation message for valueless constant definition 8 年 前
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 3a0ce04c2c refactored test model 9 年 前
OrthogonalRegion01.sct abb897f3a1 Moved validation test models to org.yakindu.sct.test.models project. 12 年 前
OrthogonalTransition.sct a39a8a5b64 Added text cases to orthogonalTransition check. 9 年 前
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 年 前
SyncLocation_Issue58.sct eecb73b663 added test case for issue #58 9 年 前
SynchronizationTransitionCount.sct afbcef1946 Renaming of validation test model. 12 年 前
TopLevelEntryIsDefaultEntryError.sct 064f7e068e #184 : add tests 9 年 前
TopLevelEntryIsDefaultEntryWarn.sct 064f7e068e #184 : add tests 9 年 前
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 01147f8a4f changed test model 9 年 前
ValidTransitionToInnerChoice.sct 5411645562 Added testcase for valid transition to inner choice. 11 年 前