Merge pull request #7435 from remi-delmas-3000/fix-verbosity

jimgrundy · web-flow · commit 5c5e43ecde08 · 2022-12-13T15:43:13.000-06:00
CONTRACTS: remove leftover debug print
diff --git a/src/goto-instrument/contracts/dynamic-frames/dfcc_lift_memory_predicates.cpp b/src/goto-instrument/contracts/dynamic-frames/dfcc_lift_memory_predicates.cpp
@@ -357,10 +357,6 @@ void dfcc_lift_memory_predicatest::lift_parameters_and_update_body(
       }
     }
   }
-  for(auto instruction : body.instructions)
-  {
-    instruction.output(log.debug());
-  }
 }
 
 void dfcc_lift_memory_predicatest::lift_predicate(

Original file line number	Diff line number	Diff line change
`@@ -357,10 +357,6 @@ void dfcc_lift_memory_predicatest::lift_parameters_and_update_body(`
`357`	`357`	`}`
`358`	`358`	`}`
`359`	`359`	`}`
`360`		`- for(auto instruction : body.instructions)`
`361`		`- {`
`362`		`- instruction.output(log.debug());`
`363`		`- }`
`364`	`360`	`}`
`365`	`361`
`366`	`362`	`void dfcc_lift_memory_predicatest::lift_predicate(`