test: Added check for EOA transfer E2E Test

test/basic-e2e.bats

@@ -11,11 +11,25 @@ setup() {
 }
 
 @test "Send EOA transaction" {
+    local initial_nonce=$(rpcQuery "nonce" "$senderAddr") || return 1
     local value="10ether"
 
+    # case 1: Transaction successfull sernder has suffecient balance
     run sendTx "$private_key" "$receiver" "$value"
     assert_success
     assert_output --regexp "Transaction successful \(transaction hash: 0x[a-fA-F0-9]{64}\)"
+
+    # case 2: Transaction rejected sender attempts to transfer more than they have in their wallet
+    # Trx will fail pre validation check on the node and will be dropped subsequently from the pool
+    # without recording it on the chain and hence nonce will not change
+    local sender_balance=$(rpcQuery "balance" "--ether" "$senderAddr") || return 1
+    local excessive_value=$(echo "$sender_balance + 1" | bc)ether
+    run sendTx "$private_key" "$receiver" "$excessive_value"
+    assert_failure "Transaction should fail when attempting to transfer more than the sender balance"
+
+    # check wheather nonce of sender was updated correctly or not
+    local final_nonce=$(rpcQuery "nonce" "$senderAddr") || return 1
+    assert_equal "$final_nonce" "$(echo "$initial_nonce + 1" | bc)" "Error nonce not updated correctly"
 }
 
 @test "Deploy ERC20Mock contract" {

test/helpers/common.bash

@@ -94,6 +94,11 @@ function sendTx() {
         return 1
     fi
 
+    # Check initial ether balance of sender and receiver
+    local sender_initial_balance=$(rpcQuery "balance" "$senderAddr" "latest") || return 1
+    local receiver_initial_balance=$(rpcQuery "balance" "$account_addr" "latest") || return 1
+
+
     # Check if the first remaining argument is a numeric value (Ether to be transferred)
     if [[ "$value_or_function_sig" =~ ^[0-9]+(ether)?$ ]]; then
         # Case: EOA transaction (Ether transfer)
@@ -144,6 +149,12 @@ function sendTx() {
         return 1
     fi
 
+    checkTransactionSuccess "$senderAddr" "$receiver" "$value_or_function_sig" "$tx_hash" "$sender_initial_balance" "$receiver_initial_balance"
+    if [[ $? -ne 0 ]]; then
+        echo "Error: Balance not updated correctly."
+        return 1
+    fi
+
     echo "Transaction successful (transaction hash: $tx_hash)"
 
     return 0
@@ -185,3 +196,59 @@ function queryContract() {
 
     return 0
 }
+
+function rpcQuery() {
+    local method="$1"     # The JSON-RPC method name
+    shift                 
+    local params=("$@")   # Remaining arguments are the parameters for the RPC method
+
+    # Check if rpc_url is available
+    if [[ -z "$rpc_url" ]]; then
+        echo "Error: rpc_url environment variable is not set."
+        return 1
+    fi
+
+    # Use cast to perform a generic RPC call
+    local response
+    response=$(cast --rpc-url "$rpc_url" "$method" "${params[@]}" 2>&1)
+
+    # Check if the cast rpc command was successful
+    if [[ $? -ne 0 ]]; then
+        echo "Error: Failed to perform RPC query."
+        echo "$response"
+        return 1
+    fi
+
+    echo "$response"
+    return 0
+}
+
+function checkTransactionSuccess() {
+    local senderAddr="$1"
+    local receiver="$2"
+    local value_or_function_sig="$3"
+    local tx_hash="$4"
+    local sender_initial_balance="$5"
+    local receiver_initial_balance="$6"
+
+    local sender_final_balance=$(rpcQuery "balance" "$senderAddr" "latest") || return 1
+    local gas_used=$(cast tx "$tx_hash" --rpc-url "$rpc_url" | grep '^gas ' | awk '{print $2}')
+    local gas_price=$(cast tx "$tx_hash" --rpc-url "$rpc_url" | grep '^gasPrice' | awk '{print $2}')
+    local gas_fee=$(echo "$gas_used * $gas_price" | bc)
+    local sender_balance_change=$(echo "$sender_initial_balance - $sender_final_balance" | bc)
+
+    echo "Sender's balance changed by: $sender_balance_change wei"
+    echo "Gas fee paid: $gas_fee wei"
+
+    if [[ "$value_or_function_sig" =~ ^[0-9]+(ether)?$ ]]; then
+        local receiver_final_balance=$(rpcQuery "balance" "$receiver" "latest") || return 1
+        local receiver_balance_change=$(echo "$receiver_final_balance - $receiver_initial_balance" | bc)
+        echo "Receiver's balance changed by: $receiver_balance_change wei"
+
+        value_in_wei=$(cast --to-unit wei "$value_or_function_sig")
+        assert_equal "$receiver_balance_chang" "$value_in_wei" "Error: receiver balance updated incorrectly."
+    fi
+
+    # Asserts sender's balance change is equal to the value transferred plus the gas fee
+    assert_equal "$sender_balance_change" "$(echo "$value_in_wei + $gas_fee" | bc)" "Error: sender balance updated incorrectly."
+}