Apply suggestions from code review

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
celinval · Aug 13, 2024 · ea91888 · ea91888
1 parent eaf3c68
commit ea91888
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/tests/kani/FunctionContracts/fixme_old_requires_order.rs b/tests/kani/FunctionContracts/fixme_old_requires_order.rs
@@ -13,6 +13,5 @@ pub fn next(mut val: i32) -> i32 {
 
 #[kani::proof_for_contract(next)]
 pub fn check_next() {
-    // let _ = next(kani::any_where(|val: &i32| *val < i32::MAX));
     let _ = next(kani::any());
 }
diff --git a/tests/kani/FunctionContracts/fixme_receiver_contracts.rs b/tests/kani/FunctionContracts/fixme_receiver_contracts.rs
@@ -20,7 +20,7 @@ use std::pin::Pin;
 use std::rc::Rc;
 use std::sync::Arc;
 
-/// Type representing a valid ASCII value going from `0..=128`.
+/// Type representing a valid ASCII value going from `0..128`.
 #[derive(Copy, Clone, PartialEq, Eq)]
 #[rustc_layout_scalar_valid_range_start(0)]
 #[rustc_layout_scalar_valid_range_end(128)]