Commit f37272a2 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Deleted old file

parent bb02ecaf
/* CIF PROCESS (200, 143), (150, 75) */
PROCESS myfunction;
/* CIF TEXT (36, 43), (360, 41) */
-- Test the branch coverage checker in decision answers
/* CIF ENDTEXT */
/* CIF TEXT (0, 142), (282, 128) */
dcl var1 t_Int32 := 0;
dcl var2 t_uint8 := 0;
dcl var3 t_uInt8 := 0;
/* CIF ENDTEXT */
/* CIF START (243, 292), (70, 35) */
START;
/* CIF DECISION (243, 342), (70, 50) */
DECISION var1
/* CIF COMMENT (333, 349), (191, 35) */
COMMENT 'Check range overlapping';
/* CIF ANSWER (95, 412), (90, 24) */
(-500:500):
/* CIF ANSWER (198, 412), (70, 24) */
(=0):
/* CIF ANSWER (288, 412), (70, 24) */
(/=1):
/* CIF ANSWER (378, 412), (70, 24) */
(>0):
ENDDECISION;
/* CIF DECISION (243, 475), (70, 50) */
DECISION var2
/* CIF COMMENT (333, 482), (241, 35) */
COMMENT 'Check unreachable branch check';
/* CIF ANSWER (114, 545), (53, 33) */
(<0):
/* CIF ANSWER (196, 545), (68, 33) */
(>300):
/* CIF ANSWER (286, 545), (72, 33) */
(-10:-5):
/* CIF ANSWER (368, 545), (86, 24) */
(256:300):
ENDDECISION;
/* CIF DECISION (242, 621), (71, 50) */
DECISION var3;
/* CIF ANSWER (195, 691), (71, 24) */
(10:20):
/* CIF ANSWER (288, 691), (70, 24) */
(/=50):
ENDDECISION;
/* CIF NEXTSTATE (243, 740), (70, 35) */
NEXTSTATE wait;
/* CIF STATE (868, 313), (70, 35) */
STATE wait;
ENDSTATE;
ENDPROCESS myfunction;
\ No newline at end of file
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