Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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 +  xyres, i :: int
-  ​:: int +
-  ​res :: int+
  
 Code: Code:
 
sav08/symbolic_execution_for_example_integer_program.txt · Last modified: 2008/04/08 16:33 by vkuncak
 
© EPFL 2018 - Legal notice