From 42a985cb0d10829f88534a9cd08557cfb16ca995 Mon Sep 17 00:00:00 2001
From: billow <billow.fun@gmail.com>
Date: Sat, 1 Jun 2024 06:29:56 +0800
Subject: [PATCH] X

---
 il-tests/src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/il-tests/src/main.rs b/il-tests/src/main.rs
index 86867a9..75467a9 100644
--- 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