add the failing test as expected failure

MaximilianAlgehed · MaximilianAlgehed · commit 82aff7728bf8 · 2025-10-16T09:27:00.000+02:00
diff --git a/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs b/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs
@@ -357,4 +357,5 @@ tests =
     , testProperty "moreActions 10 $ prop_Registry" $ moreActions 10 $ prop_Registry
     , testProperty "canRegister" $ propDL canRegister
     , testProperty "canRegisterNoUnregister" $ expectFailure $ propDL canRegisterNoUnregister
+    , testProperty "prop_parRegistryIOSimPor" $ withMaxSuccess 300 $ expectFailure prop_parRegistryIOSimPor
     ]

Original file line number	Diff line number	Diff line change
`@@ -357,4 +357,5 @@ tests =`
`357`	`357`	`, testProperty "moreActions 10 $ prop_Registry" $ moreActions 10 $ prop_Registry`
`358`	`358`	`, testProperty "canRegister" $ propDL canRegister`
`359`	`359`	`, testProperty "canRegisterNoUnregister" $ expectFailure $ propDL canRegisterNoUnregister`
	`360`	`+ , testProperty "prop_parRegistryIOSimPor" $ withMaxSuccess 300 $ expectFailure prop_parRegistryIOSimPor`
`360`	`361`	`]`