Merge pull request #764 from IntersectMBO/mgalazyn/test/add-execution-units-check-in-autobalancing-test

Add execution units check in transaction autobalancing test

Author: carbolymer

cardano-api/test/cardano-api-test/Test/Cardano/Api/Transaction/Autobalance.hs

@@ -109,6 +109,18 @@ prop_make_transaction_body_autobalance_return_correct_fee_for_multi_asset = H.pr
         contentWithTxoutAsset
         address
         Nothing
+
+  -- check if execution units have changed
+  [ ExecutionUnits
+      { executionSteps = 84_851_308
+      , executionMemory = 325_610
+      }
+    ]
+    === [ exUnits
+        | (_, AnyScriptWitness (PlutusScriptWitness _ _ _ _ _ exUnits)) <-
+            collectTxBodyScriptWitnesses sbe balancedContentWithTxoutAsset
+        ]
+
   -- the correct amount with manual balancing of assets
   335_299 === feeWithTxoutAsset
 
@@ -128,6 +140,17 @@ prop_make_transaction_body_autobalance_return_correct_fee_for_multi_asset = H.pr
         address
         Nothing
 
+  -- check if execution units have changed
+  [ ExecutionUnits
+      { executionSteps = 84_851_308
+      , executionMemory = 325_610
+      }
+    ]
+    === [ exUnits
+        | (_, AnyScriptWitness (PlutusScriptWitness _ _ _ _ _ exUnits)) <-
+            collectTxBodyScriptWitnesses sbe balancedContent
+        ]
+
   H.noteShow_ feeWithTxoutAsset
   H.noteShow_ fee
   H.note_ "There are differences between fees for two autobalanced TxBodyContents. Diff:"
@@ -246,6 +269,17 @@ prop_make_transaction_body_autobalance_multi_asset_collateral = H.propertyOnce $
         address
         Nothing
 
+  -- check if execution units have changed
+  [ ExecutionUnits
+      { executionSteps = 84_851_308
+      , executionMemory = 325_610
+      }
+    ]
+    === [ exUnits
+        | (_, AnyScriptWitness (PlutusScriptWitness _ _ _ _ _ exUnits)) <-
+            collectTxBodyScriptWitnesses sbe balancedContent
+        ]
+
   335_299 === fee
   TxReturnCollateral _ (TxOut _ txOutValue _ _) <- H.noteShow $ txReturnCollateral balancedContent
   let assets = [a | a@(AssetId _ _, _) <- toList $ txOutValueToValue txOutValue]