add discardAfter to avoid very long traces

MaximilianAlgehed · MaximilianAlgehed · commit ee26c95597e7 · 2025-10-16T14:17:16.000+02:00
diff --git a/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs b/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs
@@ -347,5 +347,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 $ prop_parRegistryIOSimPor
+    , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 1000 $ discardAfter 50000 $ prop_parRegistryIOSimPor
     ]

Original file line number	Diff line number	Diff line change
`@@ -347,5 +347,5 @@ tests =`
`347`	`347`	`, testProperty "moreActions 10 $ prop_Registry" $ moreActions 10 $ prop_Registry`
`348`	`348`	`, testProperty "canRegister" $ propDL canRegister`
`349`	`349`	`, testProperty "canRegisterNoUnregister" $ expectFailure $ propDL canRegisterNoUnregister`
`350`		`- , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 1000 $ prop_parRegistryIOSimPor`
	`350`	`+ , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 1000 $ discardAfter 50000 $ prop_parRegistryIOSimPor`
`351`	`351`	`]`