 malknet42
|
b845caf3f8
added tests for HexLiteral and Final State
|
%!s(int64=11) %!d(string=hai) anos |
|
malknet42
|
659edb2338
Corrected small typing error
|
%!s(int64=12) %!d(string=hai) anos |
 markus.muehlbrandt@gmail.com
|
87709a4135
Refactoring of testcode to support enter statements.
|
%!s(int64=13) %!d(string=hai) anos |
 terfloth@itemis.de
|
5e257a0f12
Added tests for different failures ...
|
%!s(int64=13) %!d(string=hai) anos |
 Andreas Mülder
|
9f4219a351
modified*. sctunit - files according to dsl-grammar-changes
|
%!s(int64=13) %!d(string=hai) anos |
|
Andreas Mülder
|
1eaad6f600
Updates SCT Unit model files
|
%!s(int64=13) %!d(string=hai) anos |
|
terfloth@itemis.de
|
869e07dc10
added support for the join case of synchronization pseudostates
|
%!s(int64=13) %!d(string=hai) anos |
|
Andreas Mülder
|
c3daf95ea3
Added TestModels and Testcases
|
%!s(int64=13) %!d(string=hai) anos |
