Uniswap example hang before creating a pool

[agocorona]

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\",

[agocorona]

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.

[agocorona]

Any hint about this?

[koslambrou]

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.