From 97e0dfa41a50d9b7af7d1769e2e712625efb3175 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 19 Nov 2025 11:09:58 +0100 Subject: Minor renaming --- pbt/stateful-pbt/test/Exalt/APISpec.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'pbt/stateful-pbt/test/Exalt/APISpec.hs') diff --git a/pbt/stateful-pbt/test/Exalt/APISpec.hs b/pbt/stateful-pbt/test/Exalt/APISpec.hs index dd89f2c..3963108 100644 --- a/pbt/stateful-pbt/test/Exalt/APISpec.hs +++ b/pbt/stateful-pbt/test/Exalt/APISpec.hs @@ -116,7 +116,7 @@ spec = do newBalance `shouldBe` (initialAmount + depositAmount) - prop "can withdraw up-to available balance of any account" $ + prop "can withdraw up-to available balance from any account" $ forAll arbitrary $ \(NonEmpty accounts) -> forAll (elements accounts) $ \(accountNo, initialAmount@(EUR initialValue)) -> forAll (EUR <$> choose (0, initialValue)) $ \withdrawal -> do @@ -127,7 +127,7 @@ spec = do newBalance `shouldBe` (initialAmount - withdrawal) - prop "cannot withdraw more than available balance of any account" $ + prop "cannot withdraw more than available balance from any account" $ forAll arbitrary $ \(NonEmpty accounts) -> forAll (elements accounts) $ \(accountNo, initialAmount@(EUR initialValue)) -> forAll (EUR <$> choose (initialValue + 1, initialValue + 100000)) $ \withdrawal -> do -- cgit v1.3.1