Apply suggestions from code review

Co-authored-by: Carolyn Zech <cmzech@amazon.com>
celinval · Nov 15, 2024 · 9b88810 · 9b88810
1 parent 194776d
commit 9b88810
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs b/kani-compiler/src/codegen_cprover_gotoc/compiler_interface.rs
@@ -239,7 +239,7 @@ impl CodegenBackend for GotocCodegenBackend {
 
             // Any changes to queries from this point on is just related to caching information
             // needed for generating code to the given crate.
-            // The cached information mut not outlive the stable-mir `run` scope.
+            // The cached information must not outlive the stable-mir `run` scope.
             // See [QueryDb::kani_functions] for more information.
             let queries = self.queries.lock().unwrap().clone();
 

diff --git a/kani-compiler/src/kani_middle/transform/body.rs b/kani-compiler/src/kani_middle/transform/body.rs
@@ -436,7 +436,7 @@ impl MutableBody {
     }
 }
 
-// TODO: Remove-me
+// TODO: Remove this enum, since we now only support kani's assert.
 #[derive(Clone, Debug)]
 pub enum CheckType {
     /// This is used by default when the `kani` crate is available.