Uniswap example hang before creating a pool
agocorona opened this issue · comments
Summary
Running the uniswap example (that uses the simulator/emulator) from the command line, the log does not display the last message " "liquidity pool created". instead it display a warning and get blocked
[WARNING] W[2]: Validation error: Phase2 1df60e27c3098f523deb2e5f597593021dc0785812b0961f131d5ad267c5c874: ScriptFailure (EvaluationError ["CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 277, _covLocStartCol = 1, _covLocEndCol = 62})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 271, _covLocStartCol = 57, _covLocEndCol = 87})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 271, _covLocStartCol = 72, _covLocEndCol = 74})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 271, _covLocStartCol = 75, _covLocEndCol = 76})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 271, _covLocStartCol = 77, _covLocEndCol = 80})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 271, _covLocStartCol = 84, _covLocEndCol = 87})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 99, _covLocEndLine = 124, _covLocStartCol = 1, _covLocEndCol = 81})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 100, _covLocEndLine = 100, _covLocStartCol = 54, _covLocEndCol = 87})","CoverLocation....
Steps to reproduce the behavior
on nix-shell:
>cd plutus-apps/plutus-use-cases
>cabal run plutus-uniswap
Actual Result
>cd plutus-apps/plutus-use-cases
>cabal run plutus-uniswap
Up to date
[INFO] Slot 0: TxnValidate 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807
[INFO] Starting Uniswap PAB webserver on port 8080. Press enter to exit.
[INFO] Starting PAB backend server on port 9080
[INFO] Initialising contract Init with ID 096f6ffe-2d5d-4431-988d-da30026a580b
[INFO] Activated instance 096f6ffe-2d5d-4431-988d-da30026a580b on W[1]
[INFO] W[1]: Balancing an unbalanced transaction:
Tx:
Tx adb1bd1a57f9945144acf59b676cdfd12a30feb7eecb459ecb96ae02db73049f:
{inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",999978)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
mint: Value (Map [])
fee: Value (Map [])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
Requires signatures:
Utxo index:
Validity range:
(-∞ , +∞)
[INFO] W[1]: Finished balancing:
Tx 0068d2a69fbf0f6dd3bfd118fa9b95ef01c2b8679286892dc0e97573a2e0c5c0:
{inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!50
collateral inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!50
outputs:
- Value (Map [(,Map [("",999978)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
- Value (Map [(,Map [("",9998828185)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
mint: Value (Map [])
fee: Value (Map [(,Map [("",171837)])])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
[INFO] W[1]: Balancing an unbalanced transaction:
Tx:
Tx 720d6d807bc4ad12f50dd97dba8c2c4d76e98261743cd6be8cdcb449be736d6a:
{inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!50
collateral inputs:
outputs:
mint: Value (Map [(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",4000000),("B",4000000),("C",4000000),("D",4000000)])])
fee: Value (Map [])
mps:
MintingPolicy { <script> }
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
Requires signatures:
Utxo index:
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!50
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!51
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!52
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!53
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!54
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!55
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!56
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!57
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!58
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!59
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
Validity range:
(-∞ , +∞)
[INFO] W[1]: Finished balancing:
Tx f2c1fa00167bb1607b42767543d56d99585c576e230a88c4b2af8dab035b4be1:
{inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!50
collateral inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!50
outputs:
- Value (Map [(,Map [("",9999535247)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",4000000),("B",4000000),("C",4000000),("D",4000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
mint: Value (Map [(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",4000000),("B",4000000),("C",4000000),("D",4000000)])])
fee: Value (Map [(,Map [("",464753)])])
mps:
MintingPolicy { <script> }
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
[INFO] W[1]: Signing tx: f2c1fa00167bb1607b42767543d56d99585c576e230a88c4b2af8dab035b4be1
[INFO] W[1]: Submitting tx: f2c1fa00167bb1607b42767543d56d99585c576e230a88c4b2af8dab035b4be1
[INFO] Slot 1: TxnValidate f2c1fa00167bb1607b42767543d56d99585c576e230a88c4b2af8dab035b4be1
[INFO] W[1]: Balancing an unbalanced transaction:
Tx:
Tx e91946bdfff996c6df9c34b6d799a7252479e0393f8de8402b9a7e11feba6abc:
{inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",1482726)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
mint: Value (Map [])
fee: Value (Map [])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
Requires signatures:
Utxo index:
Validity range:
(-∞ , +∞)
[INFO] W[1]: Finished balancing:
Tx e18c899b44fbd392b6453699e312cb813d1c937c2618e9c0c8f66fac014a28cc:
{inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!51
- f2c1fa00167bb1607b42767543d56d99585c576e230a88c4b2af8dab035b4be1!0
collateral inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!51
outputs:
- Value (Map [(,Map [("",1482726)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
- Value (Map [(,Map [("",19997869288)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",3000000),("B",3000000),("C",3000000),("D",3000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
mint: Value (Map [])
fee: Value (Map [(,Map [("",183233)])])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
[INFO] W[1]: Signing tx: e18c899b44fbd392b6453699e312cb813d1c937c2618e9c0c8f66fac014a28cc
[INFO] W[1]: Submitting tx: e18c899b44fbd392b6453699e312cb813d1c937c2618e9c0c8f66fac014a28cc
[INFO] Slot 2: TxnValidate e18c899b44fbd392b6453699e312cb813d1c937c2618e9c0c8f66fac014a28cc
[INFO] W[1]: Balancing an unbalanced transaction:
Tx:
Tx 457764dd9ef5137c89cd5fc6dd21ea6072c253eb056ad750f652ee8e296bd0f3:
{inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",1482726)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])]) addressed to
PubKeyCredential: 2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c (no staking credential)
mint: Value (Map [])
fee: Value (Map [])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
Requires signatures:
Utxo index:
Validity range:
(-∞ , +∞)
[INFO] W[1]: Finished balancing:
Tx 4911b4fea63f68f6f77efc212bfa498c996c25026a26c572c926b7a45c7b1237:
{inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!52
- e18c899b44fbd392b6453699e312cb813d1c937c2618e9c0c8f66fac014a28cc!1
collateral inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!52
outputs:
- Value (Map [(,Map [("",1482726)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])]) addressed to
PubKeyCredential: 2e0ad60c3207248cecd47dbde3d752e0aad141d6b8f81ac2c6eca27c (no staking credential)
- Value (Map [(,Map [("",29996203329)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",2000000),("B",2000000),("C",2000000),("D",2000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
mint: Value (Map [])
fee: Value (Map [(,Map [("",183233)])])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
[INFO] W[1]: Signing tx: 4911b4fea63f68f6f77efc212bfa498c996c25026a26c572c926b7a45c7b1237
[INFO] W[1]: Submitting tx: 4911b4fea63f68f6f77efc212bfa498c996c25026a26c572c926b7a45c7b1237
[INFO] Slot 3: TxnValidate 4911b4fea63f68f6f77efc212bfa498c996c25026a26c572c926b7a45c7b1237
[INFO] W[1]: Balancing an unbalanced transaction:
Tx:
Tx 3fb626c8e10002698a3683c5269e4b05a5f89328580ae286b82edac5a07ad6aa:
{inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",1482726)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])]) addressed to
PubKeyCredential: 557d23c0a533b4d295ac2dc14b783a7efc293bc23ede88a6fefd203d (no staking credential)
mint: Value (Map [])
fee: Value (Map [])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
Requires signatures:
Utxo index:
Validity range:
(-∞ , +∞)
[INFO] W[1]: Finished balancing:
Tx 9731310fb4011030b7d1be17dc428d2f2da1463a0a6707801a3ff3475ab67636:
{inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!53
- 4911b4fea63f68f6f77efc212bfa498c996c25026a26c572c926b7a45c7b1237!1
collateral inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!53
outputs:
- Value (Map [(,Map [("",1482726)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])]) addressed to
PubKeyCredential: 557d23c0a533b4d295ac2dc14b783a7efc293bc23ede88a6fefd203d (no staking credential)
- Value (Map [(,Map [("",39994537370)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
mint: Value (Map [])
fee: Value (Map [(,Map [("",183233)])])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
[INFO] W[1]: Signing tx: 9731310fb4011030b7d1be17dc428d2f2da1463a0a6707801a3ff3475ab67636
[INFO] W[1]: Submitting tx: 9731310fb4011030b7d1be17dc428d2f2da1463a0a6707801a3ff3475ab67636
[INFO] Slot 4: TxnValidate 9731310fb4011030b7d1be17dc428d2f2da1463a0a6707801a3ff3475ab67636
[INFO] Initialization finished. Minted: 440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a
[INFO] Initialising contract UniswapStart with ID 2b6afb52-69d5-45aa-baac-d0dd37ec2717
[INFO] Activated instance 2b6afb52-69d5-45aa-baac-d0dd37ec2717 on W[1]
[INFO] W[1]: Balancing an unbalanced transaction:
Tx:
Tx adb1bd1a57f9945144acf59b676cdfd12a30feb7eecb459ecb96ae02db73049f:
{inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",999978)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
mint: Value (Map [])
fee: Value (Map [])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
Requires signatures:
Utxo index:
Validity range:
(-∞ , +∞)
[INFO] W[1]: Finished balancing:
Tx 0a7b4713b89a91b387b4495b542824113bf5fdf222800131a4fb53357d711b10:
{inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!54
collateral inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!54
outputs:
- Value (Map [(,Map [("",999978)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
- Value (Map [(,Map [("",9998828185)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
mint: Value (Map [])
fee: Value (Map [(,Map [("",171837)])])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
[INFO] W[1]: Balancing an unbalanced transaction:
Tx:
Tx 0c8cf815e547a79f688275a64d0f0a8eab92442f7b6e05444caaad48385091cb:
{inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!54
collateral inputs:
outputs:
mint: Value (Map [(c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,Map [("Uniswap",1)])])
fee: Value (Map [])
mps:
MintingPolicy { <script> }
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
Requires signatures:
Utxo index:
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!54
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!55
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!56
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!57
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!58
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!59
, - Value (Map [(,Map [("",10000000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
( 9731310fb4011030b7d1be17dc428d2f2da1463a0a6707801a3ff3475ab67636!1
, - Value (Map [(,Map [("",39994537370)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential) )
Validity range:
(-∞ , +∞)
[INFO] W[1]: Finished balancing:
Tx 67a429af7b77958f17bf4a27fb9003966ba16de3fcc14118c0fbcd0d748678c1:
{inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!54
collateral inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!54
outputs:
- Value (Map [(,Map [("",9999630441)]),(c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,Map [("Uniswap",1)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
mint: Value (Map [(c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,Map [("Uniswap",1)])])
fee: Value (Map [(,Map [("",369559)])])
mps:
MintingPolicy { <script> }
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:}
[INFO] W[1]: Signing tx: 67a429af7b77958f17bf4a27fb9003966ba16de3fcc14118c0fbcd0d748678c1
[INFO] W[1]: Submitting tx: 67a429af7b77958f17bf4a27fb9003966ba16de3fcc14118c0fbcd0d748678c1
[INFO] Slot 5: TxnValidate 67a429af7b77958f17bf4a27fb9003966ba16de3fcc14118c0fbcd0d748678c1
[INFO] W[1]: Balancing an unbalanced transaction:
Tx:
Tx f2b4893c21e8e5cdd72d2b7c1acb86324a205ba35923008b747a69d229b1b933:
{inputs:
collateral inputs:
outputs:
- Value (Map [(,Map [("",1689618)]),(c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,Map [("Uniswap",1)])]) addressed to
ScriptCredential: 3e86e0fd757e35f0b6189ebe7a9538efc01485c517aecc0f85d6ff1c (no staking credential)
mint: Value (Map [])
fee: Value (Map [])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
<[]>}
Requires signatures:
Utxo index:
Validity range:
(-∞ , +∞)
[INFO] W[1]: Finished balancing:
Tx 897bba51c73e8e9bf2b9663e3e64989d3eea3390b57c697d03f146a5eb1caa66:
{inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!55
- 67a429af7b77958f17bf4a27fb9003966ba16de3fcc14118c0fbcd0d748678c1!0
collateral inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!55
outputs:
- Value (Map [(,Map [("",1689618)]),(c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,Map [("Uniswap",1)])]) addressed to
ScriptCredential: 3e86e0fd757e35f0b6189ebe7a9538efc01485c517aecc0f85d6ff1c (no staking credential)
- Value (Map [(,Map [("",19997757766)])]) addressed to
PubKeyCredential: a2c20c77887ace1cd986193e4e75babd8993cfd56995cd5cfce609c2 (no staking credential)
mint: Value (Map [])
fee: Value (Map [(,Map [("",183057)])])
mps:
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
<[]>}
[INFO] W[1]: Signing tx: 897bba51c73e8e9bf2b9663e3e64989d3eea3390b57c697d03f146a5eb1caa66
[INFO] W[1]: Submitting tx: 897bba51c73e8e9bf2b9663e3e64989d3eea3390b57c697d03f146a5eb1caa66
[INFO] Slot 6: TxnValidate 897bba51c73e8e9bf2b9663e3e64989d3eea3390b57c697d03f146a5eb1caa66
[INFO] 2b6afb52-69d5-45aa-baac-d0dd37ec2717: "started Uniswap Uniswap {usCoin = Coin {unCoin = (c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,\"Uniswap\")}} at address Address {addressCredential = ScriptCredential 3e86e0fd757e35f0b6189ebe7a9538efc01485c517aecc0f85d6ff1c, addressStakingCredential = Nothing}"
[INFO] Uniswap instance created: Uniswap {usCoin = Coin {unCoin = (c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,"Uniswap")}}
[INFO] Initialising contract UniswapUser (Uniswap {usCoin = Coin {unCoin = (c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,"Uniswap")}}) with ID 0b497e03-4d8b-4fa8-bcae-ffaffd750ac4
[INFO] Activated instance 0b497e03-4d8b-4fa8-bcae-ffaffd750ac4 on W[1]
[INFO] Uniswap user contract started for Wallet 1
[INFO] initial funds in wallet Wallet 1: Value (Map [(,Map [("",99992295136)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])])
[INFO] Initialising contract UniswapUser (Uniswap {usCoin = Coin {unCoin = (c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,"Uniswap")}}) with ID 68217b30-ede2-463d-a489-8dcfd4b9ff35
[INFO] Activated instance 68217b30-ede2-463d-a489-8dcfd4b9ff35 on W[2]
[INFO] Uniswap user contract started for Wallet 2
[INFO] initial funds in wallet Wallet 2: Value (Map [(,Map [("",100001482726)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])])
[INFO] Initialising contract UniswapUser (Uniswap {usCoin = Coin {unCoin = (c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,"Uniswap")}}) with ID f75663b1-1ad3-44b4-a322-23c3fe92f990
[INFO] Activated instance f75663b1-1ad3-44b4-a322-23c3fe92f990 on W[3]
[INFO] Uniswap user contract started for Wallet 3
[INFO] initial funds in wallet Wallet 3: Value (Map [(,Map [("",100001482726)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])])
[INFO] Initialising contract UniswapUser (Uniswap {usCoin = Coin {unCoin = (c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,"Uniswap")}}) with ID 1ab6f49c-d467-4c0a-b5b5-86b8a5dc0d76
[INFO] Activated instance 1ab6f49c-d467-4c0a-b5b5-86b8a5dc0d76 on W[4]
[INFO] Uniswap user contract started for Wallet 4
[INFO] initial funds in wallet Wallet 4: Value (Map [(,Map [("",100001482726)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",1000000),("B",1000000),("C",1000000),("D",1000000)])])
[INFO] creating liquidity pool: "{\"cpCoinA\":{\"unAssetClass\":[{\"unCurrencySymbol\":\"\"},{\"unTokenName\":\"\"}]},\"cpAmountB\":500000,\"cpAmountA\":100000,\"cpCoinB\":{\"unAssetClass\":[{\"unCurrencySymbol\":\"440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a\"},{\"unTokenName\":\"A\"}]}}"
"waITING"
[INFO] 68217b30-ede2-463d-a489-8dcfd4b9ff35: "looking for Uniswap instance at address Address {addressCredential = ScriptCredential 3e86e0fd757e35f0b6189ebe7a9538efc01485c517aecc0f85d6ff1c, addressStakingCredential = Nothing} containing coin Coin {unCoin = (c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,\"Uniswap\")} "
"waITING"
[INFO] 68217b30-ede2-463d-a489-8dcfd4b9ff35: "found Uniswap instance with datum: Factory []"
"waITING"
"waITING"
[INFO] W[2]: Balancing an unbalanced transaction:
Tx:
Tx 4fcce4665d974124613e644f17546a0ef7108552ddf8b43ee9046668cdfeeb84:
{inputs:
- 897bba51c73e8e9bf2b9663e3e64989d3eea3390b57c697d03f146a5eb1caa66!0
<<<<"", "">>,
<<"D\SO\152\f\SO\238\"\253\221xx6\233\130\242\NAKz!5M\RS\255\ESCY\207\202\203\138",
"A">>>>
collateral inputs:
outputs:
- Value (Map [(,Map [("",1896510)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",500000)]),(8bb55dec1f4e62fe0fbcfb077ad23944fc745e8cb60c9b9814338cc0,Map [("Pool State",1)])]) addressed to
ScriptCredential: 3e86e0fd757e35f0b6189ebe7a9538efc01485c517aecc0f85d6ff1c (no staking credential)
- Value (Map [(,Map [("",1689618)]),(c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,Map [("Uniswap",1)])]) addressed to
ScriptCredential: 3e86e0fd757e35f0b6189ebe7a9538efc01485c517aecc0f85d6ff1c (no staking credential)
mint: Value (Map [(8bb55dec1f4e62fe0fbcfb077ad23944fc745e8cb60c9b9814338cc0,Map [(0x28daa9425f552f3b5977555e4f3d39e076f159c7bd1a2f64c9af1ef87dd8eeb3,223607),("Pool State",1)])])
fee: Value (Map [])
mps:
MintingPolicy { <script> }
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
<[<<<"", "">>,
<<"D\SO\152\f\SO\238\"\253\221xx6\233\130\242\NAKz!5M\RS\255\ESCY\207\202\203\138",
"A">>>]>
<<<<"", "">>,
<<"D\SO\152\f\SO\238\"\253\221xx6\233\130\242\NAKz!5M\RS\255\ESCY\207\202\203\138",
"A">>>,
<223607>>
<[]>}
Requires signatures:
Utxo index:
( 897bba51c73e8e9bf2b9663e3e64989d3eea3390b57c697d03f146a5eb1caa66!0
, - Value (Map [(,Map [("",1689618)]),(c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,Map [("Uniswap",1)])]) addressed to
ScriptCredential: 3e86e0fd757e35f0b6189ebe7a9538efc01485c517aecc0f85d6ff1c (no staking credential) )
Validity range:
(-∞ , +∞)
"waITING"
[INFO] W[2]: Finished balancing:
Tx 7ea1592157505c258693b888f2e45b6f48ad723b1f92b4bc057c8d208c931f0d:
{inputs:
"waITING"
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!20
- 897bba51c73e8e9bf2b9663e3e64989d3eea3390b57c697d03f146a5eb1caa66!0
<<<<"", "">>,
<<"D\SO\152\f\SO\238\"\253\221xx6\233\130\242\NAKz!5M\RS\255\ESCY\207\202\203\138",
"A">>>>
- e18c899b44fbd392b6453699e312cb813d1c937c2618e9c0c8f66fac014a28cc!0
collateral inputs:
- 08111487e032e647e23e6e6866665ab726a4c92532e9589f9e670f2585e35807!20
outputs:
- Value (Map [(,Map [("",1896510)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",500000)]),(8bb55dec1f4e62fe0fbcfb077ad23944fc745e8cb60c9b9814338cc0,Map [("Pool State",1)])]) addressed to
ScriptCredential: 3e86e0fd757e35f0b6189ebe7a9538efc01485c517aecc0f85d6ff1c (no staking credential)
- Value (Map [(,Map [("",1689618)]),(c3346441203f22425e7384932adbd44f86d98009e6ae9d6cbc30ac71,Map [("Uniswap",1)])]) addressed to
ScriptCredential: 3e86e0fd757e35f0b6189ebe7a9538efc01485c517aecc0f85d6ff1c (no staking credential)
- Value (Map [(,Map [("",9992664083)]),(440e980c0eee22fddd787836e982f2157a21354d1eff1b59cfcacb8a,Map [("A",500000),("B",1000000),("C",1000000),("D",1000000)]),(8bb55dec1f4e62fe0fbcfb077ad23944fc745e8cb60c9b9814338cc0,Map [(0x28daa9425f552f3b5977555e4f3d39e076f159c7bd1a2f64c9af1ef87dd8eeb3,223607)])]) addressed to
PubKeyCredential: 80a4f45b56b88d1139da23bc4c3c75ec6d32943c087f250b86193ca7 (no staking credential)
mint: Value (Map [(8bb55dec1f4e62fe0fbcfb077ad23944fc745e8cb60c9b9814338cc0,Map [(0x28daa9425f552f3b5977555e4f3d39e076f159c7bd1a2f64c9af1ef87dd8eeb3,223607),("Pool State",1)])])
fee: Value (Map [(,Map [("",6922133)])])
mps:
MintingPolicy { <script> }
signatures:
validity range: Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}
data:
<[<<<"", "">>,
<<"D\SO\152\f\SO\238\"\253\221xx6\233\130\242\NAKz!5M\RS\255\ESCY\207\202\203\138",
"A">>>]>
<<<<"", "">>,
<<"D\SO\152\f\SO\238\"\253\221xx6\233\130\242\NAKz!5M\RS\255\ESCY\207\202\203\138",
"A">>>,
<223607>>
<[]>}
[INFO] W[2]: Signing tx: 7ea1592157505c258693b888f2e45b6f48ad723b1f92b4bc057c8d208c931f0d
[INFO] W[2]: Submitting tx: 7ea1592157505c258693b888f2e45b6f48ad723b1f92b4bc057c8d208c931f0d
[WARNING] Slot 11: TxnValidationFail Phase1 7ea1592157505c258693b888f2e45b6f48ad723b1f92b4bc057c8d208c931f0d: CardanoLedgerValidationError "ApplyTxError [UtxowFailure (WrappedShelleyEraFailure (UtxoFailure (MaxTxSizeUTxO 151446 16384)))]"
Expected Result
display "liquidity pool created" at the end of the console log
Describe the approach you would take to fix this
No response
System info
OS: Ubuntu
Version: Docker instance
plutus-apps commit: 4497333
the last plutus-apps commit : 41875be
produces another warning but the symptoms are the same
[WARNING] W[2]: Validation error: Phase2 1df60e27c3098f523deb2e5f597593021dc0785812b0961f131d5ad267c5c874: ScriptFailure (EvaluationError ["CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 277, _covLocStartCol = 1, _covLocEndCol = 62})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 271, _covLocStartCol = 57, _covLocEndCol = 87})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 271, _covLocStartCol = 72, _covLocEndCol = 74})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 271, _covLocStartCol = 75, _covLocEndCol = 76})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 271, _covLocStartCol = 77, _covLocEndCol = 80})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\", _covLocStartLine = 271, _covLocEndLine = 271, _covLocStartCol = 84, _covLocEndCol = 87})","CoverLocation (CovLoc {_covLocFile = \"src/Plutus/Contracts/Uniswap/OnChain.hs\",
The same code pass the tests on plutus-use-cases/test. How to understand this?
uniswap
can create a liquidity pool and add liquidity: OK (0.96s)
prop_UniswapAssertions: OK (0.85s)
+++ OK, passed 1000 tests.
Actions (23434 in total):
18.738% Bad
16.062% PerformSwap
15.840% AddLiquidity
15.644% RemoveLiquidity
12.725% WaitUntil
8.390% SetupTokens
7.988% CreatePool
3.533% Start
1.080% ClosePool
Actions rejected by precondition (7488 in total):
54.30% ClosePool
16.21% CreatePool
14.76% Bad
14.73% Start
Bad actions (4391 in total):
34.14% RemoveLiquidity
28.92% AddLiquidity
28.44% PerformSwap
8.49% BadRemoveLiquidity
Wait interval (2982 in total):
32.46% <10
29.54% 10-19
24.21% 20-29
12.01% 30-39
1.71% 40-49
0.07% 50-59
Wait until (2982 in total):
25.65% 100-199
15.29% 200-299
9.39% 300-399
6.44% 400-499
3.99% 60-69
3.76% 40-49
3.69% 500-599
3.59% 70-79
3.45% 50-59
3.12% 80-89
2.92% 10-19
2.92% 30-39
2.85% <10
2.78% 90-99
2.25% 600-699
1.98% 700-799
1.88% 20-29
1.84% 1000-1999
1.34% 800-899
0.87% 900-999
prop_NLFP: OK (1.03s)
+++ OK, passed 250 tests.
Any hint about this?
Thanks for submitting this bug :)
There are 2 issues:
One has to do with exceeding transaction limits. We should simply modify the default Params and use a higher transaction size limit. Of course, this will make the example not work on the mainnet, but this Uniswap example was never optimized to work on mainnet. The reason it works on plutus-use-cases
is because we use increaseTransactionLimits
to allow bigger transactions.
The 2nd problem is a failing Plutus script with error code “PT5” when creating a liquidity pool. This error code is the result of a False statement, but with no trace message associated with it. Some debugging is necessary for this one.