Address comments

model-checking · Nov 1, 2024 · 543766a · 543766a
1 parent a850f63
commit 543766a
Showing 1 changed file with 5 additions and 18 deletions.
diff --git a/library/kani_core/src/arbitrary.rs b/library/kani_core/src/arbitrary.rs
@@ -208,7 +208,7 @@ macro_rules! generate_arbitrary {
                 T: Arbitrary,
             {
                 fn any() -> Self {
-                    match u8::any() % 3 {
+                    match u8::any() {
                         0 => Bound::Included(T::any()),
                         1 => Bound::Excluded(T::any()),
                         _ => Bound::Unbounded,
@@ -218,12 +218,10 @@ macro_rules! generate_arbitrary {
 
             impl<T> Arbitrary for Range<T>
             where
-                T: Arbitrary + PartialOrd,
+                T: Arbitrary,
             {
                 fn any() -> Self {
-                    let (mut first, mut second) = (T::any(), T::any());
-                    adjust(&mut first, &mut second);
-                    first..second
+                    T::any()..T::any()
                 }
             }
 
@@ -238,12 +236,10 @@ macro_rules! generate_arbitrary {
 
             impl<T> Arbitrary for RangeInclusive<T>
             where
-                T: Arbitrary + PartialOrd,
+                T: Arbitrary,
             {
                 fn any() -> Self {
-                    let (mut first, mut second) = (T::any(), T::any());
-                    adjust(&mut first, &mut second);
-                    first..=second
+                    T::any()..=T::any()
                 }
             }
 
@@ -264,15 +260,6 @@ macro_rules! generate_arbitrary {
                     ..=T::any()
                 }
             }
-
-            fn adjust<T>(first: &mut T, second: &mut T)
-            where
-                T: PartialOrd,
-            {
-                if first > second {
-                    mem::swap(first, second);
-                }
-            }
         }
     };
 }