 jthoene
|
4d56111074
Updated the Syntax of running a cycle
|
преди 8 години |
 jthoene
|
9fa713bb5f
Refactored the SCTUnit tests with the new features and generated Tests (#1330)
|
преди 8 години |
 jthoene
|
9d2eecf6bd
trivial: Adapted the testmodels to the new SCTUnit syntax
|
преди 8 години |
 jthoene
|
58503003d0
Adapted the SCTUnit Testmodels to the changed SCTUnit Syntax
|
преди 8 години |
|
jthoene
|
331e724a91
Adjust the Testmodels to the new SCTUnit syntax (#1303)
|
преди 8 години |
 malknet42
|
b845caf3f8
added tests for HexLiteral and Final State
|
преди 11 години |
|
malknet42
|
659edb2338
Corrected small typing error
|
преди 12 години |
 markus.muehlbrandt@gmail.com
|
87709a4135
Refactoring of testcode to support enter statements.
|
преди 13 години |
 terfloth@itemis.de
|
5e257a0f12
Added tests for different failures ...
|
преди 13 години |
 Andreas Mülder
|
9f4219a351
modified*. sctunit - files according to dsl-grammar-changes
|
преди 13 години |
|
Andreas Mülder
|
1eaad6f600
Updates SCT Unit model files
|
преди 13 години |
|
terfloth@itemis.de
|
869e07dc10
added support for the join case of synchronization pseudostates
|
преди 13 години |
|
Andreas Mülder
|
c3daf95ea3
Added TestModels and Testcases
|
преди 13 години |
