| .. |
|
NotOrthogonalRegion01.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 tahun lalu |
|
NotOrthogonalRegion02.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 tahun lalu |
|
NotOrthogonalRegion03.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 tahun lalu |
|
OrthogonalRegion01.sct
|
abb897f3a1
Moved validation test models to org.yakindu.sct.test.models project.
|
12 tahun lalu |
|
SynchronizationTransitionCount.sct
|
afbcef1946
Renaming of validation test model.
|
12 tahun lalu |
|
TransitionEntrySpecNotComposite.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 tahun lalu |
|
TransitionExitSpecNotComposite.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 tahun lalu |
|
TransitionExitSpecOnMultipleSiblings.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 tahun lalu |
|
TransitionNotExistingNamedExitPoint.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 tahun lalu |
|
UnboundDefaultEntryPoints.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 tahun lalu |
|
UnboundEntryPoints01.sct
|
ee3acbe253
Added validations and validation tests for entry points and entry point specs.
|
12 tahun lalu |
|
UnboundEntryPoints02.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 tahun lalu |
|
UnusedDefaultExitPoint.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 tahun lalu |
|
UnusedEntryPoint.sct
|
aa31a81771
Added validation and tests for unused entry and exit nodes.
|
12 tahun lalu |
|
UnusedExitPoint.sct
|
83741a7bdf
Refactoring of entry and exit point tests.
|
12 tahun lalu |
markus.muehlbrandt@gmail.com
83741a7bdf
Refactoring of entry and exit point tests.