@stacks/rendezvous 0.4.0 → 0.4.1

package/dist/citizen.js

@@ -18,6 +18,7 @@ const fs_1 = require("fs");
 const path_1 = require("path");
 const yaml_1 = __importDefault(require("yaml"));
 const clarinet_sdk_1 = require("@hirosystems/clarinet-sdk");
+const transactions_1 = require("@stacks/transactions");
 /**
  * Prepares the simnet instance and assures the target contract's corresponding
  * test contract is treated as a first-class citizen, relying on their
@@ -41,7 +42,15 @@ const issueFirstClassCitizenship = (manifestDir, manifestPath, sutContractName)
         encoding: "utf-8",
     }));
     const sortedContractsByEpoch = (0, exports.groupContractsByEpochFromSimnetPlan)(simnetPlan);
+    const simnetAddresses = [...simnet.getAccounts().values()];
+    const balancesMap = new Map(Array.from(simnetAddresses, (address) => {
+        const balanceHex = simnet.runSnippet(`(stx-get-balance '${address})`);
+        return [address, (0, transactions_1.cvToValue)((0, transactions_1.hexToCV)(balanceHex))];
+    }));
     yield simnet.initEmptySession();
+    simnetAddresses.forEach((address) => {
+        simnet.mintSTX(address, balancesMap.get(address));
+    });
     // Combine the target contract with its tests into a single contract. The
     // resulting contract will replace the target contract in the simnet.
     /** The contract names mapped to the concatenated source code. */

package/dist/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@stacks/rendezvous",
-    "version": "0.4.0",
+    "version": "0.4.1",
     "description": "Meet your contract's vulnerabilities head-on.",
     "main": "app.js",
     "bin": {

package/dist/property.js

@@ -171,10 +171,21 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
                     }
                 }
                 else {
-                    throw new Error(`Test failed for ${targetContractName} contract: "${r.selectedTestFunction.name}" returned ${testFunctionCallResultJson.value.value}`);
+                    // The function call did not result in (ok true) or (ok false).
+                    // Either the test failed or the test function returned an
+                    // unexpected value i.e. `(ok 1)`.
+                    const displayedError = (0, transactions_1.cvToString)(testFunctionCallResult);
+                    throw new PropertyTestError(`Test failed for ${targetContractName} contract: "${r.selectedTestFunction.name}" returned ${displayedError}`, displayedError);
                 }
             }
             catch (error) {
+                const displayedError = error instanceof PropertyTestError
+                    ? error.clarityError
+                    : error &&
+                        typeof error === "string" &&
+                        error.toLowerCase().includes("runtime")
+                        ? "(runtime)"
+                        : "(unknown)";
                 // Capture the error and log the test failure.
                 radio.emit("logMessage", (0, ansicolor_1.red)(`₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
                     `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
@@ -182,7 +193,8 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
                     `[FAIL] ` +
                     `${targetContractName} ` +
                     `${(0, ansicolor_1.underline)(r.selectedTestFunction.name)} ` +
-                    printedTestFunctionArgs));
+                    `${printedTestFunctionArgs} ` +
+                    displayedError));
                 // Re-throw the error for fast-check to catch and process.
                 throw error;
             }
@@ -269,3 +281,9 @@ exports.isParamsMatch = isParamsMatch;
  */
 const isReturnTypeBoolean = (discardFunctionInterface) => discardFunctionInterface.outputs.type === "bool";
 exports.isReturnTypeBoolean = isReturnTypeBoolean;
+class PropertyTestError extends Error {
+    constructor(message, clarityError) {
+        super(message);
+        this.clarityError = clarityError;
+    }
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stacks/rendezvous",
-  "version": "0.4.0",
+  "version": "0.4.1",
   "description": "Meet your contract's vulnerabilities head-on.",
   "main": "app.js",
   "bin": {