From 51c65f21621630b0cb9b2b1ec50b243b35239271 Mon Sep 17 00:00:00 2001 From: Maximilian Algehed Date: Mon, 24 Nov 2025 10:37:17 +0100 Subject: [PATCH 1/3] avoid false positives --- quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs b/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs index 5c29b1e..4b4661b 100644 --- a/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs +++ b/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs @@ -354,5 +354,5 @@ tests = , testProperty "moreActions 10 $ prop_Registry" $ moreActions 10 $ prop_Registry , testProperty "canRegister" $ propDL canRegister , testProperty "canRegisterNoUnregister" $ expectFailure $ propDL canRegisterNoUnregister - , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 1000 $ discardAfter 1000 $ prop_parRegistryIOSimPor + , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 10000 $ discardAfter 1000 $ prop_parRegistryIOSimPor ] From 78cc2484392d8aba8684d9c91cca1dee8edc1e44 Mon Sep 17 00:00:00 2001 From: Maximilian Algehed Date: Mon, 24 Nov 2025 10:48:18 +0100 Subject: [PATCH 2/3] fix long running test --- quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs b/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs index aefd5d8..bca57e5 100644 --- a/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs +++ b/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs @@ -44,7 +44,7 @@ tests = prop_longSequences , testProperty "IOSimPor finds counterexample in parallel counters" - $ expectFailure prop_counter_parIOSimPor + $ expectFailure $ discardAfter 1000 $ prop_counter_parIOSimPor ] captureTerminal :: Testable p => p -> IO Result From d08e92133831249e3110051c747539ea5bb2a3fe Mon Sep 17 00:00:00 2001 From: Maximilian Algehed Date: Mon, 24 Nov 2025 10:49:26 +0100 Subject: [PATCH 3/3] more tests --- quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs b/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs index bca57e5..34eacf2 100644 --- a/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs +++ b/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs @@ -44,7 +44,7 @@ tests = prop_longSequences , testProperty "IOSimPor finds counterexample in parallel counters" - $ expectFailure $ discardAfter 1000 $ prop_counter_parIOSimPor + $ expectFailure $ withMaxSuccess 10000 $ discardAfter 1000 $ prop_counter_parIOSimPor ] captureTerminal :: Testable p => p -> IO Result