add comment

model-checking · Jul 28, 2023 · f99284e · f99284e
1 parent aece576
commit f99284e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/kani-driver/src/cbmc_output_parser.rs b/kani-driver/src/cbmc_output_parser.rs
@@ -102,6 +102,7 @@ impl Property {
  self.property_id.class.clone()
  }
 
+ // Returns true if this is a code_coverage check
  pub fn is_code_coverage_property(&self) -> bool {
  self.property_id.class == Self::COVERAGE_PROPERTY_CLASS
  }