Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:symbolic_execution_for_example_integer_program [2008/04/08 16:32] vkuncak |
sav08:symbolic_execution_for_example_integer_program [2008/04/08 16:33] (current) vkuncak |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| State variables: | State variables: | ||
| - | x :: int | + | x, y, res, i :: int |
| - | y :: int | + | |
| - | res :: int | + | |
| Code: | Code: | ||