Skip to content

GitLab

Commit 07b1e19b authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Complete test case

parent fa4b1d1d
Hide whitespace changes
Inline Side-by-side
test/TrafficLight_stm32f407/work/watchdog/SDL/src/watchdog.pr
View file @ 07b1e19b
...@@ -4,16 +4,6 @@ process Watchdog; ...@@ -4,16 +4,6 @@ process Watchdog;
START; START;
/* CIF NEXTSTATE (408, 71), (70, 35) */ /* CIF NEXTSTATE (408, 71), (70, 35) */
NEXTSTATE Off; NEXTSTATE Off;
/* CIF state (809, 55), (70, 35) */
state On, Off;
/* CIF input (805, 110), (77, 35) */
input Kick_WD;
/* CIF PROCEDURECALL (736, 165), (215, 40) */
call Send_to_UART('Initialized
');
/* CIF NEXTSTATE (782, 220), (123, 35) */
NEXTSTATE Running_Ping;
endstate;
/* CIF state (1002, 265), (118, 35) */ /* CIF state (1002, 265), (118, 35) */
state Running_Pong; state Running_Pong;
/* CIF input (1027, 320), (70, 35) */ /* CIF input (1027, 320), (70, 35) */
...@@ -21,24 +11,14 @@ process Watchdog; ...@@ -21,24 +11,14 @@ process Watchdog;
/* CIF PROCEDURECALL (956, 375), (212, 40) */ /* CIF PROCEDURECALL (956, 375), (212, 40) */
call Send_to_UART('Pong call Send_to_UART('Pong
'); ');
/* CIF NEXTSTATE (1005, 435), (112, 35) */ /* CIF NEXTSTATE (1003, 435), (116, 35) */
NEXTSTATE Running_Pong; NEXTSTATE Running_Ping;
endstate;
/* CIF state (789, 264), (118, 35) */
state Running_Ping;
/* CIF input (814, 319), (70, 35) */
input pulse;
/* CIF PROCEDURECALL (742, 374), (212, 40) */
call Send_to_UART('Ping
');
/* CIF NEXTSTATE (792, 434), (112, 35) */
NEXTSTATE Running_Pong;
endstate; endstate;
/* CIF state (591, 43), (70, 35) */ /* CIF state (591, 43), (70, 35) */
state On; state On;
/* CIF input (591, 98), (70, 35) */ /* CIF input (591, 98), (70, 35) */
input pulse; input pulse;
/* CIF PROCEDURECALL (559, 153), (134, 35) */ /* CIF PROCEDURECALL (558, 153), (134, 35) */
call SWitch_Leds_OFF; call SWitch_Leds_OFF;
/* CIF PROCEDURECALL (547, 208), (158, 40) */ /* CIF PROCEDURECALL (547, 208), (158, 40) */
call Send_to_UART('Pong call Send_to_UART('Pong
...@@ -46,6 +26,26 @@ process Watchdog; ...@@ -46,6 +26,26 @@ process Watchdog;
/* CIF NEXTSTATE (591, 268), (70, 35) */ /* CIF NEXTSTATE (591, 268), (70, 35) */
NEXTSTATE Off; NEXTSTATE Off;
endstate; endstate;
/* CIF state (789, 264), (118, 35) */
state Running_Ping;
/* CIF input (814, 319), (70, 35) */
input pulse;
/* CIF PROCEDURECALL (743, 374), (212, 40) */
call Send_to_UART('Ping
');
/* CIF NEXTSTATE (792, 434), (112, 35) */
NEXTSTATE Running_Pong;
endstate;
/* CIF state (809, 55), (70, 35) */
state On, Off;
/* CIF input (804, 110), (77, 35) */
input Kick_WD;
/* CIF PROCEDURECALL (736, 165), (215, 40) */
call Send_to_UART('Initialized
');
/* CIF NEXTSTATE (782, 220), (123, 35) */
NEXTSTATE Running_Ping;
endstate;
/* CIF state (408, 71), (70, 35) */ /* CIF state (408, 71), (70, 35) */
state Off; state Off;
/* CIF input (408, 126), (70, 35) */ /* CIF input (408, 126), (70, 35) */
......
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