bump timeout for ryr tests

rfindler · rfindler · commit a1eadef2762c · 2025-12-02T16:34:11.000-06:00
diff --git a/redex-test/redex/tests/ryr-test.rkt b/redex-test/redex/tests/ryr-test.rkt
@@ -51,5 +51,5 @@
 
 (module+ test
   (module config info
-    (define timeout 400)
+    (define timeout 800)
     (define random? #t)))
