update test suite

Author: IAmPara0x

test/Spec/BotPlutusInterface/Balance.hs

@@ -15,7 +15,7 @@ import Ledger.CardanoWallet qualified as Wallet
 import Ledger.Crypto (PubKeyHash)
 import Ledger.Tx (Tx (..), TxIn (..), TxInType (..), TxOut (..), TxOutRef (..))
 import Ledger.Value qualified as Value
-import Spec.MockContract (runPABEffectPure)
+import Spec.MockContract (currencySymbol1, runPABEffectPure)
 import Test.Tasty (TestTree, testGroup)
 import Test.Tasty.HUnit (Assertion, assertFailure, testCase, (@?=))
 import Prelude
@@ -56,7 +56,7 @@ utxo1, utxo2, utxo3, utxo4 :: (TxOutRef, TxOut)
 utxo1 = (txOutRef1, TxOut addr1 (Ada.lovelaceValueOf 1_100_000) Nothing)
 utxo2 = (txOutRef2, TxOut addr1 (Ada.lovelaceValueOf 1_000_000) Nothing)
 utxo3 = (txOutRef3, TxOut addr1 (Ada.lovelaceValueOf 900_000) Nothing)
-utxo4 = (txOutRef4, TxOut addr1 (Ada.lovelaceValueOf 800_000 <> Value.singleton "11223344" "Token" 200) Nothing)
+utxo4 = (txOutRef4, TxOut addr1 (Ada.lovelaceValueOf 800_000 <> Value.singleton currencySymbol1 "Token" 200) Nothing)
 
 addUtxosForFees :: Assertion
 addUtxosForFees = do
@@ -83,7 +83,7 @@ addUtxosForNativeTokens = do
        to `txout` Value aims to simulate result of `adjustUnbalancedTx` call.
        Note that 1 Ada is test value - real amount is determined by Ledger and can vary.
       -}
-      txout = TxOut addr2 (Value.singleton "11223344" "Token" 123 <> minimumAdaRequired) Nothing
+      txout = TxOut addr2 (Value.singleton currencySymbol1 "Token" 123 <> minimumAdaRequired) Nothing
       tx = mempty {txOutputs = [txout]} `withFee` 500_000
       utxoIndex = Map.fromList [utxo1, utxo2, utxo3, utxo4]
       ownAddr = addr1

test/Spec/BotPlutusInterface/Contract.hs

@@ -61,6 +61,7 @@ import Spec.MockContract (
   addr1,
   addr2,
   commandHistory,
+  currencySymbol1,
   files,
   observableState,
   paymentPkh2,
@@ -354,12 +355,12 @@ sendTokens = do
       txOut1 =
         PublicKeyChainIndexTxOut
           pkhAddr1
-          (Ada.lovelaceValueOf 1350 <> Value.singleton "abcd1234" "testToken" 100)
+          (Ada.adaValueOf 50 <> Value.singleton currencySymbol1 "testToken" 100)
           Nothing
           Nothing
       txOutRef2 = TxOutRef "e406b0cf676fc2b1a9edb0617f259ad025c20ea6f0333820aa7cef1bfe7302e5" 1
       txOut2 =
-        PublicKeyChainIndexTxOut pkhAddr1 (Ada.lovelaceValueOf 1250) Nothing Nothing
+        PublicKeyChainIndexTxOut pkhAddr1 (Ada.adaValueOf 50) Nothing Nothing
       initState = def & utxos <>~ [(txOutRef1, txOut1), (txOutRef2, txOut2)]
       inTxId1 = encodeByteString $ fromBuiltin $ Tx.getTxId $ Tx.txOutRefId txOutRef1
 
@@ -368,9 +369,12 @@ sendTokens = do
         let constraints =
               Constraints.mustPayToPubKey
                 paymentPkh2
-                (Ada.lovelaceValueOf 1000 <> Value.singleton "abcd1234" "testToken" 5)
+                (Ada.lovelaceValueOf 1000 <> Value.singleton currencySymbol1 "testToken" 5)
         Plutus.Contract.submitTx constraints
 
+      curSymbol' :: Text
+      curSymbol' = encodeByteString $ fromBuiltin $ Value.unCurrencySymbol currencySymbol1
+
   assertContract contract initState $ \state ->
     assertCommandHistory
       state
@@ -379,8 +383,8 @@ sendTokens = do
         , [text|
           cardano-cli transaction build-raw --babbage-era
           --tx-in ${inTxId1}#0
-          --tx-out ${addr2}+1000 + 5 abcd1234.74657374546F6B656E
-          --tx-out ${addr1}+50 + 95 abcd1234.74657374546F6B656E
+          --tx-out ${addr2}+1000 + 5 ${curSymbol'}.74657374546F6B656E
+          --tx-out ${addr1}+49998700 + 95 ${curSymbol'}.74657374546F6B656E
           --required-signer ./signing-keys/signing-key-${pkh1'}.skey
           --fee 300
           --protocol-params-file ./protocol.json --out-file ./txs/tx-?.raw
@@ -392,10 +396,10 @@ sendTokensWithoutName :: Assertion
 sendTokensWithoutName = do
   let txOutRef1 = TxOutRef "08b27dbdcff9ab3b432638536ec7eab36c8a2e457703fb1b559dd754032ef431" 0
       txOut1 =
-        PublicKeyChainIndexTxOut pkhAddr1 (Ada.lovelaceValueOf 1350 <> Value.singleton "abcd1234" "" 100) Nothing Nothing
+        PublicKeyChainIndexTxOut pkhAddr1 (Ada.adaValueOf 50 <> Value.singleton currencySymbol1 "" 100) Nothing Nothing
       txOutRef2 = TxOutRef "e406b0cf676fc2b1a9edb0617f259ad025c20ea6f0333820aa7cef1bfe7302e5" 1
       txOut2 =
-        PublicKeyChainIndexTxOut pkhAddr1 (Ada.lovelaceValueOf 1250) Nothing Nothing
+        PublicKeyChainIndexTxOut pkhAddr1 (Ada.adaValueOf 50) Nothing Nothing
       initState = def & utxos <>~ [(txOutRef1, txOut1), (txOutRef2, txOut2)]
       inTxId1 = encodeByteString $ fromBuiltin $ Tx.getTxId $ Tx.txOutRefId txOutRef1
 
@@ -404,9 +408,12 @@ sendTokensWithoutName = do
         let constraints =
               Constraints.mustPayToPubKey
                 paymentPkh2
-                (Ada.lovelaceValueOf 1000 <> Value.singleton "abcd1234" "" 5)
+                (Ada.lovelaceValueOf 1000 <> Value.singleton currencySymbol1 "" 5)
         Plutus.Contract.submitTx constraints
 
+      curSymbol' :: Text
+      curSymbol' = encodeByteString $ fromBuiltin $ Value.unCurrencySymbol currencySymbol1
+
   assertContract contract initState $ \state ->
     assertCommandHistory
       state
@@ -415,8 +422,8 @@ sendTokensWithoutName = do
         , [text|
           cardano-cli transaction build-raw --babbage-era
           --tx-in ${inTxId1}#0
-          --tx-out ${addr2}+1000 + 5 abcd1234
-          --tx-out ${addr1}+50 + 95 abcd1234
+          --tx-out ${addr2}+1000 + 5 ${curSymbol'}
+          --tx-out ${addr1}+49998700 + 95 ${curSymbol'}
           --required-signer ./signing-keys/signing-key-${pkh1'}.skey
           --fee 300
           --protocol-params-file ./protocol.json --out-file ./txs/tx-?.raw
@@ -433,9 +440,7 @@ mintTokens = do
       collateralTxId = encodeByteString $ fromBuiltin $ Tx.getTxId theCollateralTxId
 
       mintingPolicy :: Scripts.MintingPolicy
-      mintingPolicy =
-        Scripts.mkMintingPolicyScript
-          $$(PlutusTx.compile [||(\_ _ -> ())||])
+      mintingPolicy = Scripts.mkMintingPolicyScript $$(PlutusTx.compile [||(\_ _ -> ())||])
 
       curSymbol :: Ledger.CurrencySymbol
       curSymbol = Ledger.scriptCurrencySymbol mintingPolicy

test/Spec/MockContract.hs

@@ -31,6 +31,7 @@ module Spec.MockContract (
   pkhAddr1,
   pkhAddr2,
   pkhAddr3,
+  currencySymbol1,
   -- Test interpreter
   runPABEffectPure,
   runContractPure,
@@ -174,6 +175,9 @@ import Text.Read (readMaybe)
 import Wallet.Types (ContractInstanceId (ContractInstanceId))
 import Prelude
 
+currencySymbol1 :: Ledger.CurrencySymbol
+currencySymbol1 = "363d3944282b3d16b239235a112c0f6e2f1195de5067f61c0dfc0f5f"
+
 signingKey1, signingKey2, signingKey3 :: SigningKey PaymentKey
 signingKey1 = PaymentSigningKey $ genKeyDSIGN $ mkSeedFromBytes $ ByteString.replicate 32 0
 signingKey2 = PaymentSigningKey $ genKeyDSIGN $ mkSeedFromBytes $ ByteString.replicate 32 1