Address example project review comments

citizen.tests.ts

@@ -123,14 +123,14 @@ describe("Simnet deployment plan operations", () => {
           },
         },
         {
-          "ft-transfer-many": {
-            path: "contracts/ft-transfer-many.clar",
+          reverse: {
+            path: "contracts/reverse.clar",
             clarity_version: 3,
           },
         },
         {
-          reverse: {
-            path: "contracts/reverse.clar",
+          "send-tokens": {
+            path: "contracts/send-tokens.clar",
             clarity_version: 3,
           },
         },

example/Clarinet.toml

@@ -9,6 +9,11 @@ contract_id = 'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.ststx-token'
 [[project.requirements]]
 contract_id = 'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.sip-010-trait-ft-standard'
 
+# Clarinet currently does not support type checking or dependency resolution
+# for concatenated target and test contracts. To ensure successful deployment
+# of the send-tokens contract (which only relies on rendezvous-token in its
+# corresponding test contract), we set the epoch of rendezvous-token to 2.5.
+# This ensures it precedes the epoch of the send-tokens contract (3.0).
 [contracts.rendezvous-token]
 path = 'contracts/rendezvous-token.clar'
 clarity_version = 2
@@ -34,8 +39,8 @@ path = "contracts/slice.clar"
 clarity_version = 3
 epoch = 3.0
 
-[contracts.ft-transfer-many]
-path = 'contracts/ft-transfer-many.clar'
+[contracts.send-tokens]
+path = "contracts/send-tokens.clar"
 clarity_version = 3
 epoch = 3.0
 

example/contracts/send-tokens.clar

@@ -0,0 +1,19 @@
+(use-trait ft-trait 'SP4SZE494VC2YC5JYG7AYFQ44F5Q4PYV7DVMDPBG.sip-010-trait-ft-standard.sip-010-trait)
+
+(define-public (send-tokens
+    (transfers (list 5 {token: <ft-trait>, to: principal, amount: uint}))
+  )
+  (ok (map transfer transfers))
+)
+
+(define-private (transfer
+    (one-transfer {token: <ft-trait>, to: principal, amount: uint})
+  )
+  (let
+    (
+      (ft (get token one-transfer))
+      (to (get to one-transfer))
+      (amount (get amount one-transfer))
+    )
+    (contract-call? ft transfer amount tx-sender to none))
+)

example/contracts/ft-transfer-many.tests.clar → example/contracts/send-tokens.tests.clar

@@ -1,6 +1,6 @@
 ;; Invariants
 
-(define-read-only (invariant-trait (address principal))
+(define-read-only (invariant-token-supply-vs-balance (address principal))
   (let
     (
       (total-supply
@@ -22,14 +22,14 @@
 ;; Properties
 
 (define-public (test-transfer
-    (token <ft-trait>) (recipient principal) (amount uint)
+    (token <ft-trait>) (to principal) (amount uint)
   )
   (let
     (
       (sender-balance-before
         (unwrap-panic (contract-call? token get-balance tx-sender)))
       (transfer-result
-        (transfer {token: token, recipient: recipient, amount: amount}))
+        (transfer {token: token, to: to, amount: amount}))
       (sender-balance-after
         (unwrap-panic (contract-call? token get-balance tx-sender)))
     )