Add comment

tautschnig · Jun 8, 2024 · e593fe3 · e593fe3
1 parent c7471bd
commit e593fe3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/kani-driver/src/call_cbmc.rs b/kani-driver/src/call_cbmc.rs
@@ -182,6 +182,7 @@ impl KaniSession {
         }
 
         if self.args.checks.unwinding_on() {
+            // TODO: With CBMC v6 the below can be removed as those are defaults.
             args.push("--unwinding-assertions".into());
             args.push("--no-self-loops-to-assumptions".into());
         }