Fix Prism QuickCheck ContractModel failing test case
koslambrou opened this issue · comments
Summary
The “Quickcheck ContractModel” test case of Spec.Prism fails.
There might be other failing test scenarios, but here’s how to reproduce the problem.
Steps to reproduce the behavior
Use the following test case:
tests :: TestTree
tests =
testGroup "sealed bid auction"
[
testProperty "QuickCheck property" $ withMaxSuccess 1 $ forAllDL fixedTestCase prop_Prism
]
where
fixedTestCase = do
action $ Issue w4
action $ Call w4
action $ Call w4
action $ Call w4
action $ Call w4
action $ Call w4
action $ Call w4
action $ Call w4
action $ Call w4
action $ Call w4
action $ Call w4
action $ Call w4
Actual Result
PRISM
withdraw: OK (1.83s)
QuickCheck property: Expected funds of W[4] to change by
SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-110000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",110000000)])])}
but they changed by
SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-100000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",100000000)])])}
a discrepancy of
SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",10000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",-10000000)])])}
Expected funds of W[3] to change by
SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",110000000)])])}
but they changed by
SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",100000000)])])}
a discrepancy of
SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-10000000)])])}
Test failed.
Emulator log:
[INFO] Slot 0: TxnValidate b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7
[INFO] Slot 1: 00000000-0000-4000-8000-000000000000 {Wallet W[2]}:
Contract instance started
[INFO] Slot 1: 00000000-0000-4000-8000-000000000000 {Wallet W[2]}:
Contract log: String "mirror started"
[INFO] Slot 1: 00000000-0000-4000-8000-000000000001 {Wallet W[1]}:
Contract instance started
[INFO] Slot 1: 00000000-0000-4000-8000-000000000000 {Wallet W[2]}:
Contract log: String "waiting for 'issue' call"
[INFO] Slot 1: 00000000-0000-4000-8000-000000000002 {Wallet W[4]}:
Contract instance started
[INFO] Slot 2: 00000000-0000-4000-8000-000000000000 {Wallet W[2]}:
Receive endpoint call on 'issue' for Object (fromList [("contents",Array [Object (fromList [("getEndpointDescription",String "issue")]),Object (fromList [("unEndpointValue",Object (fromList [("coOwner",Object (fromList [("getWalletId",String "5f5a4f5f465580a5500b9a9cede7f4e014a37ea8"),("pretty
WalletName",String "4")])),("coTokenName",Object (fromList [("unTokenName",String "KYC")]))]))])]),("tag",String "ExposeEndpointResp")])
[INFO] Slot 2: 00000000-0000-4000-8000-000000000000 {Wallet W[2]}:
Contract log: String "Endpoint 'issue' called"
[INFO] Slot 2: W[2]: Balancing an unbalanced transaction:
Tx:
Tx 0142e140f1b1abbfa27a9ae6d4a2777c05d3c2de548d88653dfa34b04874102d:
{inputs:
reference inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",857690)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script
mint: Value (Map [(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])])
fee: Value (Map [])
mps:
( e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b
, <> )
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
attached scripts:
e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b}
Requires signatures:
80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7
Utxo index:
[INFO] Slot 2: W[2]: Finished balancing:
Tx 037b4c903a3844f5f565d9510ed541dea00c45d29cd4bcfe7e275f9e7174affe:
{inputs:
- b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!20
reference inputs:
collateral inputs:
- b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!20
outputs:
- Value (Map [(,Map [("",857690)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script
- Value (Map [(,Map [("",9999999998831999)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script
mint: Value (Map [(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])])
fee: Value (Map [(,Map [("",310311)])])
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
redeemers:}
[INFO] Slot 2: W[2]: Signing tx: 037b4c903a3844f5f565d9510ed541dea00c45d29cd4bcfe7e275f9e7174affe
[INFO] Slot 2: W[2]: Submitting tx: 037b4c903a3844f5f565d9510ed541dea00c45d29cd4bcfe7e275f9e7174affe
[INFO] Slot 2: W[2]: TxSubmit: 037b4c903a3844f5f565d9510ed541dea00c45d29cd4bcfe7e275f9e7174affe
[INFO] Slot 2: TxnValidate 037b4c903a3844f5f565d9510ed541dea00c45d29cd4bcfe7e275f9e7174affe
[WARNING] Slot 3: 00000000-0000-4000-8000-000000000000 {Wallet W[2]}:
Contract log: String "Plutus.Contract.StateMachine.runInitialise: Found a transaction output value with less than the minimum amount of Ada. Adjusting ..."
[INFO] Slot 3: W[2]: Balancing an unbalanced transaction:
Tx:
Tx 9d2a9a872117157b37d0b231035fc69a348ec9226496b18d3f43e454b523332b:
{inputs:
reference inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script
mint: Value (Map [])
fee: Value (Map [])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
( 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
, <> )}
Requires signatures:
Utxo index:
( 037b4c903a3844f5f565d9510ed541dea00c45d29cd4bcfe7e275f9e7174affe!0
, - Value (Map [(,Map [("",857690)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
( 037b4c903a3844f5f565d9510ed541dea00c45d29cd4bcfe7e275f9e7174affe!1
, - Value (Map [(,Map [("",9999999998831999)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
( b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!21
, - Value (Map [(,Map [("",10000000000000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
( b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!22
, - Value (Map [(,Map [("",10000000000000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
( b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!23
, - Value (Map [(,Map [("",10000000000000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
( b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!24
, - Value (Map [(,Map [("",10000000000000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
( b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!25
, - Value (Map [(,Map [("",10000000000000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
( b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!26
, - Value (Map [(,Map [("",10000000000000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
( b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!27
, - Value (Map [(,Map [("",10000000000000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
( b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!28
, - Value (Map [(,Map [("",10000000000000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
( b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!29
, - Value (Map [(,Map [("",10000000000000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script )
[INFO] Slot 3: W[2]: Finished balancing:
Tx ed27f01a0efc0300312f05b9c292595d12f6064503247310fcdc69ceab4ba489:
{inputs:
- 037b4c903a3844f5f565d9510ed541dea00c45d29cd4bcfe7e275f9e7174affe!0
- 037b4c903a3844f5f565d9510ed541dea00c45d29cd4bcfe7e275f9e7174affe!1
reference inputs:
collateral inputs:
- 037b4c903a3844f5f565d9510ed541dea00c45d29cd4bcfe7e275f9e7174affe!0
outputs:
- Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script
- Value (Map [(,Map [("",9999999998325824)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
with no datum
and with no reference script
mint: Value (Map [])
fee: Value (Map [(,Map [("",182925)])])
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
( 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
, <> )
redeemers:}
[INFO] Slot 3: W[2]: Signing tx: ed27f01a0efc0300312f05b9c292595d12f6064503247310fcdc69ceab4ba489
[INFO] Slot 3: W[2]: Submitting tx: ed27f01a0efc0300312f05b9c292595d12f6064503247310fcdc69ceab4ba489
[INFO] Slot 3: W[2]: TxSubmit: ed27f01a0efc0300312f05b9c292595d12f6064503247310fcdc69ceab4ba489
[INFO] Slot 3: TxnValidate ed27f01a0efc0300312f05b9c292595d12f6064503247310fcdc69ceab4ba489
[INFO] Slot 4: 00000000-0000-4000-8000-000000000000 {Wallet W[2]}:
Contract log: String "waiting for 'issue' call"
[INFO] Slot 11: 00000000-0000-4000-8000-000000000002 {Wallet W[4]}:
Receive endpoint call on 'sto' for Object (fromList [("contents",Array [Object (fromList [("getEndpointDescription",String "sto")]),Object (fromList [("unEndpointValue",Object (fromList [("wCredential",Object (fromList [("credAuthority",Object (fromList [("unCredentialAuthority",Object (fromL
ist [("unPaymentPubKeyHash",Object (fromList [("getPubKeyHash",String "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7")]))]))])),("credName",Object (fromList [("unTokenName",String "KYC")]))])),("wSTOAmount",Number 1.0e7),("wSTOIssuer",Object (fromList [("unPaymentPubKeyHash",Object (fromList [("getP
ubKeyHash",String "2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c")]))])),("wSTOTokenName",Object (fromList [("unTokenName",String "STO token")]))]))])]),("tag",String "ExposeEndpointResp")])
[INFO] Slot 11: W[4]: Balancing an unbalanced transaction:
Tx:
Tx 0d3cfe860493c26fd187a6b263cf96caef3d3a44eaa1912f0e5f3e7d0ab293d9:
{inputs:
- ed27f01a0efc0300312f05b9c292595d12f6064503247310fcdc69ceab4ba489!0
<>
reference inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",10000000)])]) addressed to
PubKeyCredential: 2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c (no staking credential)
with no datum
and with no reference script
- Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script
mint: Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])])
fee: Value (Map [])
mps:
( a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37
, <> )
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
( 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
, <> )
attached scripts:
a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37
d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb}
Requires signatures:
557d23c0a533b4d295ac2dc14b783a7efc293bc23ede88a6fefd203d
Utxo index:
( ed27f01a0efc0300312f05b9c292595d12f6064503247310fcdc69ceab4ba489!0
, - Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script )
[INFO] Slot 11: W[4]: Finished balancing:
Tx a0398a4be473888ec9eb4b192960d49f058b7033542bd68435022381e7d406bd:
{inputs:
- b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!10
- ed27f01a0efc0300312f05b9c292595d12f6064503247310fcdc69ceab4ba489!0
reference inputs:
collateral inputs:
- b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!10
outputs:
- Value (Map [(,Map [("",10000000)])]) addressed to
PubKeyCredential: 2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c (no staking credential)
with no datum
and with no reference script
- Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script
- Value (Map [(,Map [("",9999999989099803)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])]) addressed to
PubKeyCredential: 557d23c0a533b4d295ac2dc14b783a7efc293bc23ede88a6fefd203d (no staking credential)
with no datum
and with no reference script
mint: Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])])
fee: Value (Map [(,Map [("",900197)])])
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
( 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
, <> )
redeemers:}
[INFO] Slot 11: W[4]: Signing tx: a0398a4be473888ec9eb4b192960d49f058b7033542bd68435022381e7d406bd
[INFO] Slot 11: W[4]: Submitting tx: a0398a4be473888ec9eb4b192960d49f058b7033542bd68435022381e7d406bd
[INFO] Slot 11: W[4]: TxSubmit: a0398a4be473888ec9eb4b192960d49f058b7033542bd68435022381e7d406bd
[INFO] Slot 11: TxnValidate a0398a4be473888ec9eb4b192960d49f058b7033542bd68435022381e7d406bd
[INFO] Slot 20: 00000000-0000-4000-8000-000000000002 {Wallet W[4]}:
Receive endpoint call on 'sto' for Object (fromList [("contents",Array [Object (fromList [("getEndpointDescription",String "sto")]),Object (fromList [("unEndpointValue",Object (fromList [("wCredential",Object (fromList [("credAuthority",Object (fromList [("unCredentialAuthority",Object (fromL
ist [("unPaymentPubKeyHash",Object (fromList [("getPubKeyHash",String "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7")]))]))])),("credName",Object (fromList [("unTokenName",String "KYC")]))])),("wSTOAmount",Number 1.0e7),("wSTOIssuer",Object (fromList [("unPaymentPubKeyHash",Object (fromList [("getP
ubKeyHash",String "2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c")]))])),("wSTOTokenName",Object (fromList [("unTokenName",String "STO token")]))]))])]),("tag",String "ExposeEndpointResp")])
(MORE SIMILAR LOGS HERE)
[INFO] Slot 83: 00000000-0000-4000-8000-000000000002 {Wallet W[4]}:
Receive endpoint call on 'sto' for Object (fromList [("contents",Array [Object (fromList [("getEndpointDescription",String "sto")]),Object (fromList [("unEndpointValue",Object (fromList [("wCredential",Object (fromList [("credAuthority",Object (fromList [("unCredentialAuthority",Object (fromL
ist [("unPaymentPubKeyHash",Object (fromList [("getPubKeyHash",String "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7")]))]))])),("credName",Object (fromList [("unTokenName",String "KYC")]))])),("wSTOAmount",Number 1.0e7),("wSTOIssuer",Object (fromList [("unPaymentPubKeyHash",Object (fromList [("getP
ubKeyHash",String "2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c")]))])),("wSTOTokenName",Object (fromList [("unTokenName",String "STO token")]))]))])]),("tag",String "ExposeEndpointResp")])
[INFO] Slot 83: W[4]: Balancing an unbalanced transaction:
Tx:
Tx 37b662b84d1cb3cfc72d22e2b5fb14b0719a29ff43756547e759c4333d189775:
{inputs:
- b83d0ee24c2805780f349f71dc4a5745a5d8c356a8fb07c91c45802080694e86!1
<>
reference inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",10000000)])]) addressed to
PubKeyCredential: 2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c (no staking credential)
with no datum
and with no reference script
- Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script
mint: Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])])
fee: Value (Map [])
mps:
( a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37
, <> )
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
( 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
, <> )
attached scripts:
a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37
d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb}
Requires signatures:
557d23c0a533b4d295ac2dc14b783a7efc293bc23ede88a6fefd203d
Utxo index:
( b83d0ee24c2805780f349f71dc4a5745a5d8c356a8fb07c91c45802080694e86!1
, - Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script )
[INFO] Slot 83: W[4]: Finished balancing:
Tx 09c94f8d5b0e00b08f95a96418e95eb8016396461cdd4fc6402c41a8d04938a0:
{inputs:
- b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!18
- b83d0ee24c2805780f349f71dc4a5745a5d8c356a8fb07c91c45802080694e86!1
reference inputs:
collateral inputs:
- b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!18
outputs:
- Value (Map [(,Map [("",10000000)])]) addressed to
PubKeyCredential: 2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c (no staking credential)
with no datum
and with no reference script
- Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script
- Value (Map [(,Map [("",9999999989099803)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])]) addressed to
PubKeyCredential: 557d23c0a533b4d295ac2dc14b783a7efc293bc23ede88a6fefd203d (no staking credential)
with no datum
and with no reference script
mint: Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])])
fee: Value (Map [(,Map [("",900197)])])
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
( 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
, <> )
redeemers:}
[INFO] Slot 83: W[4]: Signing tx: 09c94f8d5b0e00b08f95a96418e95eb8016396461cdd4fc6402c41a8d04938a0
[INFO] Slot 83: W[4]: Submitting tx: 09c94f8d5b0e00b08f95a96418e95eb8016396461cdd4fc6402c41a8d04938a0
[INFO] Slot 83: W[4]: TxSubmit: 09c94f8d5b0e00b08f95a96418e95eb8016396461cdd4fc6402c41a8d04938a0
[INFO] Slot 83: TxnValidate 09c94f8d5b0e00b08f95a96418e95eb8016396461cdd4fc6402c41a8d04938a0
[INFO] Slot 92: 00000000-0000-4000-8000-000000000002 {Wallet W[4]}:
Receive endpoint call on 'sto' for Object (fromList [("contents",Array [Object (fromList [("getEndpointDescription",String "sto")]),Object (fromList [("unEndpointValue",Object (fromList [("wCredential",Object (fromList [("credAuthority",Object (fromList [("unCredentialAuthority",Object (fromL
ist [("unPaymentPubKeyHash",Object (fromList [("getPubKeyHash",String "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7")]))]))])),("credName",Object (fromList [("unTokenName",String "KYC")]))])),("wSTOAmount",Number 1.0e7),("wSTOIssuer",Object (fromList [("unPaymentPubKeyHash",Object (fromList [("getP
ubKeyHash",String "2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c")]))])),("wSTOTokenName",Object (fromList [("unTokenName",String "STO token")]))]))])]),("tag",String "ExposeEndpointResp")])
[INFO] Slot 92: W[4]: Balancing an unbalanced transaction:
Tx:
Tx 746f0501ac1f455c42da27b1f6997b8f00e43a140c5fdda57909602e503bd3b7:
{inputs:
- 09c94f8d5b0e00b08f95a96418e95eb8016396461cdd4fc6402c41a8d04938a0!1
<>
reference inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",10000000)])]) addressed to
PubKeyCredential: 2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c (no staking credential)
with no datum
and with no reference script
- Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script
mint: Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])])
fee: Value (Map [])
mps:
( a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37
, <> )
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
( 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
, <> )
attached scripts:
a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37
d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb}
Requires signatures:
557d23c0a533b4d295ac2dc14b783a7efc293bc23ede88a6fefd203d
Utxo index:
( 09c94f8d5b0e00b08f95a96418e95eb8016396461cdd4fc6402c41a8d04938a0!1
, - Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script )
[INFO] Slot 92: W[4]: Finished balancing:
Tx 8a6f7886dcc55715b51ffcd1fba2f5b17107ce5a574e154d1b175ad2a9e16d09:
{inputs:
- 09c94f8d5b0e00b08f95a96418e95eb8016396461cdd4fc6402c41a8d04938a0!1
- b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!19
reference inputs:
collateral inputs:
- b45418acc3c57e0ce8e9f5426ad598dc726b929ded29efffcc40a1b0589ebca7!19
outputs:
- Value (Map [(,Map [("",10000000)])]) addressed to
PubKeyCredential: 2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c (no staking credential)
with no datum
and with no reference script
- Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script
- Value (Map [(,Map [("",9999999989103865)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])]) addressed to
PubKeyCredential: 557d23c0a533b4d295ac2dc14b783a7efc293bc23ede88a6fefd203d (no staking credential)
with no datum
and with no reference script
mint: Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])])
fee: Value (Map [(,Map [("",896135)])])
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
( 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
, <> )
redeemers:}
[INFO] Slot 92: W[4]: Signing tx: 8a6f7886dcc55715b51ffcd1fba2f5b17107ce5a574e154d1b175ad2a9e16d09
[INFO] Slot 92: W[4]: Submitting tx: 8a6f7886dcc55715b51ffcd1fba2f5b17107ce5a574e154d1b175ad2a9e16d09
[INFO] Slot 92: W[4]: TxSubmit: 8a6f7886dcc55715b51ffcd1fba2f5b17107ce5a574e154d1b175ad2a9e16d09
[INFO] Slot 92: TxnValidate 8a6f7886dcc55715b51ffcd1fba2f5b17107ce5a574e154d1b175ad2a9e16d09
[INFO] Slot 101: 00000000-0000-4000-8000-000000000002 {Wallet W[4]}:
Receive endpoint call on 'sto' for Object (fromList [("contents",Array [Object (fromList [("getEndpointDescription",String "sto")]),Object (fromList [("unEndpointValue",Object (fromList [("wCredential",Object (fromList [("credAuthority",Object (fromList [("unCredentialAuthority",Object (from
List [("unPaymentPubKeyHash",Object (fromList [("getPubKeyHash",String "80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7")]))]))])),("credName",Object (fromList [("unTokenName",String "KYC")]))])),("wSTOAmount",Number 1.0e7),("wSTOIssuer",Object (fromList [("unPaymentPubKeyHash",Object (fromList [("get
PubKeyHash",String "2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c")]))])),("wSTOTokenName",Object (fromList [("unTokenName",String "STO token")]))]))])]),("tag",String "ExposeEndpointResp")])
[INFO] Slot 101: W[4]: Balancing an unbalanced transaction:
Tx:
Tx 4654818f0e5c83a87cebc3c0d37f7356be96664bb41d556df9351356050e796f:
{inputs:
- 8a6f7886dcc55715b51ffcd1fba2f5b17107ce5a574e154d1b175ad2a9e16d09!1
<>
reference inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",10000000)])]) addressed to
PubKeyCredential: 2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c (no staking credential)
with no datum
and with no reference script
- Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script
mint: Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])])
fee: Value (Map [])
mps:
( a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37
, <> )
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
( 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
, <> )
attached scripts:
a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37
d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb}
Requires signatures:
557d23c0a533b4d295ac2dc14b783a7efc293bc23ede88a6fefd203d
Utxo index:
( 8a6f7886dcc55715b51ffcd1fba2f5b17107ce5a574e154d1b175ad2a9e16d09!1
, - Value (Map [(,Map [("",1180940)]),(e6a7105e5f382472b3a3ee07efd441aba67817d94c612c0ba240252b,Map [("KYC",1)])]) addressed to
ScriptCredential: d8f02fab69648d77a5a349cd7049e0342dc0f82e1405822e307f77cb (no staking credential)
with datum hash 923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec
and with no reference script )
[INFO] Slot 110: 00000000-0000-4000-8000-000000000003 {supercalifragilisticexpialidocious}:
Contract instance started
[INFO] Slot 110: 00000000-0000-4000-8000-000000000003 {supercalifragilisticexpialidocious}:
Receive endpoint call on 'register-token-env' for Object (fromList [("contents",Array [Object (fromList [("getEndpointDescription",String "register-token-env")]),Object (fromList [("unEndpointValue",Object (fromList [("0",Object (fromList [])),("1",Object (fromList [])),("10",Object (fromLis
t [])),("11",Object (fromList [])),("2",Object (fromList [])),("3",Object (fromList [])),("4",Object (fromList [])),("5",Object (fromList [])),("6",Object (fromList [])),("7",Object (fromList [])),("8",Object (fromList [])),("9",Object (fromList []))]))])]),("tag",String "ExposeEndpointResp")])
[INFO] Slot 110: 00000000-0000-4000-8000-000000000003 {supercalifragilisticexpialidocious}:
Contract instance stopped (no errors)
FAIL (776.10s)
*** Failed! Assertion failed (after 1 test):
DLScript
[Do $ Issue (Wallet 4),
Do $ Call (Wallet 4),
Do $ Call (Wallet 4),
Do $ Call (Wallet 4),
Do $ Call (Wallet 4),
Do $ Call (Wallet 4),
Do $ Call (Wallet 4),
Do $ Call (Wallet 4),
Do $ Call (Wallet 4),
Do $ Call (Wallet 4),
Do $ Call (Wallet 4),
Do $ Call (Wallet 4)]
ModelState {_currentSlot = Slot {getSlot = 11}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map [
])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map
[])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 5,SymValue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (
Map [])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractState = PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 0}}
ModelState {_currentSlot = Slot {getSlot = 20}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map [
])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-10000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = fromLis
t [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",10000000)])])}),(Wallet 5,SymVa
lue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",10000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractState
= PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 1}}
ModelState {_currentSlot = Slot {getSlot = 29}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map [
])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-20000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",20000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = fromLis
t [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",20000000)])])}),(Wallet 5,SymVa
lue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",20000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractState
= PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 2}}
ModelState {_currentSlot = Slot {getSlot = 38}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map [
])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-30000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",30000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = fromLis
t [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",30000000)])])}),(Wallet 5,SymVa
lue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",30000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractState
= PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 3}}
ModelState {_currentSlot = Slot {getSlot = 47}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map [
])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-40000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",40000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = fromLis
t [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",40000000)])])}),(Wallet 5,SymVa
lue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",40000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractState
= PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 4}}
ModelState {_currentSlot = Slot {getSlot = 56}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map [
])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-50000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",50000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = fromLis
t [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",50000000)])])}),(Wallet 5,SymVa
lue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",50000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractState
= PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 5}}
ModelState {_currentSlot = Slot {getSlot = 65}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map [
])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-60000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",60000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = fromLis
t [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",60000000)])])}),(Wallet 5,SymVa
lue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",60000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractState
= PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 6}}
ModelState {_currentSlot = Slot {getSlot = 74}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map [
])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-70000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",70000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = fromLis
t [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",70000000)])])}),(Wallet 5,SymVa
lue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",70000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractState
= PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 7}}
ModelState {_currentSlot = Slot {getSlot = 83}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map [
])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-80000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",80000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = fromLis
t [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",80000000)])])}),(Wallet 5,SymVa
lue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",80000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractState
= PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 8}}
ModelState {_currentSlot = Slot {getSlot = 92}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map [
])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-90000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",90000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = fromLis
t [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",90000000)])])}),(Wallet 5,SymVa
lue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",90000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractState
= PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 9}}
ModelState {_currentSlot = Slot {getSlot = 101}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map
[])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-100000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",100000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = from
List [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",100000000)])])}),(Wallet 5,S
ymValue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",100000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractS
tate = PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 10}}
ModelState {_currentSlot = Slot {getSlot = 110}, _balanceChanges = fromList [(Wallet 7,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 8,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 6,SymValue {symValMap = fromList [], actualValPart = Value (Map
[])}),(Wallet 4,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",-110000000)]),(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",110000000)])])}),(Wallet 2,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 1,SymValue {symValMap = from
List [], actualValPart = Value (Map [])}),(Wallet 10,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 9,SymValue {symValMap = fromList [], actualValPart = Value (Map [])}),(Wallet 3,SymValue {symValMap = fromList [], actualValPart = Value (Map [(,Map [("",110000000)])])}),(Wallet 5,S
ymValue {symValMap = fromList [], actualValPart = Value (Map [])})], _minted = SymValue {symValMap = fromList [], actualValPart = Value (Map [(a2cd943b598ae8eccd341e787d4405a7865a380444cc0bb96c321f37,Map [("STO token",110000000)])])}, _symTokens = fromList [], _assertions = [], _assertionsOk = True, _contractS
tate = PrismModel {_walletState = fromList [(Wallet 4,(Issued,STOReady))], _numberOfCalls = 11}}
Use --quickcheck-replay=104393 to reproduce.
Use -p '/QuickCheck property/' to rerun this test only.
Expected Result
Successful test case
Describe the approach you would take to fix this
No response
System info
plutus-apps: 49a3c5a
It's probably an off by one error: the contract makes 11 Call actions, while we only have enough ada for 10. It should be checked by the precondition, I'm fixing it.
Fixed in #777