User Tools

Site Tools


how_to_use_incremental_unwinding

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
how_to_use_incremental_unwinding [2014/08/25 16:10]
schram
how_to_use_incremental_unwinding [2014/09/30 22:36] (current)
schram
Line 83: Line 83:
 Step case: Step case:
 <​code>​ <​code>​
-do_not_initialize();+initialize();​ 
 +havoc_variables_modified_in_the_loop();
 while(...) { while(...) {
   __CPROVER_assume(property);​   __CPROVER_assume(property);​
how_to_use_incremental_unwinding.txt · Last modified: 2014/09/30 22:36 by schram