@stacks/rendezvous 0.9.0 → 0.11.0

package/README.md

@@ -8,7 +8,7 @@ Rendezvous `rv` is a Clarity fuzzer designed to cut through your smart contract'
 
 ### Prerequisites
 
-- **Node.js**: Supported versions include 18, 20, and 22. Other versions may work, but they are untested.
+- **Node.js**: Supported versions include 20, 22, and 23. Other versions may work, but they are untested.
 
 ### Inspiration
 
@@ -53,7 +53,6 @@ npx rv <path-to-clarinet-project> <contract-name> <type>
 **Options:**
 
 - `--seed` – The seed to use for the replay functionality.
-- `--path` – The path to use for the replay functionality.
 - `--runs` – The number of test iterations to use for exercising the contracts.
   (default: `100`)
 - `--bail` – Stop after the first failure.

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");
@@ -25,6 +25,7 @@ const citizen_1 = require("./citizen");
 const package_json_1 = require("./package.json");
 const ansicolor_1 = require("ansicolor");
 const fs_1 = require("fs");
+const util_1 = require("util");
 const dialer_1 = require("./dialer");
 const logger = (log, logLevel = "log") => {
     console[logLevel](log);
@@ -35,16 +36,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 +56,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;
@@ -83,7 +72,7 @@ exports.tryParseRemoteDataSettings = tryParseRemoteDataSettings;
 const helpMessage = `
   rv v${package_json_1.version}
   
-  Usage: rv <path-to-clarinet-project> <contract-name> <type> [--seed=<seed>] [--path=<path>] [--runs=<runs>] [--dial=<path-to-dialers-file>] [--help]
+  Usage: rv <path-to-clarinet-project> <contract-name> <type> [--seed=<seed>] [--runs=<runs>] [--dial=<path-to-dialers-file>] [--help]
 
   Positional arguments:
     path-to-clarinet-project - The path to the Clarinet project.
@@ -92,45 +81,61 @@ const helpMessage = `
 
   Options:
     --seed - The seed to use for the replay functionality.
-    --path - The path to use for the replay functionality.
     --runs - The runs to use for iterating over the tests. Default: 100.
     --bail - Stop after the first failure.
     --dial – The path to a JavaScript file containing custom pre- and post-execution functions (dialers).
     --help - Show the help message.
   `;
-const parseBooleanOption = (argName) => process.argv.slice(4).includes(`--${argName}`);
-const parseOption = (argName) => {
-    var _a;
-    return (_a = process.argv
-        .find((arg, idx) => idx >= 4 && arg.toLowerCase().startsWith(`--${argName}`))) === null || _a === void 0 ? void 0 : _a.split("=")[1];
-};
 function main() {
     return __awaiter(this, void 0, void 0, function* () {
-        var _a;
         const radio = new events_1.EventEmitter();
         radio.on("logMessage", (log) => logger(log));
         radio.on("logFailure", (log) => logger((0, ansicolor_1.red)(log), "error"));
-        const args = process.argv;
-        if (args.includes("--help")) {
+        const { positionals: positionalArgs, values: options } = (0, util_1.parseArgs)({
+            allowPositionals: true,
+            args: process.argv.slice(2),
+            options: {
+                seed: { type: "string" },
+                runs: { type: "string" },
+                dial: { type: "string" },
+                bail: { type: "boolean" },
+                help: { type: "boolean", short: "h" },
+            },
+        });
+        const [manifestDir, sutContractName, type] = positionalArgs;
+        const runConfig = {
+            /** The relative path to the Clarinet project. */
+            manifestDir: manifestDir,
+            /** The target contract name. */
+            sutContractName: sutContractName,
+            /** The type of testing to be executed. Valid values: test, invariant. */
+            type: type === null || type === void 0 ? void 0 : type.toLowerCase(),
+            /** The seed to use for the replay functionality. */
+            seed: options.seed ? parseInt(options.seed, 10) : undefined,
+            /** The number of runs to use. */
+            runs: options.runs ? parseInt(options.runs, 10) : undefined,
+            /** Whether to bail on the first failure. */
+            bail: options.bail || false,
+            /** The path to the dialer file. */
+            dial: options.dial || undefined,
+            /** Whether to show the help message. */
+            help: options.help || false,
+        };
+        if (runConfig.help) {
             radio.emit("logMessage", helpMessage);
             return;
         }
-        /** The relative path to the Clarinet project. */
-        const manifestDir = args[2];
-        if (!manifestDir || manifestDir.startsWith("--")) {
+        if (!runConfig.manifestDir) {
             radio.emit("logMessage", (0, ansicolor_1.red)("\nNo path to Clarinet project provided. Supply it immediately or face the relentless scrutiny of your contract's vulnerabilities."));
             radio.emit("logMessage", helpMessage);
             return;
         }
-        /** The target contract name. */
-        const sutContractName = args[3];
-        if (!sutContractName || sutContractName.startsWith("--")) {
+        if (!runConfig.sutContractName) {
             radio.emit("logMessage", (0, ansicolor_1.red)("\nNo target contract name provided. Please provide the contract name to be fuzzed."));
             radio.emit("logMessage", helpMessage);
             return;
         }
-        const type = (_a = args[4]) === null || _a === void 0 ? void 0 : _a.toLowerCase();
-        if (!type || type.startsWith("--") || !["test", "invariant"].includes(type)) {
+        if (!runConfig.type || !["test", "invariant"].includes(runConfig.type)) {
             radio.emit("logMessage", (0, ansicolor_1.red)("\nInvalid type provided. Please provide the type of test to be executed. Possible values: test, invariant."));
             radio.emit("logMessage", helpMessage);
             return;
@@ -139,59 +144,49 @@ function main() {
          * The relative path to the manifest file, either `Clarinet.toml` or
          * `Clarinet-<contract-name>.toml`. If the latter exists, it is used.
          */
-        const manifestPath = (0, path_1.join)(manifestDir, (0, exports.getManifestFileName)(manifestDir, sutContractName));
+        const manifestPath = (0, path_1.join)(runConfig.manifestDir, (0, exports.getManifestFileName)(runConfig.manifestDir, runConfig.sutContractName));
         radio.emit("logMessage", `Using manifest path: ${manifestPath}`);
-        radio.emit("logMessage", `Target contract: ${sutContractName}`);
-        const seed = parseInt(parseOption("seed"), 10) || undefined;
-        if (seed !== undefined) {
-            radio.emit("logMessage", `Using seed: ${seed}`);
+        radio.emit("logMessage", `Target contract: ${runConfig.sutContractName}`);
+        if (runConfig.seed !== undefined) {
+            radio.emit("logMessage", `Using seed: ${runConfig.seed}`);
         }
-        const path = parseOption("path") || undefined;
-        if (path !== undefined) {
-            radio.emit("logMessage", `Using path: ${path}`);
+        if (runConfig.runs !== undefined) {
+            radio.emit("logMessage", `Using runs: ${runConfig.runs}`);
         }
-        const runs = parseInt(parseOption("runs"), 10) || undefined;
-        if (runs !== undefined) {
-            radio.emit("logMessage", `Using runs: ${runs}`);
-        }
-        const bail = parseBooleanOption("bail");
-        if (bail) {
+        if (runConfig.bail) {
             radio.emit("logMessage", `Bailing on first failure.`);
         }
-        /**
-         * The path to the dialer file. The dialer file allows the user to register
-         * custom pre and post-execution JavaScript functions to be executed before
-         * and after the public function calls during invariant testing.
-         */
-        const dialPath = parseOption("dial") || undefined;
-        if (dialPath !== undefined) {
-            radio.emit("logMessage", `Using dial path: ${dialPath}`);
+        if (runConfig.dial !== undefined) {
+            radio.emit("logMessage", `Using dial path: ${runConfig.dial}`);
         }
         /**
          * The dialer registry, which is used to keep track of all the custom dialers
          * registered by the user using the `--dial` flag.
          */
-        const dialerRegistry = dialPath !== undefined ? new dialer_1.DialerRegistry(dialPath) : undefined;
+        const dialerRegistry = runConfig.dial !== undefined
+            ? new dialer_1.DialerRegistry(runConfig.dial)
+            : undefined;
         if (dialerRegistry !== undefined) {
             dialerRegistry.registerDialers();
         }
         const remoteDataSettings = (0, exports.tryParseRemoteDataSettings)(manifestPath, radio);
-        const simnet = yield (0, citizen_1.issueFirstClassCitizenship)(manifestDir, manifestPath, remoteDataSettings, sutContractName);
+        const simnet = yield (0, citizen_1.issueFirstClassCitizenship)(runConfig.manifestDir, manifestPath, remoteDataSettings, runConfig.sutContractName);
         /**
          * The list of contract IDs for the SUT contract names, as per the simnet.
          */
-        const rendezvousList = Array.from((0, shared_1.getSimnetDeployerContractsInterfaces)(simnet).keys()).filter((deployedContract) => (0, shared_1.getContractNameFromContractId)(deployedContract) === sutContractName);
+        const rendezvousList = Array.from((0, shared_1.getSimnetDeployerContractsInterfaces)(simnet).keys()).filter((deployedContract) => (0, shared_1.getContractNameFromContractId)(deployedContract) ===
+            runConfig.sutContractName);
         const rendezvousAllFunctions = (0, shared_1.getFunctionsFromContractInterfaces)(new Map(Array.from((0, shared_1.getSimnetDeployerContractsInterfaces)(simnet)).filter(([contractId]) => rendezvousList.includes(contractId))));
         // Select the testing routine based on `type`.
         // If "invariant", call `checkInvariants` to verify contract invariants.
         // If "test", call `checkProperties` for property-based testing.
-        switch (type) {
+        switch (runConfig.type) {
             case "invariant": {
-                yield (0, invariant_1.checkInvariants)(simnet, sutContractName, rendezvousList, rendezvousAllFunctions, seed, path, runs, bail, dialerRegistry, radio);
+                yield (0, invariant_1.checkInvariants)(simnet, runConfig.sutContractName, rendezvousList, rendezvousAllFunctions, runConfig.seed, runConfig.runs, runConfig.bail, dialerRegistry, radio);
                 break;
             }
             case "test": {
-                (0, property_1.checkProperties)(simnet, sutContractName, rendezvousList, rendezvousAllFunctions, seed, path, runs, bail, radio);
+                (0, property_1.checkProperties)(simnet, runConfig.sutContractName, rendezvousList, rendezvousAllFunctions, runConfig.seed, runConfig.runs, runConfig.bail, radio);
                 break;
             }
         }

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/invariant.js

@@ -29,7 +29,6 @@ const dialer_1 = require("./dialer");
  * @param rendezvousAllFunctions The map of all function interfaces for each
  * target contract.
  * @param seed The seed for reproducible invariant testing.
- * @param path The path for reproducible invariant testing.
  * @param runs The number of test runs.
  * @param bail Stop execution after the first failure and prevent further
  * shrinking.
@@ -37,7 +36,7 @@ const dialer_1 = require("./dialer");
  * @param radio The custom logging event emitter.
  * @returns void
  */
-const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousAllFunctions, seed, path, runs, bail, dialerRegistry, radio) => __awaiter(void 0, void 0, void 0, function* () {
+const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousAllFunctions, seed, runs, bail, dialerRegistry, radio) => __awaiter(void 0, void 0, void 0, function* () {
     const statistics = {
         sut: {
             successful: new Map(),
@@ -48,13 +47,14 @@ const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousA
             failed: new Map(),
         },
     };
+    // The Rendezvous identifier is the first one in the list. Only one contract
+    // can be fuzzed at a time.
+    const rendezvousContractId = rendezvousList[0];
     // 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];
+    // Initialize the statistics for the SUT functions.
     for (const functionInterface of rendezvousSutFunctions.get(rendezvousContractId)) {
         statistics.sut.successful.set(functionInterface.name, 0);
         statistics.sut.failed.set(functionInterface.name, 0);
@@ -63,47 +63,79 @@ const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousA
     // arrays of their invariant functions. This map will be used to access the
     // invariant functions for each Rendezvous contract afterwards.
     const rendezvousInvariantFunctions = filterInvariantFunctions(rendezvousAllFunctions);
+    // Initialize the statistics for the invariant functions.
     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));
-    const traitReferenceInvariantFunctions = rendezvousInvariantFunctions
-        .get(rendezvousContractId)
-        .filter((fn) => (0, traits_1.isTraitReferenceFunction)(fn));
-    const projectTraitImplementations = (0, traits_1.extractProjectTraitImplementations)(simnet);
-    if (Object.entries(projectTraitImplementations).length === 0 &&
-        (traitReferenceSutFunctions.length > 0 ||
-            traitReferenceInvariantFunctions.length > 0)) {
-        const foundTraitReferenceMessage = traitReferenceSutFunctions.length > 0 &&
-            traitReferenceInvariantFunctions.length > 0
-            ? "public functions and invariants"
-            : traitReferenceSutFunctions.length > 0
-                ? "public functions"
-                : "invariants";
-        radio.emit("logMessage", (0, ansicolor_1.red)(`\nFound ${foundTraitReferenceMessage} referencing traits, but no trait implementations were found in the project.
-\nNote: You can add contracts implementing traits either as project contracts or as Clarinet requirements. For more details, visit: https://www.hiro.so/clarinet/.
-\n`));
-        return;
-    }
+    const sutFunctions = rendezvousSutFunctions.get(rendezvousContractId);
+    const traitReferenceSutFunctions = sutFunctions.filter(traits_1.isTraitReferenceFunction);
+    const invariantFunctions = rendezvousInvariantFunctions.get(rendezvousContractId);
+    const traitReferenceInvariantFunctions = invariantFunctions.filter(traits_1.isTraitReferenceFunction);
+    const sutTraitReferenceMap = (0, traits_1.buildTraitReferenceMap)(sutFunctions);
+    const invariantTraitReferenceMap = (0, traits_1.buildTraitReferenceMap)(invariantFunctions);
     const enrichedSutFunctionsInterfaces = traitReferenceSutFunctions.length > 0
-        ? (0, traits_1.enrichInterfaceWithTraitData)(simnet.getContractAST(targetContractName), (0, traits_1.buildTraitReferenceMap)(rendezvousSutFunctions.get(rendezvousContractId)), rendezvousSutFunctions.get(rendezvousContractId), rendezvousContractId)
+        ? (0, traits_1.enrichInterfaceWithTraitData)(simnet.getContractAST(targetContractName), sutTraitReferenceMap, sutFunctions, rendezvousContractId)
         : rendezvousSutFunctions;
     const enrichedInvariantFunctionsInterfaces = traitReferenceInvariantFunctions.length > 0
-        ? (0, traits_1.enrichInterfaceWithTraitData)(simnet.getContractAST(targetContractName), (0, traits_1.buildTraitReferenceMap)(rendezvousInvariantFunctions.get(rendezvousContractId)), rendezvousInvariantFunctions.get(rendezvousContractId), rendezvousContractId)
+        ? (0, traits_1.enrichInterfaceWithTraitData)(simnet.getContractAST(targetContractName), invariantTraitReferenceMap, invariantFunctions, rendezvousContractId)
         : rendezvousInvariantFunctions;
+    // Map all the project/requirement contracts to the traits they implement.
+    const projectTraitImplementations = (0, traits_1.extractProjectTraitImplementations)(simnet);
+    // Extract SUT functions with missing trait implementations. These functions
+    // will be skipped during invariant testing. Otherwise, the invariant testing
+    // routine can fail during argument generation.
+    const sutFunctionsWithMissingTraits = (0, traits_1.getNonTestableTraitFunctions)(enrichedSutFunctionsInterfaces, sutTraitReferenceMap, projectTraitImplementations, rendezvousContractId);
+    // Extract invariant functions with missing trait implementations. These
+    // functions will be skipped during invariant testing. Otherwise, the
+    // invariant testing routine can fail during argument generation.
+    const invariantFunctionsWithMissingTraits = (0, traits_1.getNonTestableTraitFunctions)(enrichedInvariantFunctionsInterfaces, invariantTraitReferenceMap, projectTraitImplementations, rendezvousContractId);
+    if (sutFunctionsWithMissingTraits.length > 0 ||
+        invariantFunctionsWithMissingTraits.length > 0) {
+        if (sutFunctionsWithMissingTraits.length > 0) {
+            const functionList = sutFunctionsWithMissingTraits
+                .map((fn) => `  - ${fn}`)
+                .join("\n");
+            radio.emit("logMessage", (0, ansicolor_1.yellow)(`\nWarning: The following SUT functions reference traits without eligible implementations and will be skipped:\n\n${functionList}\n`));
+        }
+        if (invariantFunctionsWithMissingTraits.length > 0) {
+            const functionList = invariantFunctionsWithMissingTraits
+                .map((fn) => `  - ${fn}`)
+                .join("\n");
+            radio.emit("logMessage", (0, ansicolor_1.yellow)(`\nWarning: The following invariant functions reference traits without eligible implementations and will be skipped:\n\n${functionList}\n`));
+        }
+        radio.emit("logMessage", (0, ansicolor_1.yellow)(`Note: You can add contracts implementing traits either as project contracts or as Clarinet requirements.\n`));
+    }
+    // Filter out functions with missing trait implementations from the enriched
+    // map.
+    const executableSutFunctions = new Map([
+        [
+            rendezvousContractId,
+            enrichedSutFunctionsInterfaces
+                .get(rendezvousContractId)
+                .filter((f) => !sutFunctionsWithMissingTraits.includes(f.name)),
+        ],
+    ]);
+    // Filter out functions with missing trait implementations from the enriched
+    // map.
+    const executableInvariantFunctions = new Map([
+        [
+            rendezvousContractId,
+            enrichedInvariantFunctionsInterfaces
+                .get(rendezvousContractId)
+                .filter((f) => !invariantFunctionsWithMissingTraits.includes(f.name)),
+        ],
+    ]);
     // Set up local context to track SUT function call counts.
-    const localContext = (0, exports.initializeLocalContext)(enrichedSutFunctionsInterfaces);
+    const localContext = (0, exports.initializeLocalContext)(executableSutFunctions);
     // Set up context in simnet by initializing state for SUT.
-    (0, exports.initializeClarityContext)(simnet, enrichedSutFunctionsInterfaces);
+    (0, exports.initializeClarityContext)(simnet, executableSutFunctions);
     radio.emit("logMessage", `\nStarting invariant testing type for the ${targetContractName} contract...\n`);
     const simnetAccounts = simnet.getAccounts();
     const eligibleAccounts = new Map([...simnetAccounts].filter(([key]) => key !== "faucet"));
     const simnetAddresses = Array.from(simnetAccounts.values());
-    const functions = (0, shared_1.getFunctionsListForContract)(enrichedSutFunctionsInterfaces, rendezvousContractId);
-    const invariants = (0, shared_1.getFunctionsListForContract)(enrichedInvariantFunctionsInterfaces, rendezvousContractId);
+    const functions = (0, shared_1.getFunctionsListForContract)(executableSutFunctions, rendezvousContractId);
+    const invariants = (0, shared_1.getFunctionsListForContract)(executableInvariantFunctions, rendezvousContractId);
     if ((functions === null || functions === void 0 ? void 0 : functions.length) === 0) {
         radio.emit("logMessage", (0, ansicolor_1.red)(`No public functions found for the "${targetContractName}" contract. Without public functions, no state transitions can happen inside the contract, and the invariant test is not meaningful.\n`));
         return;
@@ -325,7 +357,6 @@ const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousA
     })), {
         endOnFailure: bail,
         numRuns: runs,
-        path: path,
         reporter: radioReporter,
         seed: seed,
         verbose: true,

package/dist/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@stacks/rendezvous",
-    "version": "0.9.0",
+    "version": "0.11.0",
     "description": "Meet your contract's vulnerabilities head-on.",
     "main": "app.js",
     "bin": {
@@ -9,7 +9,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:coverage": "npx tsc --project tsconfig.json && npx jest --coverage"
+        "test:coverage": "npx jest --coverage"
     },
     "keywords": [
         "stacks",
@@ -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

@@ -19,14 +19,13 @@ const traits_1 = require("./traits");
  * @param rendezvousAllFunctions A map of all target contract IDs to their
  * function interfaces.
  * @param seed The seed for reproducible property-based tests.
- * @param path The path for reproducible property-based tests.
  * @param runs The number of test runs.
  * @param bail Stop execution after the first failure and prevent further
  * shrinking.
  * @param radio The custom logging event emitter.
  * @returns void
  */
-const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousAllFunctions, seed, path, runs, bail, radio) => {
+const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousAllFunctions, seed, runs, bail, radio) => {
     const statistics = {
         test: {
             successful: new Map(),
@@ -44,20 +43,39 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
         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));
+    const allTestFunctions = testContractsTestFunctions.get(testContractId);
+    const traitReferenceFunctionsCount = allTestFunctions.filter(traits_1.isTraitReferenceFunction).length;
+    const traitReferenceMap = (0, traits_1.buildTraitReferenceMap)(allTestFunctions);
+    const enrichedTestFunctionsInterfaces = traitReferenceFunctionsCount > 0
+        ? (0, traits_1.enrichInterfaceWithTraitData)(simnet.getContractAST(targetContractName), traitReferenceMap, allTestFunctions, testContractId)
+        : testContractsTestFunctions;
     const projectTraitImplementations = (0, traits_1.extractProjectTraitImplementations)(simnet);
-    if (Object.entries(projectTraitImplementations).length === 0 &&
-        traitReferenceFunctions.length > 0) {
-        radio.emit("logMessage", (0, ansicolor_1.red)(`\nFound test functions referencing traits, but no trait implementations were found in the project.
-\nNote: You can add contracts implementing traits either as project contracts or as Clarinet requirements. For more details, visit: https://www.hiro.so/clarinet/.
-\n`));
-        return;
+    // If the tests contain trait reference functions, extract the functions with
+    // missing trait implementations. These functions need to be skipped during
+    // property-based testing. Otherwise, the property-based testing routine will
+    // eventually fail during argument generation.
+    const functionsMissingTraitImplementations = traitReferenceFunctionsCount > 0
+        ? (0, traits_1.getNonTestableTraitFunctions)(enrichedTestFunctionsInterfaces, traitReferenceMap, projectTraitImplementations, testContractId)
+        : [];
+    // If the tests contain trait reference functions without eligible trait
+    // implementations, log a warning and filter out the functions.
+    if (functionsMissingTraitImplementations.length > 0) {
+        const functionList = functionsMissingTraitImplementations
+            .map((fn) => `  - ${fn}`)
+            .join("\n");
+        radio.emit("logMessage", (0, ansicolor_1.yellow)(`\nWarning: The following test functions reference traits without eligible implementations and will be skipped:\n\n${functionList}\n`));
+        radio.emit("logMessage", (0, ansicolor_1.yellow)(`Note: You can add contracts implementing traits either as project contracts or as requirements.\n`));
     }
-    const enrichedTestFunctionsInterfaces = traitReferenceFunctions.length > 0
-        ? (0, traits_1.enrichInterfaceWithTraitData)(simnet.getContractAST(targetContractName), (0, traits_1.buildTraitReferenceMap)(testContractsTestFunctions.get(testContractId)), testContractsTestFunctions.get(testContractId), testContractId)
-        : testContractsTestFunctions;
+    // Filter out test functions with missing trait implementations from the
+    // enriched map.
+    const executableTestContractsTestFunctions = new Map([
+        [
+            testContractId,
+            enrichedTestFunctionsInterfaces
+                .get(testContractId)
+                .filter((functionInterface) => !functionsMissingTraitImplementations.includes(functionInterface.name)),
+        ],
+    ]);
     radio.emit("logMessage", `\nStarting property testing type for the ${targetContractName} contract...\n`);
     // Search for discard functions, for each test function. This map will
     // be used to pair the test functions with their corresponding discard
@@ -69,7 +87,7 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
     // Pair each test function with its corresponding discard function. When a
     // test function is selected, Rendezvous will first call its discard
     // function, to allow or prevent the property test from running.
-    const testContractsPairedFunctions = new Map(Array.from(testContractsTestFunctions, ([contractId, functions]) => [
+    const testContractsPairedFunctions = new Map(Array.from(executableTestContractsTestFunctions, ([contractId, functions]) => [
         contractId,
         new Map(functions.map((f) => {
             var _a;
@@ -87,7 +105,7 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
     const simnetAccounts = simnet.getAccounts();
     const eligibleAccounts = new Map([...simnetAccounts].filter(([key]) => key !== "faucet"));
     const simnetAddresses = Array.from(simnetAccounts.values());
-    const testFunctions = (0, shared_1.getFunctionsListForContract)(enrichedTestFunctionsInterfaces, testContractId);
+    const testFunctions = (0, shared_1.getFunctionsListForContract)(executableTestContractsTestFunctions, testContractId);
     if ((testFunctions === null || testFunctions === void 0 ? void 0 : testFunctions.length) === 0) {
         radio.emit("logMessage", (0, ansicolor_1.red)(`No test functions found for the "${targetContractName}" contract.\n`));
         return;
@@ -223,7 +241,6 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
     }), {
         endOnFailure: bail,
         numRuns: runs,
-        path: path,
         reporter: radioReporter,
         seed: seed,
         verbose: true,

package/dist/test.utils.js

@@ -0,0 +1,21 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createIsolatedTestEnvironment = createIsolatedTestEnvironment;
+const path_1 = require("path");
+const fs_1 = require("fs");
+const os_1 = require("os");
+/**
+ * Creates an isolated test environment by copying the Clarinet project to a
+ * unique temporary directory. This prevents race conditions when multiple
+ * tests try to initialize simnet concurrently.
+ *
+ * @param manifestDir - The absolute path to the manifest directory.
+ * @param testPrefix - Prefix for the temporary directory name.
+ * @returns The path to the temporary directory containing the isolated project
+ * copy.
+ */
+function createIsolatedTestEnvironment(manifestDir, testPrefix) {
+    const tempDir = (0, fs_1.mkdtempSync)((0, path_1.join)((0, os_1.tmpdir)(), testPrefix));
+    (0, fs_1.cpSync)(manifestDir, tempDir, { recursive: true });
+    return tempDir;
+}

package/dist/traits.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.extractProjectTraitImplementations = exports.isTraitReferenceFunction = exports.getContractIdsImplementingTrait = exports.buildTraitReferenceMap = exports.getTraitReferenceData = exports.enrichInterfaceWithTraitData = void 0;
+exports.getNonTestableTraitFunctions = exports.extractProjectTraitImplementations = exports.isTraitReferenceFunction = exports.getContractIdsImplementingTrait = exports.buildTraitReferenceMap = exports.getTraitReferenceData = exports.enrichInterfaceWithTraitData = void 0;
 /**
  * Enriches a contract interface with trait reference data. Before enrichment,
  * the contract interface lacks trait reference data for parameters. This
@@ -329,10 +329,15 @@ const getContractIdsImplementingTrait = (trait, projectTraitImplementations) =>
     const filteredContracts = contracts.filter((contractId) => {
         var _a;
         const traitImplemented = (_a = projectTraitImplementations[contractId]) === null || _a === void 0 ? void 0 : _a.some((implementedTrait) => {
-            var _a, _b;
-            const isTraitNamesMatch = implementedTrait.name === ((_a = trait.import.Imported) === null || _a === void 0 ? void 0 : _a.name);
+            var _a, _b, _c, _d;
+            const isTraitNamesMatch = implementedTrait.name ===
+                ((_a = trait.import.Imported) === null || _a === void 0 ? void 0 : _a.name) ||
+                implementedTrait.name ===
+                    ((_b = trait.import.Defined) === null || _b === void 0 ? void 0 : _b.name);
             const isTraitIssuersMatch = JSON.stringify(implementedTrait.contract_identifier.issuer) ===
-                JSON.stringify((_b = trait.import.Imported) === null || _b === void 0 ? void 0 : _b.contract_identifier.issuer);
+                JSON.stringify((_c = trait.import.Imported) === null || _c === void 0 ? void 0 : _c.contract_identifier.issuer) ||
+                JSON.stringify(implementedTrait.contract_identifier.issuer) ===
+                    JSON.stringify((_d = trait.import.Defined) === null || _d === void 0 ? void 0 : _d.contract_identifier.issuer);
             return isTraitNamesMatch && isTraitIssuersMatch;
         });
         return traitImplemented;
@@ -403,3 +408,45 @@ const extractProjectTraitImplementations = (simnet) => {
     return projectTraitImplementations;
 };
 exports.extractProjectTraitImplementations = extractProjectTraitImplementations;
+/**
+ * Filters functions that reference traits without eligible implementations in
+ * the project. Recursively checks nested parameters for trait reference types.
+ * @param enrichedFunctionsInterfaces The map of contract IDs to enriched
+ * function interfaces with trait reference data.
+ * @param traitReferenceMap The map of function names to their trait reference
+ * parameter data.
+ * @param projectTraitImplementations The record of contract IDs to their
+ * implemented traits.
+ * @param contractId The contract ID to filter functions for.
+ * @returns An array of function names with trait references without eligible
+ * trait implementations.
+ */
+const getNonTestableTraitFunctions = (enrichedFunctionsInterfaces, traitReferenceMap, projectTraitImplementations, contractId) => {
+    const hasTraitReferenceWithoutImplementation = (type) => {
+        if (!type)
+            return false;
+        if (typeof type === "object" && "trait_reference" in type) {
+            const contractIdsImplementingTrait = (0, exports.getContractIdsImplementingTrait)(type.trait_reference, projectTraitImplementations);
+            return contractIdsImplementingTrait.length === 0;
+        }
+        if (typeof type === "object") {
+            return (("list" in type &&
+                hasTraitReferenceWithoutImplementation(type.list.type)) ||
+                ("tuple" in type &&
+                    type.tuple.some((item) => hasTraitReferenceWithoutImplementation(item.type))) ||
+                ("optional" in type &&
+                    hasTraitReferenceWithoutImplementation(type.optional)) ||
+                ("response" in type &&
+                    (hasTraitReferenceWithoutImplementation(type.response.ok) ||
+                        hasTraitReferenceWithoutImplementation(type.response.error))));
+        }
+        return false;
+    };
+    return Array.from(traitReferenceMap.keys()).filter((functionName) => {
+        var _a, _b;
+        const enrichedFunctionInterface = (_a = enrichedFunctionsInterfaces
+            .get(contractId)) === null || _a === void 0 ? void 0 : _a.find((f) => f.name === functionName);
+        return ((_b = enrichedFunctionInterface === null || enrichedFunctionInterface === void 0 ? void 0 : enrichedFunctionInterface.args.some((param) => hasTraitReferenceWithoutImplementation(param.type))) !== null && _b !== void 0 ? _b : false);
+    });
+};
+exports.getNonTestableTraitFunctions = getNonTestableTraitFunctions;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stacks/rendezvous",
-  "version": "0.9.0",
+  "version": "0.11.0",
   "description": "Meet your contract's vulnerabilities head-on.",
   "main": "app.js",
   "bin": {
@@ -9,7 +9,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:coverage": "npx tsc --project tsconfig.json && npx jest --coverage"
+    "test:coverage": "npx jest --coverage"
   },
   "keywords": [
     "stacks",
@@ -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",