AllTests.sctunit 1.6 KB

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