Commit b7e69817 authored by Faezeh KHORRAM's avatar Faezeh KHORRAM 💬
Browse files

Update genericTestCases.tdlan2

parent cb90f0e1
......@@ -20,7 +20,7 @@ Package genericTestCases {
tester.genericTestGate sends runModel to fsm.genericMUTGate;
tester.genericTestGate sends getModelState to fsm.genericMUTGate;
fsm.genericMUTGate sends stateMachineNewState
(currentState = S1 ,
(currentState = S2 ,
unprocessedString = "",
consumedString = "000101010",
producedString = "000010101") to tester.genericTestGate;
......
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