diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-19 11:09:58 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-19 11:09:58 +0100 |
| commit | 97e0dfa41a50d9b7af7d1769e2e712625efb3175 (patch) | |
| tree | 24943da557683a2b051a3ee8d77b8c7227556ed4 /pbt/stateful-pbt/test/Exalt | |
| parent | db9f7410a4b1024528f1c72f5dccc58187579a47 (diff) | |
| download | lambda-nantes-97e0dfa41a50d9b7af7d1769e2e712625efb3175.tar.gz | |
Minor renaming
Diffstat (limited to 'pbt/stateful-pbt/test/Exalt')
| -rw-r--r-- | pbt/stateful-pbt/test/Exalt/APISpec.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |