AllTests.sctunit 1.6 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485
  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. ExitOnSelfTransition,
  30. ExitState,
  31. FeatureCalls,
  32. FinalState,
  33. FloatModulo,
  34. Guard,
  35. GuardedEntry,
  36. GuardedExit,
  37. HistoryWithExitPoint,
  38. HistoryWithoutInitialStep,
  39. InEventLifeCycle,
  40. IntegerExpressions,
  41. InternalEventLifeCycle,
  42. LocalReactions,
  43. LogicalAndTests,
  44. LogicalOrTests,
  45. NamedInterfaceAccess,
  46. OperationsTest,
  47. // OperationsWithoutBraces,
  48. OutEventLifeCycle,
  49. Parenthesis,
  50. ParentFirstExecutionHierarchy,
  51. ParentFirstLocalReactions,
  52. // ParentFirstOrthogonalReactions,
  53. PriorityValues,
  54. RaiseEvent,
  55. ReadOnlyVariable,
  56. SameNameDifferentRegion,
  57. ShallowHistory,
  58. ShallowHistoryWithDeepEntry,
  59. SimpleEvent,
  60. SimpleHierachy,
  61. StatechartActive,
  62. StatechartLocalReactions,
  63. StateIsActive,
  64. StaticChoice,
  65. STextKeywordsInStatesAndRegions,
  66. StringExpressions,
  67. SyncFork,
  68. SyncJoin,
  69. TransitionWithoutCondition,
  70. TriggerGuardExpressions,
  71. TriggerExpressionPrecedence,
  72. ValuedEvents,
  73. TypeAlias
  74. //Add the following tests if sct unit Java and C++ generators
  75. // support mock timer service generation
  76. //StatemachineKeywords,
  77. //TimedTransitions,
  78. }