Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
sav08:symbolic_execution_for_example_integer_program [2008/04/08 16:31] vkuncak created |
sav08:symbolic_execution_for_example_integer_program [2008/04/08 16:33] vkuncak |
||
---|---|---|---|
Line 2: | Line 2: | ||
State variables: | State variables: | ||
- | x :: int | + | x, y, res, i :: int |
- | y :: int | + | |
- | res :: int | + | Code: |
- | | + | |
<code> | <code> |