@stacks/rendezvous 0.8.0 → 0.10.0

package/dist/app.js

@@ -13,7 +13,7 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.tryParseRemoteDataSettings = exports.getManifestFileName = exports.invalidRemoteDataWarningMessage = exports.noRemoteData = void 0;
+exports.tryParseRemoteDataSettings = exports.getManifestFileName = exports.noRemoteData = void 0;
 exports.main = main;
 const path_1 = require("path");
 const events_1 = require("events");
@@ -35,16 +35,7 @@ const logger = (log, logLevel = "log") => {
  */
 exports.noRemoteData = {
     enabled: false,
-    api_url: "",
-    initial_height: 1,
 };
-exports.invalidRemoteDataWarningMessage = `\nRemote data settings existing in Clarinet.toml, but remote data feature will not be used! To use remote data, please make sure the following fields are set:
-
-- enabled = true
-- api_url = <stacks-api-url>
-- initial_height = <stacks-block-height-to-fork-from>
-
-under the "repl.remote_data" section in the Clarinet.toml file.`;
 /**
  * Gets the manifest file name for a Clarinet project.
  * If a custom manifest exists (`Clarinet-<contract-name>.toml`), it is used.
@@ -64,17 +55,14 @@ exports.getManifestFileName = getManifestFileName;
 const tryParseRemoteDataSettings = (manifestPath, radio) => {
     var _a, _b;
     const clarinetToml = toml_1.default.parse((0, fs_1.readFileSync)((0, path_1.resolve)(manifestPath), "utf-8"));
-    const remoteDataUserSettings = (_b = (_a = clarinetToml.repl) === null || _a === void 0 ? void 0 : _a["remote_data"]) !== null && _b !== void 0 ? _b : undefined;
-    const invalidRemoteDataSetup = !(remoteDataUserSettings === null || remoteDataUserSettings === void 0 ? void 0 : remoteDataUserSettings["api_url"]) ||
-        !(remoteDataUserSettings === null || remoteDataUserSettings === void 0 ? void 0 : remoteDataUserSettings["enabled"]) ||
-        !(remoteDataUserSettings === null || remoteDataUserSettings === void 0 ? void 0 : remoteDataUserSettings["initial_height"]);
-    if (remoteDataUserSettings !== undefined && invalidRemoteDataSetup) {
-        radio.emit("logMessage", (0, ansicolor_1.yellow)(exports.invalidRemoteDataWarningMessage));
-    }
-    else if (remoteDataUserSettings) {
+    const remoteDataUserSettings = (_b = (_a = clarinetToml.repl) === null || _a === void 0 ? void 0 : _a.remote_data) !== null && _b !== void 0 ? _b : undefined;
+    if (remoteDataUserSettings && (remoteDataUserSettings === null || remoteDataUserSettings === void 0 ? void 0 : remoteDataUserSettings.enabled) === true) {
         radio.emit("logMessage", (0, ansicolor_1.yellow)("\nUsing remote data. Setting up the environment can take up to a minute..."));
     }
-    if (!remoteDataUserSettings || invalidRemoteDataSetup) {
+    // If no remote data settings are provided, we still need to return an object
+    // with the `enabled` property set to `false`. That is what simnet expects
+    // at least in order to initialize an empty simnet session.
+    if (!remoteDataUserSettings) {
         return exports.noRemoteData;
     }
     return remoteDataUserSettings;

package/dist/citizen.js

@@ -50,7 +50,9 @@ const issueFirstClassCitizenship = (manifestDir, manifestPath, remoteDataSetting
         const balanceHex = simnet.runSnippet(`(stx-get-balance '${address})`);
         return [address, (0, transactions_1.cvToValue)((0, transactions_1.hexToCV)(balanceHex))];
     }));
-    const sbtcBalancesMap = (0, exports.getSbtcBalancesFromSimnet)(simnet);
+    // If the sbtc-token contract is included in the deployment plan, we need to
+    // restore the sBTC balances. Otherwise, use an empty map.
+    const sbtcBalancesMap = (0, exports.getSbtcBalancesFromSimnet)(simnet, deploymentPlan, remoteDataSettings);
     yield simnet.initEmptySession(remoteDataSettings);
     simnetAddresses.forEach((address) => {
         simnet.mintSTX(address, stxBalancesMap.get(address));
@@ -323,30 +325,59 @@ function scheduleRendezvous(targetContractSource, tests) {
     (ok (map-set context function-name {called: called})))`;
     return `${targetContractSource}\n\n${context}\n\n${tests}`;
 }
+/**
+ * Checks if a contract can be found in the deployment plan.
+ * @param deploymentPlan The parsed deployment plan.
+ * @param contractAddress The address of the contract.
+ * @param contractName The name of the contract.
+ * @returns True if the contract can be found in the deployment plan, false
+ * otherwise.
+ */
+const isContractInDeploymentPlan = (deploymentPlan, contractAddress, contractName) => {
+    return deploymentPlan.plan.batches.some((batch) => batch.transactions.some((transaction) => {
+        var _a, _b;
+        return ((_a = transaction["emulated-contract-publish"]) === null || _a === void 0 ? void 0 : _a["contract-name"]) ===
+            contractName &&
+            ((_b = transaction["emulated-contract-publish"]) === null || _b === void 0 ? void 0 : _b["emulated-sender"]) ===
+                contractAddress;
+    }));
+};
 /**
  * Maps the simnet accounts to their sBTC balances. The function tries to call
  * the `get-balance` function of the `sbtc-token` contract for each address. If
  * the call fails, it returns a balance of 0 for that address. The call fails
  * if the user is not working with sBTC.
  * @param simnet The simnet instance.
+ * @param deploymentPlan The parsed deployment plan.
+ * @param remoteDataSettings The remote data settings.
  * @returns A map of addresses to their sBTC balances.
  */
-const getSbtcBalancesFromSimnet = (simnet) => new Map([...simnet.getAccounts().values()].map((address) => {
-    try {
-        const { result: getBalanceResult } = simnet.callReadOnlyFn("SM3VDXK3WZZSA84XXFKAFAF15NNZX32CTSG82JFQ4.sbtc-token", "get-balance", [transactions_1.Cl.principal(address)], address);
-        // If the previous read-only call works, the user is working with
-        // sBTC. This means we can proceed with restoring sBTC balances.
-        const sbtcBalanceJSON = (0, transactions_1.cvToJSON)(getBalanceResult);
-        // The `get-balance` function returns a response containing the uint
-        // balance of the address. In the JSON representation, the balance is
-        // represented as a string. We need to parse it to an integer.
-        const sbtcBalance = parseInt(sbtcBalanceJSON.value.value, 10);
-        return [address, sbtcBalance];
-    }
-    catch (e) {
-        return [address, 0];
+const getSbtcBalancesFromSimnet = (simnet, deploymentPlan, remoteDataSettings) => {
+    // If the user is not using remote data and the deployment plan does not
+    // contain the `sbtc-token` contract, return a map with 0 balances for all
+    // addresses. When remote data is enabled, the sbtc-token contract will not
+    // necessarily be present in the deployment plan.
+    if (!remoteDataSettings.enabled &&
+        !isContractInDeploymentPlan(deploymentPlan, "SM3VDXK3WZZSA84XXFKAFAF15NNZX32CTSG82JFQ4", "sbtc-token")) {
+        return new Map([...simnet.getAccounts().values()].map((address) => [address, 0]));
     }
-}));
+    return new Map([...simnet.getAccounts().values()].map((address) => {
+        try {
+            const { result: getBalanceResult } = simnet.callReadOnlyFn("SM3VDXK3WZZSA84XXFKAFAF15NNZX32CTSG82JFQ4.sbtc-token", "get-balance", [transactions_1.Cl.principal(address)], address);
+            // If the previous read-only call works, the user is working with
+            // sBTC. This means we can proceed with restoring sBTC balances.
+            const sbtcBalanceJSON = (0, transactions_1.cvToJSON)(getBalanceResult);
+            // The `get-balance` function returns a response containing the uint
+            // balance of the address. In the JSON representation, the balance is
+            // represented as a string. We need to parse it to an integer.
+            const sbtcBalance = parseInt(sbtcBalanceJSON.value.value, 10);
+            return [address, sbtcBalance];
+        }
+        catch (e) {
+            return [address, 0];
+        }
+    }));
+};
 exports.getSbtcBalancesFromSimnet = getSbtcBalancesFromSimnet;
 /**
  * Utility function that restores the test wallets' initial sBTC balances in

package/dist/heatstroke.js

@@ -20,7 +20,7 @@ const shared_1 = require("./shared");
  * @param type The type of test that failed: invariant or property.
  * @returns void
  */
-function reporter(runDetails, radio, type) {
+function reporter(runDetails, radio, type, statistics) {
     var _a, _b;
     if (runDetails.failed) {
         // Report general run data.
@@ -79,4 +79,115 @@ function reporter(runDetails, radio, type) {
     else {
         radio.emit("logMessage", (0, ansicolor_1.green)(`\nOK, ${type === "invariant" ? "invariants" : "properties"} passed after ${runDetails.numRuns} runs.\n`));
     }
+    reportStatistics(statistics, type, radio);
+    radio.emit("logMessage", "\n");
 }
+const ARROW = "->";
+const SUCCESS_SYMBOL = "+";
+const FAIL_SYMBOL = "-";
+const WARN_SYMBOL = "!";
+/**
+ * Reports execution statistics in a tree-like format.
+ * @param statistics The statistics object containing test execution data.
+ * @param type The type of test being reported.
+ * @param radio The event emitter for logging messages.
+ */
+function reportStatistics(statistics, type, radio) {
+    if ((type === "invariant" && (!statistics.invariant || !statistics.sut)) ||
+        (type === "test" && !statistics.test)) {
+        radio.emit("logMessage", "No statistics available for this run");
+        return;
+    }
+    radio.emit("logMessage", `\nEXECUTION STATISTICS\n`);
+    switch (type) {
+        case "invariant": {
+            radio.emit("logMessage", "│ PUBLIC FUNCTION CALLS");
+            radio.emit("logMessage", "│");
+            radio.emit("logMessage", `├─ ${SUCCESS_SYMBOL} SUCCESSFUL`);
+            logAsTree(Object.fromEntries(statistics.sut.successful), radio);
+            radio.emit("logMessage", "│");
+            radio.emit("logMessage", `├─ ${FAIL_SYMBOL} IGNORED`);
+            logAsTree(Object.fromEntries(statistics.sut.failed), radio);
+            radio.emit("logMessage", "│");
+            radio.emit("logMessage", "│ INVARIANT CHECKS");
+            radio.emit("logMessage", "│");
+            radio.emit("logMessage", `├─ ${SUCCESS_SYMBOL} PASSED`);
+            logAsTree(Object.fromEntries(statistics.invariant.successful), radio);
+            radio.emit("logMessage", "│");
+            radio.emit("logMessage", `└─ ${FAIL_SYMBOL} FAILED`);
+            logAsTree(Object.fromEntries(statistics.invariant.failed), radio, {
+                isLastSection: true,
+            });
+            radio.emit("logMessage", "\nLEGEND:\n");
+            radio.emit("logMessage", "  SUCCESSFUL calls executed and advanced the test");
+            radio.emit("logMessage", "  IGNORED    calls failed but did not affect the test");
+            radio.emit("logMessage", "  PASSED     invariants maintained system integrity");
+            radio.emit("logMessage", "  FAILED     invariants indicate contract vulnerabilities");
+            if (computeTotalCount(statistics.invariant.failed) > 0) {
+                radio.emit("logFailure", "\n! FAILED invariants require immediate attention as they indicate that your contract can enter an invalid state under certain conditions.");
+            }
+            break;
+        }
+        case "test": {
+            radio.emit("logMessage", "│ PROPERTY TEST CALLS");
+            radio.emit("logMessage", "│");
+            radio.emit("logMessage", `├─ ${SUCCESS_SYMBOL} PASSED`);
+            logAsTree(Object.fromEntries(statistics.test.successful), radio);
+            radio.emit("logMessage", "│");
+            radio.emit("logMessage", `├─ ${WARN_SYMBOL} DISCARDED`);
+            logAsTree(Object.fromEntries(statistics.test.discarded), radio);
+            radio.emit("logMessage", "│");
+            radio.emit("logMessage", `└─ ${FAIL_SYMBOL} FAILED`);
+            logAsTree(Object.fromEntries(statistics.test.failed), radio, {
+                isLastSection: true,
+            });
+            radio.emit("logMessage", "\nLEGEND:\n");
+            radio.emit("logMessage", "  PASSED    properties verified for given inputs");
+            radio.emit("logMessage", "  DISCARDED skipped due to invalid preconditions");
+            radio.emit("logMessage", "  FAILED    property violations or unexpected behavior");
+            if (computeTotalCount(statistics.test.failed) > 0) {
+                radio.emit("logFailure", "\n! FAILED tests indicate that your function properties don't hold for all inputs. Review the counterexamples above for debugging.");
+            }
+            break;
+        }
+    }
+}
+/**
+ * Displays a tree structure of data.
+ * @param tree The object to display as a tree.
+ * @param radio The event emitter for logging messages.
+ * @param options Configuration options for tree display.
+ */
+function logAsTree(tree, radio, options = {}) {
+    const { isLastSection = false, baseIndent = "   " } = options;
+    const printTree = (node, indent = baseIndent, isLastParent = true, radio) => {
+        const keys = Object.keys(node);
+        keys.forEach((key, index) => {
+            const isLast = index === keys.length - 1;
+            const connector = isLast ? "└─" : "├─";
+            const nextIndent = indent + (isLastParent ? "   " : "│  ");
+            const leadingChar = isLastSection ? " " : "│";
+            if (typeof node[key] === "object" && node[key] !== null) {
+                radio.emit("logMessage", `${leadingChar} ${indent}${connector} ${ARROW} ${key}`);
+                printTree(node[key], nextIndent, isLast, radio);
+            }
+            else {
+                const count = node[key];
+                radio.emit("logMessage", `${leadingChar} ${indent}${connector} ${key}: x${count}`);
+            }
+        });
+    };
+    printTree(tree, baseIndent, true, radio);
+}
+/**
+ * Computes the total number of failures from a failure map.
+ * @param failedMap Map containing failure counts by test name
+ * @returns The sum of all failure counts
+ */
+const computeTotalCount = (failedMap) => {
+    let totalFailures = 0;
+    for (const count of failedMap.values()) {
+        totalFailures += count;
+    }
+    return totalFailures;
+};

package/dist/invariant.js

@@ -38,17 +38,35 @@ const dialer_1 = require("./dialer");
  * @returns void
  */
 const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousAllFunctions, seed, path, runs, bail, dialerRegistry, radio) => __awaiter(void 0, void 0, void 0, function* () {
+    const statistics = {
+        sut: {
+            successful: new Map(),
+            failed: new Map(),
+        },
+        invariant: {
+            successful: new Map(),
+            failed: new Map(),
+        },
+    };
     // A map where the keys are the Rendezvous identifiers and the values are
     // arrays of their SUT (System Under Test) functions. This map will be used
     // to access the SUT functions for each Rendezvous contract afterwards.
     const rendezvousSutFunctions = filterSutFunctions(rendezvousAllFunctions);
+    // The Rendezvous identifier is the first one in the list. Only one contract
+    // can be fuzzed at a time.
+    const rendezvousContractId = rendezvousList[0];
+    for (const functionInterface of rendezvousSutFunctions.get(rendezvousContractId)) {
+        statistics.sut.successful.set(functionInterface.name, 0);
+        statistics.sut.failed.set(functionInterface.name, 0);
+    }
     // A map where the keys are the Rendezvous identifiers and the values are
     // arrays of their invariant functions. This map will be used to access the
     // invariant functions for each Rendezvous contract afterwards.
     const rendezvousInvariantFunctions = filterInvariantFunctions(rendezvousAllFunctions);
-    // The Rendezvous identifier is the first one in the list. Only one contract
-    // can be fuzzed at a time.
-    const rendezvousContractId = rendezvousList[0];
+    for (const functionInterface of rendezvousInvariantFunctions.get(rendezvousContractId)) {
+        statistics.invariant.successful.set(functionInterface.name, 0);
+        statistics.invariant.failed.set(functionInterface.name, 0);
+    }
     const traitReferenceSutFunctions = rendezvousSutFunctions
         .get(rendezvousContractId)
         .filter((fn) => (0, traits_1.isTraitReferenceFunction)(fn));
@@ -95,7 +113,7 @@ const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousA
         return;
     }
     const radioReporter = (runDetails) => {
-        (0, heatstroke_1.reporter)(runDetails, radio, "invariant");
+        (0, heatstroke_1.reporter)(runDetails, radio, "invariant", statistics);
     };
     yield fast_check_1.default.assert(fast_check_1.default.asyncProperty(fast_check_1.default
         .record({
@@ -178,6 +196,7 @@ const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousA
                 // call during the run.
                 const selectedFunctionClarityResult = (0, transactions_1.cvToString)(functionCall.result);
                 if (functionCallResultJson.success) {
+                    statistics.sut.successful.set(selectedFunction.name, statistics.sut.successful.get(selectedFunction.name) + 1);
                     localContext[r.rendezvousContractId][selectedFunction.name]++;
                     simnet.callPublicFn(r.rendezvousContractId, "update-context", [
                         transactions_1.Cl.stringAscii(selectedFunction.name),
@@ -206,6 +225,7 @@ const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousA
                 }
                 else {
                     // Function call failed.
+                    statistics.sut.failed.set(selectedFunction.name, statistics.sut.failed.get(selectedFunction.name) + 1);
                     radio.emit("logMessage", (0, ansicolor_1.dim)(`₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
                         `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
                         `${sutCallerWallet}        ` +
@@ -257,6 +277,8 @@ const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousA
             const invariantCallResultJson = (0, transactions_1.cvToJSON)(invariantCallResult);
             const invariantCallClarityResult = (0, transactions_1.cvToString)(invariantCallResult);
             if (invariantCallResultJson.value === true) {
+                statistics.invariant.successful.set(r.selectedInvariant.name, statistics.invariant.successful.get(r.selectedInvariant.name) +
+                    1);
                 radio.emit("logMessage", `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
                     `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
                     `${(0, ansicolor_1.dim)(invariantCallerWallet)} ` +
@@ -267,6 +289,7 @@ const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousA
                     (0, ansicolor_1.green)(invariantCallClarityResult));
             }
             else {
+                statistics.invariant.failed.set(r.selectedInvariant.name, statistics.invariant.failed.get(r.selectedInvariant.name) + 1);
                 radio.emit("logMessage", (0, ansicolor_1.red)(`₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
                     `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
                     `${invariantCallerWallet} ` +

package/dist/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@stacks/rendezvous",
-    "version": "0.8.0",
+    "version": "0.10.0",
     "description": "Meet your contract's vulnerabilities head-on.",
     "main": "app.js",
     "bin": {
@@ -8,7 +8,7 @@
     },
     "scripts": {
         "build": "npx -p typescript tsc --project tsconfig.json && node -e \"if (process.platform !== 'win32') require('fs').chmodSync('./dist/app.js', 0o755);\"",
-        "test": "npx jest",
+        "test": "npx jest --testTimeout=15000",
         "test:coverage": "npx tsc --project tsconfig.json && npx jest --coverage"
     },
     "keywords": [
@@ -30,15 +30,15 @@
         "url": "https://github.com/stacks-network/rendezvous.git"
     },
     "dependencies": {
-        "@hirosystems/clarinet-sdk": "^3.0.1",
-        "@stacks/transactions": "^7.0.6",
+        "@hirosystems/clarinet-sdk": "^3.7.0",
+        "@stacks/transactions": "^7.2.0",
         "ansicolor": "^2.0.3",
         "fast-check": "^3.20.0",
         "toml": "^3.0.0",
         "yaml": "^2.6.1"
     },
     "devDependencies": {
-        "@hirosystems/clarinet-sdk-wasm": "^3.0.1",
+        "@hirosystems/clarinet-sdk-wasm": "^3.7.0",
         "@types/jest": "^29.5.12",
         "jest": "^29.7.0",
         "ts-jest": "^29.2.5",

package/dist/property.js

@@ -27,11 +27,23 @@ const traits_1 = require("./traits");
  * @returns void
  */
 const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousAllFunctions, seed, path, runs, bail, radio) => {
+    const statistics = {
+        test: {
+            successful: new Map(),
+            discarded: new Map(),
+            failed: new Map(),
+        },
+    };
     const testContractId = rendezvousList[0];
     // A map where the keys are the test contract identifiers and the values are
     // arrays of their test functions. This map will be used to access the test
     // functions for each test contract in the property-based testing routine.
     const testContractsTestFunctions = filterTestFunctions(rendezvousAllFunctions);
+    for (const functionInterface of testContractsTestFunctions.get(testContractId)) {
+        statistics.test.successful.set(functionInterface.name, 0);
+        statistics.test.discarded.set(functionInterface.name, 0);
+        statistics.test.failed.set(functionInterface.name, 0);
+    }
     const traitReferenceFunctions = testContractsTestFunctions
         .get(testContractId)
         .filter((fn) => (0, traits_1.isTraitReferenceFunction)(fn));
@@ -81,7 +93,7 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
         return;
     }
     const radioReporter = (runDetails) => {
-        (0, heatstroke_1.reporter)(runDetails, radio, "test");
+        (0, heatstroke_1.reporter)(runDetails, radio, "test", statistics);
     };
     fast_check_1.default.assert(fast_check_1.default.property(fast_check_1.default
         .record({
@@ -134,6 +146,7 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
             .get(r.selectedTestFunction.name);
         const discarded = isTestDiscarded(discardFunctionName, selectedTestFunctionArgs, r.testContractId, simnet, testCallerAddress);
         if (discarded) {
+            statistics.test.discarded.set(r.selectedTestFunction.name, statistics.test.discarded.get(r.selectedTestFunction.name) + 1);
             radio.emit("logMessage", `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
                 `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
                 `${(0, ansicolor_1.dim)(testCallerWallet)} ` +
@@ -151,6 +164,7 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
                 const discardedInPlace = (0, exports.isTestDiscardedInPlace)(testFunctionCallResultJson);
                 const testFunctionCallClarityResult = (0, transactions_1.cvToString)(testFunctionCallResult);
                 if (discardedInPlace) {
+                    statistics.test.discarded.set(r.selectedTestFunction.name, statistics.test.discarded.get(r.selectedTestFunction.name) + 1);
                     radio.emit("logMessage", `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
                         `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
                         `${(0, ansicolor_1.dim)(testCallerWallet)} ` +
@@ -163,6 +177,8 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
                 else if (!discardedInPlace &&
                     testFunctionCallResultJson.success &&
                     testFunctionCallResultJson.value.value === true) {
+                    statistics.test.successful.set(r.selectedTestFunction.name, statistics.test.successful.get(r.selectedTestFunction.name) +
+                        1);
                     radio.emit("logMessage", `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
                         `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
                         `${(0, ansicolor_1.dim)(testCallerWallet)} ` +
@@ -176,6 +192,7 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
                     }
                 }
                 else {
+                    statistics.test.failed.set(r.selectedTestFunction.name, statistics.test.failed.get(r.selectedTestFunction.name) + 1);
                     // 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)`.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stacks/rendezvous",
-  "version": "0.8.0",
+  "version": "0.10.0",
   "description": "Meet your contract's vulnerabilities head-on.",
   "main": "app.js",
   "bin": {
@@ -8,7 +8,7 @@
   },
   "scripts": {
     "build": "npx -p typescript tsc --project tsconfig.json && node -e \"if (process.platform !== 'win32') require('fs').chmodSync('./dist/app.js', 0o755);\"",
-    "test": "npx jest",
+    "test": "npx jest --testTimeout=15000",
     "test:coverage": "npx tsc --project tsconfig.json && npx jest --coverage"
   },
   "keywords": [
@@ -30,15 +30,15 @@
     "url": "https://github.com/stacks-network/rendezvous.git"
   },
   "dependencies": {
-    "@hirosystems/clarinet-sdk": "^3.0.1",
-    "@stacks/transactions": "^7.0.6",
+    "@hirosystems/clarinet-sdk": "^3.7.0",
+    "@stacks/transactions": "^7.2.0",
     "ansicolor": "^2.0.3",
     "fast-check": "^3.20.0",
     "toml": "^3.0.0",
     "yaml": "^2.6.1"
   },
   "devDependencies": {
-    "@hirosystems/clarinet-sdk-wasm": "^3.0.1",
+    "@hirosystems/clarinet-sdk-wasm": "^3.7.0",
     "@types/jest": "^29.5.12",
     "jest": "^29.7.0",
     "ts-jest": "^29.2.5",