Update BPI, add budget multiplier to various configs

CHANGELOG.md

@@ -10,6 +10,7 @@ This format is based on [Keep A Changelog](https://keepachangelog.com/en/1.0.0).
   - Ability to set custom file where relay node log can be saved after tests run
   - Ability to set to set custom port for `chain-idex`
   - Ability to set custom directory for cluster data files
+  - Ability to set budget multiplier on estimated budget for rare case of incorrect estimation
 - Default cluster data files delivered via `data-files` package property
 - Contract execution result returns current contract state for failure cases too
 - Implementing tasty integration

flake.nix

@@ -11,7 +11,7 @@
       flake = false;
     };
     bot-plutus-interface.url =
-      "github:mlabs-haskell/bot-plutus-interface?rev=12b54288155f2a3f4e19b81484adf646e9737ff7";
+      "github:mlabs-haskell/bot-plutus-interface?rev=dc7b54a067744faabf90a5fc67ca4068caaec78c";
   };
 
   outputs =

src/Test/Plutip/Config.hs

@@ -16,8 +16,10 @@ data PlutipConfig = PlutipConfig
     relayNodeLogs :: Maybe FilePath
   , -- | in case of `Nothing` port from `Plutus.ChainIndex.Config.defaultConfig` is used
     chainIndexPort :: Maybe Natural
+  , -- | Multiplier on all BPI transaction budgets
+    budgetMultiplier :: Rational
   }
   deriving stock (Generic)
 
 instance Default PlutipConfig where
-  def = PlutipConfig Nothing Nothing Nothing
+  def = PlutipConfig Nothing Nothing Nothing 1

src/Test/Plutip/Internal/BotPlutusInterface/Run.hs

@@ -13,6 +13,7 @@ import BotPlutusInterface.Types (
   LogLevel (Error),
   PABConfig (
     PABConfig,
+    pcBudgetMultiplier,
     pcChainIndexUrl,
     pcCliLocation,
     pcDryRun,
@@ -52,7 +53,7 @@ import Plutus.PAB.Core.ContractInstance.STM (Activity (Active))
 import Test.Plutip.Internal.BotPlutusInterface.Setup qualified as BIS
 import Test.Plutip.Internal.BotPlutusInterface.Wallet (BpiWallet (walletPkh))
 import Test.Plutip.Internal.Types (
-  ClusterEnv (chainIndexUrl, networkId),
+  ClusterEnv (bpiBudgetMultiplier, chainIndexUrl, networkId),
   ExecutionResult (ExecutionResult),
   FailureReason (CaughtException, ContractExecutionError),
  )
@@ -111,6 +112,7 @@ runContract cEnv bpiWallet contract = do
         , pcMetadataDir = Text.pack $ BIS.metadataDir cEnv
         , pcCollectStats = True
         , pcCollectLogs = True
+        , pcBudgetMultiplier = bpiBudgetMultiplier cEnv
         }
 
     runContract' :: ContractEnvironment w -> m (ExecutionResult w e a)

src/Test/Plutip/Internal/LocalCluster.hs

@@ -40,6 +40,7 @@ import Test.Plutip.Internal.BotPlutusInterface.Setup qualified as BotSetup
 import Test.Plutip.Internal.Types (
   ClusterEnv (
     ClusterEnv,
+    bpiBudgetMultiplier,
     chainIndexUrl,
     networkId,
     runningNode,
@@ -56,7 +57,7 @@ import UnliftIO.STM (TVar, atomically, newTVarIO, readTVar, retrySTM, writeTVar)
 import Data.Foldable (for_)
 import GHC.Stack.Types (HasCallStack)
 import Paths_plutip (getDataFileName)
-import Test.Plutip.Config (PlutipConfig (chainIndexPort, clusterDataDir, relayNodeLogs))
+import Test.Plutip.Config (PlutipConfig (budgetMultiplier, chainIndexPort, clusterDataDir, relayNodeLogs))
 import Text.Printf (printf)
 
 -- | Starting a cluster with a setup action
@@ -129,6 +130,7 @@ withPlutusInterface conf action = do
               , networkId = CAPI.Mainnet
               , supportDir = dir
               , tracer = trCluster
+              , bpiBudgetMultiplier = budgetMultiplier conf
               }
 
       BotSetup.runSetup cEnv -- run preparations to use `bot-plutus-interface`

src/Test/Plutip/Internal/Types.hs

@@ -31,11 +31,12 @@ data ClusterEnv = ClusterEnv
     -- files created by `cardano-cli`, `chain-index` and `bot-plutus-interface`
     supportDir :: FilePath
   , tracer :: Trace IO Text -- not really used anywhere now
+  , bpiBudgetMultiplier :: Rational
   }
 
 -- | Helper function to get socket path from
 nodeSocket :: ClusterEnv -> CardanoNodeConn
-nodeSocket (ClusterEnv (RunningNode sp _ _) _ _ _ _) = sp
+nodeSocket (ClusterEnv (RunningNode sp _ _) _ _ _ _ _) = sp
 
 -- | Result of `Contract` execution. Returns contract observable state
 --    and either `Contract` return value, or error of type `FailureReason`.