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: |