Differences
This shows you the differences between two versions of the page.
| Last revision Both sides next 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:32] vkuncak |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| y :: int | y :: int | ||
| res :: int | res :: int | ||
| - | | + | |
| + | Code: | ||
| <code> | <code> | ||