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