chore: correct the usage of a legacy numeric constant

2024-06-25 09:27:59 +02:00
parent 1e195156d7
commit d99c014bf7
2 changed files with 2 additions and 2 deletions
--- a/crates/aiken-project/src/test_framework.rs
+++ b/crates/aiken-project/src/test_framework.rs
@@ -731,7 +731,7 @@ impl<'a> Counterexample<'a> {
                        let jv = self.choices[j];

                        // Replace
-                        if iv > 0 && jv <= u8::max_value() - iv {
+                        if iv > 0 && jv <= u8::MAX - iv {
                            self.binary_search_replace(0, iv, |v| vec![(i, v), (j, jv + (iv - v))]);
                        }