Tests and checks for check-transfer, fixes #475

Convex-Dev · Dec 15, 2023 · a174979 · a174979
1 parent fb678e2
commit a174979
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/convex-core/src/main/cvx/convex/asset.cvx b/convex-core/src/main/cvx/convex/asset.cvx
@@ -78,8 +78,9 @@
                         {:code "(check-transfer sender receiver [non-fungible-token-address #{1 4 6}])"}]
           :signature   [{:params [sender receiver [asset-address quantity]]}]}}
   [sender receiver [path quantity]]
+  (or (callable? path 'check-transfer) (return nil))
   (query (call path
-               (check-transfer sender
+       (check-transfer sender
                                receiver
                                quantity))))
 

diff --git a/convex-core/src/test/java/convex/lib/AssetTester.java b/convex-core/src/test/java/convex/lib/AssetTester.java
@@ -4,6 +4,7 @@
 import static org.junit.jupiter.api.Assertions.assertEquals;
 import static org.junit.jupiter.api.Assertions.assertNotEquals;
 import static org.junit.jupiter.api.Assertions.assertNotNull;
+import static org.junit.jupiter.api.Assertions.assertNull;
 import static org.junit.jupiter.api.Assertions.assertTrue;
 
 import static convex.test.Assertions.*;
@@ -46,6 +47,7 @@ public static void doFungibleTests (Context ctx, ACell token, Address user) {
 		Long BAL=evalL(ctx,"(asset/balance token *address*)");
 		assertEquals(0L, evalL(ctx,"(asset/balance token actor)"));
 		assertTrue(BAL>0,"Should provide a user account with positive balance!");
+		assertNull(eval(ctx,"(asset/check-transfer *address* *address* [token "+BAL+"])"));
 
 		// New Address gets zero offers
 		{