Created new branch for adjustUnbalancedTx test.

The previous branch got messed up after some merge issues. So I created a new branch based on the latest working commit of `gergely/vasil` and just copied over `AdjustTx.hs` and made the required changes to `plutip.cabal` and `Integration.hs`. The test works now.

Author: Anteproperispomenon

plutip.cabal

@@ -185,6 +185,7 @@ test-suite plutip-tests
   other-modules:
     Spec.Integration
     Spec.Test.Plutip.BotPlutusInterface
+    Spec.TestContract.AdjustTx
     Spec.TestContract.AlwaysFail
     Spec.TestContract.LockSpendMint
     Spec.TestContract.SimpleContracts

test/Spec/Integration.hs

@@ -15,6 +15,7 @@ import Plutus.Contract (
   waitNSlots,
  )
 import Plutus.Contract qualified as Contract
+import Spec.TestContract.AdjustTx (runAdjustTest)
 import Spec.TestContract.AlwaysFail (lockThenFailToSpend)
 import Spec.TestContract.LockSpendMint (lockThenSpend)
 import Spec.TestContract.SimpleContracts (
@@ -208,6 +209,8 @@ test =
               [ shouldFail
               , errorSatisfies "Fail validation with 'I always fail'" errCheck
               ]
+      , -- Test `adjustUnbalancedTx`
+        runAdjustTest
       ]
       ++ testValueAssertionsOrderCorrectness
 

test/Spec/TestContract/AdjustTx.hs

@@ -0,0 +1,89 @@
+module Spec.TestContract.AdjustTx (
+  runAdjustTest,
+) where
+
+import BotPlutusInterface.Contract (runContract)
+import Control.Lens.Operators ((^.))
+import Data.Text (Text)
+import Data.Text qualified as Text
+import Data.Void (Void)
+import Ledger (
+  PaymentPubKeyHash,
+  Tx (..),
+  TxOut (..),
+  getCardanoTxId,
+ )
+import Ledger qualified
+import Ledger.Ada (adaValueOf)
+import Ledger.Ada qualified as Ada
+
+-- import Ledger.Constraints (mkTx)
+import Ledger.Constraints qualified as Constraints
+import Ledger.Constraints.OffChain qualified as OffChain
+import Ledger.Scripts qualified as Scripts
+import Ledger.Typed.Scripts (TypedValidator, Validator, ValidatorTypes, mkUntypedMintingPolicy)
+import Ledger.Typed.Scripts qualified as TypedScripts
+import Ledger.Value (Value, flattenValue, tokenName)
+import Ledger.Value qualified
+import Plutus.Contract (
+  Contract,
+  ContractError (ConstraintResolutionContractError),
+  adjustUnbalancedTx,
+  awaitTxConfirmed,
+  mkTxConstraints,
+  submitTx,
+  submitTxConstraintsWith,
+  submitUnbalancedTx,
+  utxosAt,
+ )
+import Plutus.Contract qualified as Contract
+import Plutus.PAB.Effects.Contract.Builtin (EmptySchema)
+import Plutus.Script.Utils.V1.Scripts qualified as ScriptUtils
+import Plutus.V1.Ledger.Value qualified as Value
+import PlutusTx qualified
+import PlutusTx.Prelude qualified as PP
+import Test.Plutip.Contract
+import Test.Plutip.Predicate (
+  shouldSucceed,
+  yieldSatisfies,
+ )
+import Prelude
+
+adjustTx :: PaymentPubKeyHash -> Contract () EmptySchema Text [Value]
+adjustTx toPkh = do
+  ownPkh <- Contract.ownPaymentPubKeyHash
+  let ownAddr = Ledger.pubKeyHashAddress ownPkh Nothing
+  utxos <- Contract.utxosAt ownAddr
+  let consts =
+        Constraints.mustPayToPubKey toPkh (Ada.lovelaceValueOf 50)
+      lkups =
+        Constraints.ownPaymentPubKeyHash ownPkh
+          <> Constraints.unspentOutputs utxos
+  unbalancedTx <- mkTxConstraints @Void lkups consts
+  -- Adjust the Tx so that all UTxOs have the minimum ADA.
+  adjustedTx <- adjustUnbalancedTx unbalancedTx
+  let rawTx = adjustedTx ^. OffChain.tx
+      vals = map txOutValue $ txOutputs rawTx
+  -- crdTx <- submitUnbalancedTx adjustedTx
+  balTx <- Contract.balanceTx adjustedTx
+  crdTx <- Contract.submitBalancedTx balTx
+  _ <- Contract.awaitTxConfirmed (getCardanoTxId crdTx)
+  pure vals
+
+adjustTx' :: [PaymentPubKeyHash] -> Contract () EmptySchema Text [Value]
+adjustTx' [] = do
+  pkh <- Contract.ownPaymentPubKeyHash
+  adjustTx pkh
+adjustTx' (pkh : _) = adjustTx pkh
+
+-- The actual test
+runAdjustTest =
+  assertExecution
+    "Adjust Unbalanced Tx Contract"
+    (initAda [1000] <> initAda [1000])
+    (withContract adjustTx')
+    [ shouldSucceed
+    , yieldSatisfies
+        "All UTxOs have minimum(?) ADA."
+        (all (\val -> 500_000 <= Ada.getLovelace (Ada.fromValue val)))
+    ]