From 6413f2c1cccde7193a5590d85a91b113ff68be85 Mon Sep 17 00:00:00 2001
From: KtorZ <matthias.benkort@gmail.com>
Date: Thu, 12 Sep 2024 17:21:09 +0200
Subject: [PATCH] Make 'simple_spend_no_datum' acceptance test more
 to-the-point

  This new acceptance test is really meant to check for the behavior surrounding the optional datum. So I've added an extra expect on the received datum, and kept only assertions that were about or related to the datum.
---
 .../v3/validators/simple_spend_no_datum.ak    | 58 ++-----------------
 1 file changed, 4 insertions(+), 54 deletions(-)

diff --git a/examples/acceptance_tests/script_context/v3/validators/simple_spend_no_datum.ak b/examples/acceptance_tests/script_context/v3/validators/simple_spend_no_datum.ak
index c711d8c5..94c457e7 100644
--- a/examples/acceptance_tests/script_context/v3/validators/simple_spend_no_datum.ak
+++ b/examples/acceptance_tests/script_context/v3/validators/simple_spend_no_datum.ak
@@ -1,33 +1,19 @@
 use aiken/collection/dict
 use cardano/address.{Address, Script}
 use cardano/assets
-use cardano/transaction.{
-  Input, NoDatum, Output, OutputReference, ScriptPurpose, Spend, Transaction,
-}
+use cardano/transaction.{Input, NoDatum, Output, OutputReference, Transaction}
 
 validator simple_spend {
   spend(
-    _datum: Option<Void>,
+    datum: Option<Void>,
     _redeemer: Void,
-    output_ref: OutputReference,
+    _output_ref: OutputReference,
     transaction: Transaction,
   ) {
-    assert_transaction_id(transaction.id)
-
-    assert_script_info(output_ref)
+    expect None = datum
 
     assert_inputs(transaction.inputs)
 
-    expect [] = transaction.outputs
-
-    expect [] = transaction.reference_inputs
-
-    expect [] = transaction.extra_signatories
-
-    expect 42 == transaction.fee
-
-    assert_redeemers(transaction.redeemers)
-
     expect [] == dict.to_pairs(transaction.datums)
 
     True
@@ -38,21 +24,6 @@ validator simple_spend {
   }
 }
 
-fn assert_transaction_id(id: ByteArray) {
-  expect
-    #"c6fbd346681a8f8337f6b3e51e6ec973f1509367eabc3a44c849af58a1d8471b" == id
-  Void
-}
-
-fn assert_script_info(info: OutputReference) {
-  expect
-    OutputReference {
-      transaction_id: #"0000000000000000000000000000000000000000000000000000000000000000",
-      output_index: 0,
-    } == info
-  Void
-}
-
 fn assert_inputs(inputs: List<Input>) {
   expect [
     Input {
@@ -76,24 +47,3 @@ fn assert_inputs(inputs: List<Input>) {
 
   Void
 }
-
-fn assert_redeemers(redeemers: Pairs<ScriptPurpose, Data>) {
-  expect
-    [
-      Pair(
-        Spend(
-          OutputReference {
-            transaction_id: #"0000000000000000000000000000000000000000000000000000000000000000",
-            output_index: 0,
-          },
-        ),
-        void(),
-      ),
-    ] == redeemers
-  Void
-}
-
-fn void() -> Data {
-  let void: Data = Void
-  void
-}