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 години