more sane!

MaximilianAlgehed · MaximilianAlgehed · commit 82298360a638 · 2025-11-12T10:47:33.000+01:00
diff --git a/cabal.project b/cabal.project
@@ -4,3 +4,16 @@ packages:
 tests: true
 
 test-show-details: direct
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/io-sim
+  subdir: io-sim
+  tag: 5683864d3c7300f9ee4a3430b4a590bb130cb88a
+
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/io-sim
+  subdir: io-classes
+  tag: 5683864d3c7300f9ee4a3430b4a590bb130cb88a
diff --git 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 50000 $ prop_parRegistryIOSimPor
+    , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 1000 $ discardAfter 1000 $ prop_parRegistryIOSimPor
     ]

Original file line number	Diff line number	Diff line change
`@@ -354,5 +354,5 @@ tests =`
`354`	`354`	`, testProperty "moreActions 10 $ prop_Registry" $ moreActions 10 $ prop_Registry`
`355`	`355`	`, testProperty "canRegister" $ propDL canRegister`
`356`	`356`	`, testProperty "canRegisterNoUnregister" $ expectFailure $ propDL canRegisterNoUnregister`
`357`		`- , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 1000 $ discardAfter 50000 $ prop_parRegistryIOSimPor`
	`357`	`+ , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 1000 $ discardAfter 1000 $ prop_parRegistryIOSimPor`
`358`	`358`	`]`