From b0a4c678220a2a4fc8231af52ed18bb1e39299b6 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).