Commit 55cf44a0 authored by Faezeh KHORRAM's avatar Faezeh KHORRAM 💬
Browse files

update

parent fdbb5e92
......@@ -4,15 +4,9 @@ Package genericTestCases {
Import all from testConfiguration ;
StateMachine stateMachineNewState(_name = "BitShifting");
State S0 (
_name = "S0"
);
State S1 (
_name = "S1"
);
State S2 (
_name = "S2"
);
State S0 (_name = "S0");
State S1 (_name = "S1");
State S2 (_name = "S2");
Test Description bitShiftingTest1 uses configuration genericConfiguration{
tester.genericTestGate sends stateMachineNewState
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment