LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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 +  xy, res, i :: int 
-  ​y :: int + 
-  ​res ​:: int +Code:
-  ​+
  
 <​code>​ <​code>​