AllTests.sctunit 1.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980
  1. testsuite AllTests {
  2. AlwaysOncycle,
  3. AssignmentAsExpression,
  4. BitExpressions,
  5. BooleanExpressions,
  6. CastExpressions,
  7. Choice,
  8. CKeywords,
  9. ConditionalExpression,
  10. ConstantsTests,
  11. ConstOnlyDefaultScope,
  12. ConstOnlyInternalScope,
  13. ConstOnlyNamedScope,
  14. ChildFirstExecutionHierarchy,
  15. ChildFirstLocalReactions,
  16. // ChildFirstOrthogonalReactions,
  17. Declarations,
  18. DeepEntry,
  19. DeepHistory,
  20. DynamicChoice,
  21. EmptyTransition,
  22. EnterState,
  23. EntryChoice,
  24. EntryExitSelfTransition,
  25. EntryReactionAction,
  26. EventDrivenInternalEvent,
  27. EventDrivenTriggeredByEvent,
  28. EventDrivenTriggeredByTimeEvent,
  29. EventDrivenOutEvents,
  30. ExitOnSelfTransition,
  31. ExitState,
  32. FeatureCalls,
  33. FinalState,
  34. FloatModulo,
  35. Guard,
  36. GuardedEntry,
  37. GuardedExit,
  38. HistoryWithExitPoint,
  39. HistoryWithoutInitialStep,
  40. InEventLifeCycle,
  41. IntegerExpressions,
  42. InternalEventLifeCycle,
  43. LocalReactions,
  44. LogicalAndTests,
  45. LogicalOrTests,
  46. LocalEvents,
  47. NamedInterfaceAccess,
  48. OperationsTest,
  49. // OperationsWithoutBraces,
  50. OutEventLifeCycle,
  51. Parenthesis,
  52. ParentFirstExecutionHierarchy,
  53. ParentFirstLocalReactions,
  54. // ParentFirstOrthogonalReactions,
  55. PriorityValues,
  56. RaiseEvent,
  57. ReadOnlyVariable,
  58. SameNameDifferentRegion,
  59. ShallowHistory,
  60. ShallowHistoryWithDeepEntry,
  61. SimpleEvent,
  62. SimpleHierachy,
  63. StatechartActive,
  64. StatechartLocalReactions,
  65. StateIsActive,
  66. StaticChoice,
  67. STextKeywordsInStatesAndRegions,
  68. StringExpressions,
  69. SyncFork,
  70. SyncJoin,
  71. TransitionWithoutCondition,
  72. TriggerGuardExpressions,
  73. TriggerExpressionPrecedence,
  74. ValuedEvents,
  75. TypeAlias
  76. //Add the following tests if sct unit Java and C++ generators
  77. // support mock timer service generation
  78. //StatemachineKeywords,
  79. //TimedTransitions,
  80. }