begin model shortCircuitBad
| begin input variables
| | a : real;
| | | shortCircuitBad.c 1.13--2.9: "input double a;"
| | b : real;
| | | shortCircuitBad.c 3.13--4.9: "input double b;"
| end input variables;
| begin output variables
| end output variables;
| begin process 0
| | main function : main;
| | begin function main
| | | | shortCircuitBad.c 7.0--7.11: "void main()"
| | | start location : 0;
| | | begin location 0
| | | | kind : CHOICE;
| | | | when (a/b) < (17) && (0) < b goto location 1;
| | | | | shortCircuitBad.c 8.1--8.23: "if (a/b<17.0 && b>0.0)"
| | | | when !((a/b) < (17) && (0) < b) goto location 1;
| | | | | shortCircuitBad.c 8.1--8.23: "if (a/b<17.0 && b>0.0)"
| | | end location 0;
| | | begin location 1
| | | | kind : RETURN;
| | | | return null; goto location 2;
| | | | | shortCircuitBad.c 10.0--10.0: "}"
| | | end location 1;
| | | begin location 2
| | | | kind : TERMINAL;
| | | end location 2;
| | end function main;
| end process 0;
end model shortCircuitBad.
