From 9958c7e5fd964a0a29593f913d81c1decffb8305 Mon Sep 17 00:00:00 2001 From: Carolyn Zech Date: Thu, 19 Dec 2024 12:26:45 -0500 Subject: [PATCH] put comment back --- library/core/src/num/mod.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/library/core/src/num/mod.rs b/library/core/src/num/mod.rs index f9f290c51a58a..a561eb3f9375b 100644 --- a/library/core/src/num/mod.rs +++ b/library/core/src/num/mod.rs @@ -2049,6 +2049,7 @@ mod verify { ); // ====================== u16 Harnesses ====================== + /// Kani proof harness for `carrying_mul` on `u16` type with full range of values. generate_carrying_mul_intervals!(u16, u32, carrying_mul_u16_full_range, 0u16, u16::MAX );