diff --git a/examples/reduce/src/lib.rs b/examples/reduce/src/lib.rs
index 84ad6f6e..4ecf45c8 100644
--- a/examples/reduce/src/lib.rs
+++ b/examples/reduce/src/lib.rs
@@ -16,7 +16,20 @@ mod tests {
 
     #[test]
     fn test_branches() {
-        bolero::check!().with_type::<u64>().cloned().for_each(|x: u64| { branches(x); });
+        bolero::check!()
+            .with_type::<u64>()
+            .cloned()
+            .for_each(|x: u64| {
+                let result = branches(x);
+                if x % 3 == 0 {
+                    assert_eq!(result, 0);
+                } else if x % 5 == 0 {
+                    assert_eq!(result, 1);
+                } else if x % 7 == 0 {
+                    assert_eq!(result, 2);
+                } else {
+                    assert_eq!(result, x);
+                }
+            });
     }
 }
-