X

imbillow · May 31, 2024 · 42a985c · 42a985c
1 parent b8b7d8c
commit 42a985c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/il-tests/src/main.rs b/il-tests/src/main.rs
@@ -79,7 +79,7 @@ impl InstructionConstraint {
         let iter = self.0.iter().map(|x| match x {
             BitConstraint::Unrestrained => rng.gen_bool(0.5),
             BitConstraint::Defined(x) => *x,
-            BitConstraint::Restrained => false,
+            BitConstraint::Restrained => unreachable!(),
         });
         let data = BitVec::<u8>::from_iter(iter).as_raw_slice().into();
         data