From 7056644bd7d988e626c19841e117ab2798d81ea2 Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Sat, 12 Nov 2022 00:03:02 +0800 Subject: [PATCH] make QC run more tests --- agora-specs/Property/Governor.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/agora-specs/Property/Governor.hs b/agora-specs/Property/Governor.hs index aba21b4..ed6dc40 100644 --- a/agora-specs/Property/Governor.hs +++ b/agora-specs/Property/Governor.hs @@ -291,7 +291,7 @@ props = ] where go :: QuickCheckTests -> QuickCheckTests - go = min 2000 + go = max 20_000 loudEval :: forall (p :: S -> Type).