begin model impl
| begin input variables
| | tol : real;
| | | fib_implBad.c 1.13--2.11: "input double tol;"
| end input variables;
| begin output variables
| | phi : real;
| | | fib_implBad.c 3.13--4.11: "output double phi;"
| end output variables;
| begin process 0
| | main function : main;
| | begin function main
| | | | fib_implBad.c 6.0--6.11: "void main()"
| | | begin proper local variables
| | | | j : real = 1;
| | | | | fib_implBad.c 7.1--7.14: "double j=1.0;"
| | | | k : real = 1;
| | | | | fib_implBad.c 8.1--8.14: "double k=1.0;"
| | | | err : real = tol;
| | | | | fib_implBad.c 9.1--9.16: "double err=tol;"
| | | | p : real = 0;
| | | | | fib_implBad.c 10.1--10.14: "double p=0.0;"
| | | end proper local variables;
| | | start location : 0;
| | | begin location 0
| | | | kind : CHOICE;
| | | | label : l;
| | | | (((((err==err) && (p==p)) && (j==j)) && (real)0 < j) && (k==k)) && (real)0 < k : (((((err==err) && (p==p)) && (j==j)) && (real)0 < j) && (k==k)) && (real)0 < k;
| | | | when tol <= err goto location 1;
| | | | | fib_implBad.c 14.1--14.17: "while (err>=tol)"
| | | | when !tol <= err goto location 5;
| | | | | fib_implBad.c 14.1--14.17: "while (err>=tol)"
| | | end location 0;
| | | begin location 1
| | | | kind : ASSIGNMENT;
| | | | k = j+k; goto location 2;
| | | | | fib_implBad.c 15.2--15.8: "k=j+k;"
| | | end location 1;
| | | begin location 2
| | | | kind : ASSIGNMENT;
| | | | j = k-j; goto location 3;
| | | | | fib_implBad.c 16.2--16.8: "j=k-j;"
| | | end location 2;
| | | begin location 3
| | | | kind : ASSIGNMENT;
| | | | err = (k/j)-p; goto location 4;
| | | | | fib_implBad.c 17.2--17.12: "err=k/j-p;"
| | | end location 3;
| | | begin location 4
| | | | kind : ASSIGNMENT;
| | | | p = err+p; goto location 0;
| | | | | fib_implBad.c 18.2--18.10: "p=err+p;"
| | | end location 4;
| | | begin location 5
| | | | kind : ASSIGNMENT;
| | | | phi = p; goto location 6;
| | | | | fib_implBad.c 20.1--20.7: "phi=p;"
| | | end location 5;
| | | begin location 6
| | | | kind : RETURN;
| | | | return null; goto location 7;
| | | | | fib_implBad.c 21.0--21.0: "}"
| | | end location 6;
| | | begin location 7
| | | | kind : TERMINAL;
| | | end location 7;
| | end function main;
| end process 0;
end model impl.
