Added a number of new tests

TestScenarios/TestModels/Test_LocalActions.sexec

@@ -1,225 +0,0 @@
-<?xml version="1.0" encoding="ASCII"?>
-<sexec:ExecutionFlow xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:sexec="http://www.yakindu.org/sct/sexec/1.0.0" xmlns:stext="http://www.yakindu.org/sct/statechart/SText" name="Test_LocalActions">
-  <scopes xsi:type="stext:InterfaceScope">
-    <declarations xsi:type="stext:EventDefinition" name="Event1" direction="in"/>
-    <declarations xsi:type="stext:EventDefinition" name="Event2" direction="in"/>
-    <declarations xsi:type="stext:EventDefinition" name="Event3" direction="in"/>
-    <declarations xsi:type="stext:EventDefinition" name="Event4" direction="in"/>
-    <declarations xsi:type="stext:VariableDefinition" name="i" type="integer"/>
-    <declarations xsi:type="stext:VariableDefinition" name="j" type="integer"/>
-    <declarations xsi:type="stext:VariableDefinition" name="c" type="integer"/>
-  </scopes>
-  <scopes>
-    <declarations xsi:type="sexec:TimeEvent" name="State1_time_event_0" periodic="true"/>
-    <declarations xsi:type="sexec:TimeEvent" name="State2_time_event_0"/>
-  </scopes>
-  <states name="Test_LocalActions.mainregion.State1" simpleName="State1" leaf="true">
-    <cycle>
-      <steps xsi:type="sexec:If">
-        <check xsi:type="sexec:CheckRef" check="//@states.0/@reactions.0/@check"/>
-        <thenStep xsi:type="sexec:Call" step="//@states.0/@reactions.0/@effect"/>
-        <elseStep xsi:type="sexec:Sequence">
-          <steps xsi:type="sexec:If">
-            <check xsi:type="sexec:CheckRef" check="//@states.0/@reactions.1/@check"/>
-            <thenStep xsi:type="sexec:Call" step="//@states.0/@reactions.1/@effect"/>
-          </steps>
-          <steps xsi:type="sexec:If">
-            <check xsi:type="sexec:CheckRef" check="//@states.0/@reactions.2/@check"/>
-            <thenStep xsi:type="sexec:Call" step="//@states.0/@reactions.2/@effect"/>
-          </steps>
-          <steps xsi:type="sexec:If">
-            <check xsi:type="sexec:CheckRef" check="//@states.0/@reactions.3/@check"/>
-            <thenStep xsi:type="sexec:Call" step="//@states.0/@reactions.3/@effect"/>
-          </steps>
-        </elseStep>
-      </steps>
-    </cycle>
-    <reactions name="tr0" transition="true">
-      <check name="tr0">
-        <condition xsi:type="stext:ElementReferenceExpression" value="//@scopes.0/@declarations.0"/>
-      </check>
-      <effect xsi:type="sexec:Sequence">
-        <steps xsi:type="sexec:Call" step="//@states.0/@exitSequence"/>
-        <steps xsi:type="sexec:Call" step="//@states.1/@enterSequence"/>
-      </effect>
-    </reactions>
-    <reactions name="lr2">
-      <check name="lr2">
-        <condition xsi:type="stext:PrimitiveValueExpression">
-          <value xsi:type="stext:BoolLiteral" value="true"/>
-        </condition>
-      </check>
-      <effect xsi:type="sexec:Sequence" name="reaction_action">
-        <steps xsi:type="sexec:Execution">
-          <statement xsi:type="stext:Assignment" varRef="//@scopes.0/@declarations.4">
-            <expression xsi:type="stext:PrimitiveValueExpression">
-              <value xsi:type="stext:IntLiteral" value="2"/>
-            </expression>
-          </statement>
-        </steps>
-      </effect>
-    </reactions>
-    <reactions name="lr3">
-      <check name="lr3">
-        <condition xsi:type="stext:ElementReferenceExpression" value="//@scopes.0/@declarations.1"/>
-      </check>
-      <effect xsi:type="sexec:Sequence" name="reaction_action">
-        <steps xsi:type="sexec:Execution">
-          <statement xsi:type="stext:Assignment" varRef="//@scopes.0/@declarations.4">
-            <expression xsi:type="stext:PrimitiveValueExpression">
-              <value xsi:type="stext:IntLiteral" value="3"/>
-            </expression>
-          </statement>
-        </steps>
-      </effect>
-    </reactions>
-    <reactions name="lr4">
-      <check name="lr4">
-        <condition xsi:type="stext:ElementReferenceExpression" value="//@scopes.1/@declarations.0"/>
-      </check>
-      <effect xsi:type="sexec:Sequence" name="reaction_action">
-        <steps xsi:type="sexec:Execution">
-          <statement xsi:type="stext:Assignment" varRef="//@scopes.0/@declarations.6" operator="+=">
-            <expression xsi:type="stext:PrimitiveValueExpression">
-              <value xsi:type="stext:IntLiteral" value="1"/>
-            </expression>
-          </statement>
-        </steps>
-      </effect>
-    </reactions>
-    <entryAction xsi:type="sexec:Sequence" name="entryAction" comment="Entry action for state 'State1'.">
-      <steps xsi:type="sexec:ScheduleTimeEvent" timeEvent="//@scopes.1/@declarations.0">
-        <timeValue xsi:type="stext:PrimitiveValueExpression">
-          <value xsi:type="stext:IntLiteral" value="100"/>
-        </timeValue>
-      </steps>
-      <steps xsi:type="sexec:Sequence" name="reaction_action">
-        <steps xsi:type="sexec:Execution">
-          <statement xsi:type="stext:Assignment" varRef="//@scopes.0/@declarations.4">
-            <expression xsi:type="stext:PrimitiveValueExpression">
-              <value xsi:type="stext:IntLiteral" value="1"/>
-            </expression>
-          </statement>
-        </steps>
-      </steps>
-    </entryAction>
-    <exitAction xsi:type="sexec:Sequence" name="exitAction">
-      <steps xsi:type="sexec:UnscheduleTimeEvent" timeEvent="//@scopes.1/@declarations.0"/>
-      <steps xsi:type="sexec:Sequence" name="reaction_action">
-        <steps xsi:type="sexec:Execution">
-          <statement xsi:type="stext:Assignment" varRef="//@scopes.0/@declarations.4">
-            <expression xsi:type="stext:PrimitiveValueExpression">
-              <value xsi:type="stext:IntLiteral"/>
-            </expression>
-          </statement>
-        </steps>
-      </steps>
-    </exitAction>
-    <enterSequence name="enterSequence" comment="Default enter sequence for state State1">
-      <steps xsi:type="sexec:Call" step="//@states.0/@entryAction"/>
-      <steps xsi:type="sexec:EnterState" state="//@states.0"/>
-    </enterSequence>
-    <exitSequence name="exitSequence" comment="Default exit sequence for state State1">
-      <steps xsi:type="sexec:ExitState" state="//@states.0"/>
-      <steps xsi:type="sexec:Call" step="//@states.0/@exitAction"/>
-    </exitSequence>
-  </states>
-  <states name="Test_LocalActions.mainregion.State2" simpleName="State2" leaf="true">
-    <cycle>
-      <steps xsi:type="sexec:If">
-        <check xsi:type="sexec:CheckRef" check="//@states.1/@reactions.0/@check"/>
-        <thenStep xsi:type="sexec:Call" step="//@states.1/@reactions.0/@effect"/>
-        <elseStep xsi:type="sexec:Sequence">
-          <steps xsi:type="sexec:If">
-            <check xsi:type="sexec:CheckRef" check="//@states.1/@reactions.1/@check"/>
-            <thenStep xsi:type="sexec:Call" step="//@states.1/@reactions.1/@effect"/>
-          </steps>
-          <steps xsi:type="sexec:If">
-            <check xsi:type="sexec:CheckRef" check="//@states.1/@reactions.2/@check"/>
-            <thenStep xsi:type="sexec:Call" step="//@states.1/@reactions.2/@effect"/>
-          </steps>
-        </elseStep>
-      </steps>
-    </cycle>
-    <reactions name="tr0" transition="true">
-      <check name="tr0">
-        <condition xsi:type="stext:ElementReferenceExpression" value="//@scopes.0/@declarations.2"/>
-      </check>
-      <effect xsi:type="sexec:Sequence">
-        <steps xsi:type="sexec:Call" step="//@states.1/@exitSequence"/>
-        <steps xsi:type="sexec:Call" step="//@states.0/@enterSequence"/>
-      </effect>
-    </reactions>
-    <reactions name="lr2">
-      <check name="lr2">
-        <condition xsi:type="stext:LogicalOrExpression">
-          <leftOperand xsi:type="stext:ElementReferenceExpression" value="//@scopes.0/@declarations.1"/>
-          <rightOperand xsi:type="stext:ElementReferenceExpression" value="//@scopes.0/@declarations.3"/>
-        </condition>
-      </check>
-      <effect xsi:type="sexec:Sequence" name="reaction_action">
-        <steps xsi:type="sexec:Execution">
-          <statement xsi:type="stext:Assignment" varRef="//@scopes.0/@declarations.5">
-            <expression xsi:type="stext:PrimitiveValueExpression">
-              <value xsi:type="stext:IntLiteral" value="2"/>
-            </expression>
-          </statement>
-        </steps>
-      </effect>
-    </reactions>
-    <reactions name="lr3">
-      <check name="lr3">
-        <condition xsi:type="stext:ElementReferenceExpression" value="//@scopes.1/@declarations.1"/>
-      </check>
-      <effect xsi:type="sexec:Sequence" name="reaction_action">
-        <steps xsi:type="sexec:Execution">
-          <statement xsi:type="stext:Assignment" varRef="//@scopes.0/@declarations.5">
-            <expression xsi:type="stext:PrimitiveValueExpression">
-              <value xsi:type="stext:IntLiteral" value="3"/>
-            </expression>
-          </statement>
-        </steps>
-      </effect>
-    </reactions>
-    <entryAction xsi:type="sexec:Sequence" name="entryAction" comment="Entry action for state 'State2'.">
-      <steps xsi:type="sexec:ScheduleTimeEvent" timeEvent="//@scopes.1/@declarations.1">
-        <timeValue xsi:type="stext:PrimitiveValueExpression">
-          <value xsi:type="stext:IntLiteral" value="200"/>
-        </timeValue>
-      </steps>
-      <steps xsi:type="sexec:Sequence" name="reaction_action">
-        <steps xsi:type="sexec:Execution">
-          <statement xsi:type="stext:Assignment" varRef="//@scopes.0/@declarations.5">
-            <expression xsi:type="stext:PrimitiveValueExpression">
-              <value xsi:type="stext:IntLiteral" value="1"/>
-            </expression>
-          </statement>
-        </steps>
-      </steps>
-    </entryAction>
-    <exitAction xsi:type="sexec:Sequence" name="exitAction">
-      <steps xsi:type="sexec:UnscheduleTimeEvent" timeEvent="//@scopes.1/@declarations.1"/>
-      <steps xsi:type="sexec:Sequence" name="reaction_action">
-        <steps xsi:type="sexec:Execution">
-          <statement xsi:type="stext:Assignment" varRef="//@scopes.0/@declarations.5">
-            <expression xsi:type="stext:PrimitiveValueExpression">
-              <value xsi:type="stext:IntLiteral"/>
-            </expression>
-          </statement>
-        </steps>
-      </steps>
-    </exitAction>
-    <enterSequence name="enterSequence" comment="Default enter sequence for state State2">
-      <steps xsi:type="sexec:Call" step="//@states.1/@entryAction"/>
-      <steps xsi:type="sexec:EnterState" state="//@states.1"/>
-    </enterSequence>
-    <exitSequence name="exitSequence" comment="Default exit sequence for state State2">
-      <steps xsi:type="sexec:ExitState" state="//@states.1"/>
-      <steps xsi:type="sexec:Call" step="//@states.1/@exitAction"/>
-    </exitSequence>
-  </states>
-  <enterSequence name="enter" comment="Default enter sequence for statechart Test_LocalActions">
-    <steps xsi:type="sexec:Call" step="//@states.0/@enterSequence"/>
-  </enterSequence>
-  <stateVector/>
-</sexec:ExecutionFlow>

TestScenarios/test-c/Test_LocalActions/CMakeLists.txt

@@ -1,8 +0,0 @@
-include_directories(../../src-gen-c/Test_LocalActions)
-
-add_executable(TestLocalActionsMain main.c)
-target_link_libraries(TestLocalActionsMain Test_LocalActionsStatemachine)
-
-add_test(Dummy1 TestLocalActionsMain "1")
-add_test(Dummy2 TestLocalActionsMain "2")
-

TestScenarios/test-c/Test_LocalActions/main.c

@@ -1,108 +0,0 @@
-/*
- * main.c
- *
- *  Created on: 16.11.2011
- *      Author: showcase
- */
-
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <assert.h>
-#include <string.h>
-#include "Timer.h"
-#include "DummyTimer.h"
-#include "Test_LocalActionsStatemachine.h"
-
-/*@DTestSuite: LocalActions Statechart Test (Test_LocalActions.sct) */
-
-#define MAXEVENTSPERTYPE 4
-const char* stateName[6] = {"State1", "State2", "State3", "State4", "State5", "State6"};
-
-void setupStatemachine(Test_LocalActionsStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
-{
-	/* set up dummy Timer */
-	dummyTimer_init(dummyTimer);
-
-	/* Set up Event Pool */
-	eventPool_init_heap(eventPool, event_last, MAXEVENTSPERTYPE);
-
-	/* initialize state machine */
-	test_LocalActionsStatemachine_init(machine, dummyTimer, eventPool);
-
-}
-
-void teardownStatemachine(Test_LocalActionsStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
-{
-	test_LocalActionsStatemachine_exit(machine);
-	timer_exit(dummyTimer);
-	eventPool_exit(eventPool);
-
-}
-
-/*@Test: test_default_var1 test behavior of var1 in default interface */
-int test_initialization()
-{
-
-	return 0;
-}
-
-
-/*@Test: test_state9_state10_transition test behavior of var1 in default and other interface */
-int dummy1()
-{
-	Test_LocalActionsStatemachine machine;
-	Timer dummyTimer;
-	EventPool eventPool;
-
-	/*@Desc: setup initial statemachine */
-	setupStatemachine(&machine, &dummyTimer, &eventPool);
-
-	/*@Desc: teardown statemachine */
-	teardownStatemachine(&machine, &dummyTimer, &eventPool);
-
-	return 0;
-}
-
-/*@Test: test_default_var1 test behavior of var1 in default and other interface */
-int dummy2()
-{
-	Test_LocalActionsStatemachine machine;
-	Timer dummyTimer;
-	EventPool eventPool;
-
-	/*@Desc: setup initial statemachine */
-	setupStatemachine(&machine, &dummyTimer, &eventPool);
-
-	/*@Desc: run an explicit cycle - without any waiting event (for initialization) */
-	test_LocalActionsStatemachine_runCycle(&machine);
-
-	/*@Desc:  */
-
-
-	/*@Desc: teardown statemachine */
-	teardownStatemachine(&machine, &dummyTimer, &eventPool);
-
-	return 0;
-}
-
-
-
-
-
-
-int main(int argc, char** argv)
-{
-	if (argc != 2)
-		return -1;
-
-	switch (atoi(argv[1])) {
-	case 1:
-		return dummy1();
-	case 2:
-		return dummy2();
-	}
-
-	return -1;
-
-}

TestScenarios/test-c/Test_ParallelRegions/CMakeLists.txt

@@ -1,8 +0,0 @@
-include_directories(../../src-gen-c/Test_ParallelRegions)
-
-add_executable(TestParallelRegionsMain main.c)
-target_link_libraries(TestParallelRegionsMain Test_ParallelRegionsStatemachine)
-
-add_test(Dummy1 TestParallelRegionsMain "1")
-add_test(Dummy2 TestParallelRegionsMain "2")
-

TestScenarios/test-c/Test_ParallelRegions/main.c

@@ -1,108 +0,0 @@
-/*
- * main.c
- *
- *  Created on: 16.11.2011
- *      Author: showcase
- */
-
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <assert.h>
-#include <string.h>
-#include "Timer.h"
-#include "DummyTimer.h"
-#include "Test_ParallelRegionsStatemachine.h"
-
-/*@DTestSuite: ParallelRegions Statechart Test (Test_ParallelRegions.sct) */
-
-#define MAXEVENTSPERTYPE 4
-const char* stateName[6] = {"State1", "State2", "State3", "State4", "State5", "State6"};
-
-void setupStatemachine(Test_ParallelRegionsStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
-{
-	/* set up dummy Timer */
-	dummyTimer_init(dummyTimer);
-
-	/* Set up Event Pool */
-	eventPool_init_heap(eventPool, event_last, MAXEVENTSPERTYPE);
-
-	/* initialize state machine */
-	test_ParallelRegionsStatemachine_init(machine, dummyTimer, eventPool);
-
-}
-
-void teardownStatemachine(Test_ParallelRegionsStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
-{
-	test_ParallelRegionsStatemachine_exit(machine);
-	timer_exit(dummyTimer);
-	eventPool_exit(eventPool);
-
-}
-
-/*@Test: test_default_var1 test behavior of var1 in default interface */
-int test_initialization()
-{
-
-	return 0;
-}
-
-
-/*@Test: test_state9_state10_transition test behavior of var1 in default and other interface */
-int dummy1()
-{
-	Test_ParallelRegionsStatemachine machine;
-	Timer dummyTimer;
-	EventPool eventPool;
-
-	/*@Desc: setup initial statemachine */
-	setupStatemachine(&machine, &dummyTimer, &eventPool);
-
-	/*@Desc: teardown statemachine */
-	teardownStatemachine(&machine, &dummyTimer, &eventPool);
-
-	return 0;
-}
-
-/*@Test: test_default_var1 test behavior of var1 in default and other interface */
-int dummy2()
-{
-	Test_ParallelRegionsStatemachine machine;
-	Timer dummyTimer;
-	EventPool eventPool;
-
-	/*@Desc: setup initial statemachine */
-	setupStatemachine(&machine, &dummyTimer, &eventPool);
-
-	/*@Desc: run an explicit cycle - without any waiting event (for initialization) */
-	test_ParallelRegionsStatemachine_runCycle(&machine);
-
-	/*@Desc:  */
-
-
-	/*@Desc: teardown statemachine */
-	teardownStatemachine(&machine, &dummyTimer, &eventPool);
-
-	return 0;
-}
-
-
-
-
-
-
-int main(int argc, char** argv)
-{
-	if (argc != 2)
-		return -1;
-
-	switch (atoi(argv[1])) {
-	case 1:
-		return dummy1();
-	case 2:
-		return dummy2();
-	}
-
-	return -1;
-
-}

TestScenarios/test-c/Test_ShallowHistory/CMakeLists.txt

@@ -1,8 +0,0 @@
-include_directories(../../src-gen-c/Test_ShallowHistory)
-
-add_executable(TestShallowHistoryMain main.c)
-target_link_libraries(TestShallowHistoryMain Test_ShallowHistoryStatemachine)
-
-add_test(Dummy1 TestShallowHistoryMain "1")
-add_test(Dummy2 TestShallowHistoryMain "2")
-

TestScenarios/test-c/Test_ShallowHistory/main.c

@@ -1,108 +0,0 @@
-/*
- * main.c
- *
- *  Created on: 16.11.2011
- *      Author: showcase
- */
-
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <assert.h>
-#include <string.h>
-#include "Timer.h"
-#include "DummyTimer.h"
-#include "Test_ShallowHistoryStatemachine.h"
-
-/*@DTestSuite: ShallowHistory Statechart Test (Test_ShallowHistory.sct) */
-
-#define MAXEVENTSPERTYPE 4
-const char* stateName[6] = {"State1", "State2", "State3", "State4", "State5", "State6"};
-
-void setupStatemachine(Test_ShallowHistoryStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
-{
-	/* set up dummy Timer */
-	dummyTimer_init(dummyTimer);
-
-	/* Set up Event Pool */
-	eventPool_init_heap(eventPool, event_last, MAXEVENTSPERTYPE);
-
-	/* initialize state machine */
-	test_ShallowHistoryStatemachine_init(machine, dummyTimer, eventPool);
-
-}
-
-void teardownStatemachine(Test_ShallowHistoryStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
-{
-	test_ShallowHistoryStatemachine_exit(machine);
-	timer_exit(dummyTimer);
-	eventPool_exit(eventPool);
-
-}
-
-/*@Test: test_default_var1 test behavior of var1 in default interface */
-int test_initialization()
-{
-
-	return 0;
-}
-
-
-/*@Test: test_state9_state10_transition test behavior of var1 in default and other interface */
-int dummy1()
-{
-	Test_ShallowHistoryStatemachine machine;
-	Timer dummyTimer;
-	EventPool eventPool;
-
-	/*@Desc: setup initial statemachine */
-	setupStatemachine(&machine, &dummyTimer, &eventPool);
-
-	/*@Desc: teardown statemachine */
-	teardownStatemachine(&machine, &dummyTimer, &eventPool);
-
-	return 0;
-}
-
-/*@Test: test_default_var1 test behavior of var1 in default and other interface */
-int dummy2()
-{
-	Test_ShallowHistoryStatemachine machine;
-	Timer dummyTimer;
-	EventPool eventPool;
-
-	/*@Desc: setup initial statemachine */
-	setupStatemachine(&machine, &dummyTimer, &eventPool);
-
-	/*@Desc: run an explicit cycle - without any waiting event (for initialization) */
-	test_ShallowHistoryStatemachine_runCycle(&machine);
-
-	/*@Desc:  */
-
-
-	/*@Desc: teardown statemachine */
-	teardownStatemachine(&machine, &dummyTimer, &eventPool);
-
-	return 0;
-}
-
-
-
-
-
-
-int main(int argc, char** argv)
-{
-	if (argc != 2)
-		return -1;
-
-	switch (atoi(argv[1])) {
-	case 1:
-		return dummy1();
-	case 2:
-		return dummy2();
-	}
-
-	return -1;
-
-}

TestScenarios/test-c/Test_Transition/CMakeLists.txt

@@ -1,8 +0,0 @@
-include_directories(../../src-gen-c/Test_Transition)
-
-add_executable(TestTransitionMain main.c)
-target_link_libraries(TestTransitionMain Test_TransitionStatemachine)
-
-add_test(Dummy1 TestTransitionMain "1")
-add_test(Dummy2 TestTransitionMain "2")
-

TestScenarios/test-c/Test_Transition/main.c

@@ -1,115 +0,0 @@
-/*
- * main.c
- *
- *  Created on: 16.11.2011
- *      Author: showcase
- */
-
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <assert.h>
-#include <string.h>
-#include "Timer.h"
-#include "DummyTimer.h"
-#include "Test_HierarchyStatemachine.h"
-
-/*@DTestSuite: Hierachy Statechart Test (Test_Hierarchy.sct) */
-
-#define MAXEVENTSPERTYPE 4
-const char* stateName[6] = {"State1", "State2", "State3", "State4", "State5", "State6"};
-
-void setupStatemachine(Test_HierarchyStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
-{
-	/* set up dummy Timer */
-	dummyTimer_init(dummyTimer);
-
-	/* Set up Event Pool */
-	eventPool_init_heap(eventPool, event_last, MAXEVENTSPERTYPE);
-
-	/* initialize state machine */
-	test_HierarchyStatemachine_init(machine, dummyTimer, eventPool);
-
-}
-
-void teardownStatemachine(Test_HierarchyStatemachine* machine, Timer* dummyTimer, EventPool* eventPool)
-{
-	test_HierarchyStatemachine_exit(machine);
-	timer_exit(dummyTimer);
-	eventPool_exit(eventPool);
-
-}
-
-/*@Test: test_default_var1 test behavior of var1 in default interface */
-int test_initialization()
-{
-
-	return 0;
-}
-
-
-/*@Test: test_state9_state10_transition test behavior of var1 in default and other interface */
-int test_state9_state10_transition()
-{
-	Test_HierarchyStatemachine machine;
-	Timer dummyTimer;
-	EventPool eventPool;
-
-	/*@Desc: setup initial statemachine */
-	setupStatemachine(&machine, &dummyTimer, &eventPool);
-
-	/*@Desc: run the statechart for the first time (initially) */
-	test_HierarchyStatemachine_runCycle(&machine);
-
-	/*@Desc: check wether state is initial state (State9) */
-	printf("%s\n", stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)]);
-	assert( strcmp(stateName[statemachineBase_getState((StatemachineBase*)&machine, 0)], "State9") == 0);
-
-	/*@Desc: teardown statemachine */
-	teardownStatemachine(&machine, &dummyTimer, &eventPool);
-
-	return 0;
-}
-
-/*@Test: test_default_var1 test behavior of var1 in default and other interface */
-int test_state1_state2_back_transition()
-{
-	Test_HierarchyStatemachine machine;
-	Timer dummyTimer;
-	EventPool eventPool;
-
-	/*@Desc: setup initial statemachine */
-	setupStatemachine(&machine, &dummyTimer, &eventPool);
-
-	/*@Desc: run an explicit cycle - without any waiting event (for initialization) */
-	test_HierarchyStatemachine_runCycle(&machine);
-
-	/*@Desc:  */
-
-
-	/*@Desc: teardown statemachine */
-	teardownStatemachine(&machine, &dummyTimer, &eventPool);
-
-	return 0;
-}
-
-
-
-
-
-
-int main(int argc, char** argv)
-{
-	if (argc != 2)
-		return -1;
-
-	switch (atoi(argv[1])) {
-	case 1:
-		return test_state9_state10_transition();
-	case 2:
-		return test_state1_state2_back_transition();
-	}
-
-	return -1;
-
-}