From 46f15f2a7b860f2cd23c60a37d51a2f6613d927e Mon Sep 17 00:00:00 2001
From: Ludvig Liljenberg <4257730+ludfjig@users.noreply.github.com>
Date: Thu, 8 Oct 2026 11:21:28 -0700
Subject: [PATCH] Run fewer proptest cases to improve testing time

Signed-off-by: Ludvig Liljenberg <4257730+ludfjig@users.noreply.github.com>
---
 src/hyperlight_host/tests/wit_test.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/hyperlight_host/tests/wit_test.rs b/src/hyperlight_host/tests/wit_test.rs
index bc79c95a8..edf354e59 100644
--- a/src/hyperlight_host/tests/wit_test.rs
+++ b/src/hyperlight_host/tests/wit_test.rs
@@ -491,9 +491,13 @@ mod wit_test {
         prop_oneof![Just(EnumA), Just(EnumB), Just(EnumC),]
     }
 
+    /// 32 instead of default 256 to speed up ci
+    const ROUNDTRIP_CASES: u32 = 32;
+
     macro_rules! make_test {
         ($fn:ident, $($ty:tt)*) => {
             proptest! {
+                #![proptest_config(ProptestConfig::with_cases(ROUNDTRIP_CASES))]
                 #[test]
                 fn $fn(x $($ty)*) {
                     assert_eq!(x, sb().roundtrip().$fn(x.clone()).unwrap())