@stacks/rendezvous 0.1.3 → 0.3.0

package/README.md

@@ -28,16 +28,11 @@ root
 
 ### Installation
 
----
-
-**Install the package locally**
-
 ```
-npm install "https://github.com/stacks-network/rendezvous.git"
-npm run build
+npm install @stacks/rendezvous
 ```
 
-Run the fuzzer locally:
+### Usage
 
 ```
 npx rv <path-to-clarinet-project> <contract-name> <type>
@@ -45,22 +40,6 @@ npx rv <path-to-clarinet-project> <contract-name> <type>
 
 ---
 
-**Install the package globally**
-
-```
-git clone https://github.com/stacks-network/rendezvous
-npm install
-npm install --global .
-```
-
-Run the fuzzer from anywhere on your system:
-
-```
-rv <path-to-clarinet-project> <contract-name> <type>
-```
-
----
-
 ### Configuration
 
 **Positional arguments:**

package/dist/citizen.js

@@ -19,17 +19,17 @@ const path_1 = require("path");
 const yaml_1 = __importDefault(require("yaml"));
 const clarinet_sdk_1 = require("@hirosystems/clarinet-sdk");
 /**
- * Prepares the simnet environment and assures the target contract is treated
- * as a first-class citizen, by combining it with its tests. This function
- * handles:
+ * Prepares the simnet instance and assures the target contract's corresponding
+ * test contract is treated as a first-class citizen, relying on their
+ * concatenation. This function handles:
  * - Contract sorting by epoch based on the deployment plan.
  * - Combining the target contract with its tests and deploying all contracts
  *   to the simnet.
  *
- * @param manifestDir - The relative path to the manifest directory.
- * @param sutContractName - The target contract name.
+ * @param manifestDir The relative path to the manifest directory.
+ * @param sutContractName The target contract name.
  * @returns The initialized simnet instance with all contracts deployed, with
- * the target contract treated as a first-class citizen.
+ * the test contract treated as a first-class citizen of the target contract.
  */
 const issueFirstClassCitizenship = (manifestDir, sutContractName) => __awaiter(void 0, void 0, void 0, function* () {
     const manifestPath = (0, path_1.join)(manifestDir, "Clarinet.toml");
@@ -43,8 +43,8 @@ const issueFirstClassCitizenship = (manifestDir, sutContractName) => __awaiter(v
     const sortedContractsByEpoch = (0, exports.groupContractsByEpochFromSimnetPlan)(simnetPlan);
     yield simnet.initEmptySession();
     // Combine the target contract with its tests into a single contract. The
-    // resulting contract will replace the target contract in the simnet. This
-    // map stores the contract name and its corresponding source code.
+    // resulting contract will replace the target contract in the simnet.
+    /** The contract names mapped to the concatenated source code. */
     const rendezvousSources = new Map([sutContractName]
         .map((contractName) => (0, exports.buildRendezvousData)(simnetPlan, contractName, manifestDir))
         .map((rendezvousContractData) => [
@@ -58,7 +58,7 @@ const issueFirstClassCitizenship = (manifestDir, sutContractName) => __awaiter(v
 exports.issueFirstClassCitizenship = issueFirstClassCitizenship;
 /**
  * Groups contracts by epoch from the simnet plan.
- * @param simnetPlan - The simnet plan.
+ * @param simnetPlan The simnet plan.
  * @returns A record of contracts grouped by epoch. The record key is the epoch
  * string, and the value is an array of contracts. Each contract is represented
  * as a record with the contract name as the key and a record containing the
@@ -86,10 +86,10 @@ const groupContractsByEpochFromSimnetPlan = (simnetPlan) => {
 };
 exports.groupContractsByEpochFromSimnetPlan = groupContractsByEpochFromSimnetPlan;
 /**
- * Deploy the contracts to the simnet in the correct order.
- * @param simnet - The simnet instance.
- * @param contractsByEpoch - The record of contracts by epoch.
- * @param getContractSourceFn - The function to retrieve the contract source.
+ * Deploys the contracts to the simnet in the correct order.
+ * @param simnet The simnet instance.
+ * @param contractsByEpoch The record of contracts by epoch.
+ * @param getContractSourceFn The function to retrieve the contract source.
  */
 const deployContracts = (simnet, contractsByEpoch, getContractSourceFn) => __awaiter(void 0, void 0, void 0, function* () {
     for (const [epoch, contracts] of Object.entries(contractsByEpoch)) {
@@ -109,18 +109,19 @@ const deployContracts = (simnet, contractsByEpoch, getContractSourceFn) => __awa
     }
 });
 /**
- * Conditionally retrieve the contract source based on whether the contract is
+ * Conditionally retrieves the contract source based on whether the contract is
  * a SUT contract or not.
- * @param sutContractNames - The list of SUT contract names.
- * @param rendezvousMap - The rendezvous map.
- * @param contractName - The contract name.
- * @param contractProps - The contract properties.
- * @param manifestDir - The relative path to the manifest directory.
- * @returns The contract source.
+ * @param targetContractNames The list of target contract names.
+ * @param rendezvousSourcesMap The contract names mapped to the concatenated
+ * source code.
+ * @param contractName The contract name.
+ * @param contractProps The contract deployment properties.
+ * @param manifestDir The relative path to the manifest directory.
+ * @returns The contract source code.
  */
-const getContractSource = (sutContractNames, rendezvousMap, contractName, contractProps, manifestDir) => {
-    if (sutContractNames.includes(contractName)) {
-        const contractSource = rendezvousMap.get(contractName);
+const getContractSource = (targetContractNames, rendezvousSourcesMap, contractName, contractProps, manifestDir) => {
+    if (targetContractNames.includes(contractName)) {
+        const contractSource = rendezvousSourcesMap.get(contractName);
         if (!contractSource) {
             throw new Error(`Contract source not found for ${contractName}`);
         }
@@ -134,11 +135,11 @@ const getContractSource = (sutContractNames, rendezvousMap, contractName, contra
 };
 exports.getContractSource = getContractSource;
 /**
- * Build the Rendezvous data.
+ * Builds the Rendezvous data.
  * @param simnetPlan The parsed simnet plan.
  * @param contractName The contract name.
  * @param manifestDir The relative path to the manifest directory.
- * @returns The Rendezvous data representing an object. The returned object
+ * @returns The Rendezvous data representing a record. The returned record
  * contains the Rendezvous source code and the Rendezvous contract name.
  */
 const buildRendezvousData = (simnetPlan, contractName, manifestDir) => {
@@ -157,7 +158,7 @@ const buildRendezvousData = (simnetPlan, contractName, manifestDir) => {
 };
 exports.buildRendezvousData = buildRendezvousData;
 /**
- * Get the contract source code from the simnet plan.
+ * Retrieves the contract source code using the simnet plan.
  * @param simnetPlan The parsed simnet plan.
  * @param manifestDir The relative path to the manifest directory.
  * @param sutContractName The target contract name.
@@ -179,7 +180,7 @@ const getSimnetPlanContractSource = (simnetPlan, manifestDir, sutContractName) =
     }).toString();
 };
 /**
- * Get the test contract source code.
+ * Retrieves the test contract source code.
  * @param simnetPlan The parsed simnet plan.
  * @param sutContractName The target contract name.
  * @param manifestDir The relative path to the manifest directory.
@@ -209,13 +210,13 @@ const getTestContractSource = (simnetPlan, sutContractName, manifestDir) => {
 };
 exports.getTestContractSource = getTestContractSource;
 /**
- * Schedule a Rendezvous between the System Under Test (`SUT`) and the
- * invariants.
- * @param sutContractSource The SUT contract source code.
- * @param invariants The invariants contract source code.
+ * Schedules a Rendezvous between the System Under Test (`SUT`) and the test
+ * contract.
+ * @param targetContractSource The target contract source code.
+ * @param tests The corresponding test contract source code.
  * @returns The Rendezvous source code.
  */
-function scheduleRendezvous(sutContractSource, invariants) {
+function scheduleRendezvous(targetContractSource, tests) {
     /**
      * The `context` map tracks how many times each function has been called.
      * This data can be useful for invariant tests to check behavior over time.
@@ -227,5 +228,5 @@ function scheduleRendezvous(sutContractSource, invariants) {
 
   (define-public (update-context (function-name (string-ascii 100)) (called uint))
     (ok (map-set context function-name {called: called})))`;
-    return `${sutContractSource}\n\n${context}\n\n${invariants}`;
+    return `${targetContractSource}\n\n${context}\n\n${tests}`;
 }

package/dist/heatstroke.js

@@ -1,38 +1,29 @@
 "use strict";
-/**
- * Heatstrokes Reporter
- *
- * This reporter integrates with `fast-check` to provide detailed and formatted
- * outputs for failed property-based tests. It captures key information such as
- * the contract, functions, arguments, outputs, and the specific invariant that
- * failed, enabling quick identification of issues.
- */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.reporter = reporter;
+const ansicolor_1 = require("ansicolor");
+const shared_1 = require("./shared");
 /**
- * Reports the details of a failed property-based test run.
- *
- * This function provides a detailed report when a fuzzing test fails including
- * the contract, functions, arguments, outputs, and the specific invariant that
- * failed.
+ * Heatstrokes Reporter
  *
- * @param runDetails - The details of the test run provided by fast-check.
- * @property runDetails.failed - Indicates if the property test failed.
- * @property runDetails.counterexample - The input that caused the failure.
- * @property runDetails.numRuns - The number of test cases that were run.
- * @property runDetails.seed - The seed used to generate the test cases.
- * @property runDetails.path - The path to reproduce the failing test.
- * @property runDetails.error - The error thrown during the test.
+ * Provides a detailed report when a test run test ends. In case of failure,
+ * includes the contract, functions, arguments, outputs, and the specific
+ * invariant or property test that failed.
+ * @param runDetails The details of the test run provided by fast-check.
+ * @property `runDetails.failed`: Indicates if the test run failed.
+ * @property `runDetails.counterexample`: The input that caused the failure.
+ * @property `runDetails.numRuns`: The number of test cases that were run.
+ * @property `runDetails.seed`: The replay seed for reproducing the failure.
+ * @property `runDetails.path`: The replay path for reproducing the failure.
+ * @property `runDetails.error`: The error thrown during the test.
+ * @param radio The event emitter to log messages.
+ * @param type The type of test that failed: invariant or property.
+ * @returns void
  */
-const ansicolor_1 = require("ansicolor");
-const shared_1 = require("./shared");
-function reporter(
-//@ts-ignore
-runDetails, radio, type) {
+function reporter(runDetails, radio, type) {
     var _a, _b;
     if (runDetails.failed) {
         // Report general run data.
-        const r = runDetails.counterexample[0];
         radio.emit("logFailure", `\nError: Property failed after ${runDetails.numRuns} tests.`);
         radio.emit("logFailure", `Seed : ${runDetails.seed}`);
         if (runDetails.path) {
@@ -40,15 +31,26 @@ runDetails, radio, type) {
         }
         switch (type) {
             case "invariant": {
+                const r = runDetails.counterexample[0];
                 // Report specific run data for the invariant testing type.
                 radio.emit("logFailure", `\nCounterexample:`);
                 radio.emit("logFailure", `- Contract : ${(0, shared_1.getContractNameFromContractId)(r.rendezvousContractId)}`);
-                radio.emit("logFailure", `- Function : ${r.selectedFunction.name} (${r.selectedFunction.access})`);
-                radio.emit("logFailure", `- Arguments: ${JSON.stringify(r.functionArgsArb)}`);
-                radio.emit("logFailure", `- Caller   : ${r.sutCaller[0]}`);
-                radio.emit("logFailure", `- Outputs  : ${JSON.stringify(r.selectedFunction.outputs)}`);
+                radio.emit("logFailure", `- Functions: ${r.selectedFunctions
+                    .map((selectedFunction) => selectedFunction.name)
+                    .join(", ")} (${r.selectedFunctions
+                    .map((selectedFunction) => selectedFunction.access)
+                    .join(", ")})`);
+                radio.emit("logFailure", `- Arguments: ${r.selectedFunctionsArgsList
+                    .map((selectedFunctionArgs) => JSON.stringify(selectedFunctionArgs))
+                    .join(", ")}`);
+                radio.emit("logFailure", `- Callers  : ${r.sutCallers
+                    .map((sutCaller) => sutCaller[0])
+                    .join(", ")}`);
+                radio.emit("logFailure", `- Outputs  : ${r.selectedFunctions
+                    .map((selectedFunction) => JSON.stringify(selectedFunction.outputs))
+                    .join(", ")}`);
                 radio.emit("logFailure", `- Invariant: ${r.selectedInvariant.name} (${r.selectedInvariant.access})`);
-                radio.emit("logFailure", `- Arguments: ${JSON.stringify(r.invariantArgsArb)}`);
+                radio.emit("logFailure", `- Arguments: ${JSON.stringify(r.invariantArgs)}`);
                 radio.emit("logFailure", `- Caller   : ${r.invariantCaller[0]}`);
                 radio.emit("logFailure", `\nWhat happened? Rendezvous went on a rampage and found a weak spot:\n`);
                 const formattedError = `The invariant "${r.selectedInvariant.name}" returned:\n\n${(_a = runDetails.error) === null || _a === void 0 ? void 0 : _a.toString().split("\n").map((line) => "    " + line).join("\n")}\n`;
@@ -56,11 +58,12 @@ runDetails, radio, type) {
                 break;
             }
             case "test": {
+                const r = runDetails.counterexample[0];
                 // Report specific run data for the property testing type.
                 radio.emit("logFailure", `\nCounterexample:`);
                 radio.emit("logFailure", `- Test Contract : ${(0, shared_1.getContractNameFromContractId)(r.testContractId)}`);
                 radio.emit("logFailure", `- Test Function : ${r.selectedTestFunction.name} (${r.selectedTestFunction.access})`);
-                radio.emit("logFailure", `- Arguments     : ${JSON.stringify(r.functionArgsArb)}`);
+                radio.emit("logFailure", `- Arguments     : ${JSON.stringify(r.functionArgs)}`);
                 radio.emit("logFailure", `- Caller        : ${r.testCaller[0]}`);
                 radio.emit("logFailure", `- Outputs       : ${JSON.stringify(r.selectedTestFunction.outputs)}`);
                 radio.emit("logFailure", `\nWhat happened? Rendezvous went on a rampage and found a weak spot:\n`);

package/dist/heatstroke.types.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/dist/invariant.js

@@ -9,7 +9,22 @@ const transactions_1 = require("@stacks/transactions");
 const heatstroke_1 = require("./heatstroke");
 const fast_check_1 = __importDefault(require("fast-check"));
 const ansicolor_1 = require("ansicolor");
-const checkInvariants = (simnet, sutContractName, rendezvousList, rendezvousAllFunctions, seed, path, runs, radio) => {
+const traits_1 = require("./traits");
+/**
+ * Runs invariant testing on the target contract and logs the progress. Reports
+ * the test results through a custom reporter.
+ * @param simnet The Simnet instance.
+ * @param targetContractName The name of the target contract.
+ * @param rendezvousList The list of contract IDs for each target contract.
+ * @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 radio The custom logging event emitter.
+ * @returns void
+ */
+const checkInvariants = (simnet, targetContractName, rendezvousList, rendezvousAllFunctions, seed, path, runs, radio) => {
     // 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.
@@ -18,35 +33,52 @@ const checkInvariants = (simnet, sutContractName, rendezvousList, rendezvousAllF
     // 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];
+    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 enrichedSutFunctionsInterfaces = traitReferenceSutFunctions.length > 0
+        ? (0, traits_1.enrichInterfaceWithTraitData)(simnet.getContractAST(targetContractName), (0, traits_1.buildTraitReferenceMap)(rendezvousSutFunctions.get(rendezvousContractId)), rendezvousSutFunctions.get(rendezvousContractId), 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)
+        : rendezvousInvariantFunctions;
     // Set up local context to track SUT function call counts.
-    const localContext = (0, exports.initializeLocalContext)(rendezvousSutFunctions);
+    const localContext = (0, exports.initializeLocalContext)(enrichedSutFunctionsInterfaces);
     // Set up context in simnet by initializing state for SUT.
-    (0, exports.initializeClarityContext)(simnet, rendezvousSutFunctions);
-    radio.emit("logMessage", `\nStarting invariant testing type for the ${sutContractName} contract...\n`);
+    (0, exports.initializeClarityContext)(simnet, enrichedSutFunctionsInterfaces);
+    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());
-    // The Rendezvous identifier is the first one in the list. Only one contract
-    // can be fuzzed at a time.
-    const rendezvousContractId = rendezvousList[0];
-    const functions = (0, shared_1.getFunctionsListForContract)(rendezvousSutFunctions, rendezvousContractId);
-    const invariantFunctions = (0, shared_1.getFunctionsListForContract)(rendezvousInvariantFunctions, rendezvousContractId);
+    const functions = (0, shared_1.getFunctionsListForContract)(enrichedSutFunctionsInterfaces, rendezvousContractId);
+    const invariants = (0, shared_1.getFunctionsListForContract)(enrichedInvariantFunctionsInterfaces, 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 "${sutContractName}" contract. Without public functions, no state transitions can happen inside the contract, and the invariant test is not meaningful.\n`));
-        return;
-    }
-    if ((invariantFunctions === null || invariantFunctions === void 0 ? void 0 : invariantFunctions.length) === 0) {
-        radio.emit("logMessage", (0, ansicolor_1.red)(`No invariant functions found for the "${sutContractName}" contract. Beware, for your contract may be exposed to unforeseen issues.\n`));
+        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;
     }
-    const eligibleFunctions = functions.filter((fn) => !(0, shared_1.isTraitReferenceFunction)(fn));
-    const eligibleInvariants = invariantFunctions.filter((fn) => !(0, shared_1.isTraitReferenceFunction)(fn));
-    if (eligibleFunctions.length === 0) {
-        radio.emit("logMessage", (0, ansicolor_1.red)(`No eligible public functions found for the "${sutContractName}" contract. Note: trait references are not supported.\n`));
-        return;
-    }
-    if (eligibleInvariants.length === 0) {
-        radio.emit("logMessage", (0, ansicolor_1.red)(`No eligible invariant functions found for the "${sutContractName}" contract. Note: trait references are not supported.\n`));
+    if ((invariants === null || invariants === void 0 ? void 0 : invariants.length) === 0) {
+        radio.emit("logMessage", (0, ansicolor_1.red)(`No invariant functions found for the "${targetContractName}" contract. Beware, for your contract may be exposed to unforeseen issues.\n`));
         return;
     }
     const radioReporter = (runDetails) => {
@@ -58,20 +90,25 @@ const checkInvariants = (simnet, sutContractName, rendezvousList, rendezvousAllF
         // to the first contract in the list. The arbitrary is still needed,
         // being used for reporting purposes in `heatstroke.ts`.
         rendezvousContractId: fast_check_1.default.constant(rendezvousContractId),
-        sutCaller: fast_check_1.default.constantFrom(...eligibleAccounts.entries()),
         invariantCaller: fast_check_1.default.constantFrom(...eligibleAccounts.entries()),
         canMineBlocks: fast_check_1.default.boolean(),
     })
         .chain((r) => fast_check_1.default
         .record({
-        selectedFunction: fast_check_1.default.constantFrom(...eligibleFunctions),
-        selectedInvariant: fast_check_1.default.constantFrom(...eligibleInvariants),
+        selectedFunctions: fast_check_1.default.array(fast_check_1.default.constantFrom(...functions), {
+            minLength: 1, // At least one function must be selected.
+        }),
+        selectedInvariant: fast_check_1.default.constantFrom(...invariants),
     })
         .map((selectedFunctions) => (Object.assign(Object.assign({}, r), selectedFunctions))))
         .chain((r) => fast_check_1.default
         .record({
-        functionArgsArb: fast_check_1.default.tuple(...(0, shared_1.functionToArbitrary)(r.selectedFunction, simnetAddresses)),
-        invariantArgsArb: fast_check_1.default.tuple(...(0, shared_1.functionToArbitrary)(r.selectedInvariant, simnetAddresses)),
+        sutCallers: fast_check_1.default.array(fast_check_1.default.constantFrom(...eligibleAccounts.entries()), {
+            minLength: r.selectedFunctions.length,
+            maxLength: r.selectedFunctions.length,
+        }),
+        selectedFunctionsArgsList: fast_check_1.default.tuple(...r.selectedFunctions.map((selectedFunction) => fast_check_1.default.tuple(...(0, shared_1.functionToArbitrary)(selectedFunction, simnetAddresses, projectTraitImplementations)))),
+        invariantArgs: fast_check_1.default.tuple(...(0, shared_1.functionToArbitrary)(r.selectedInvariant, simnetAddresses, projectTraitImplementations)),
     })
         .map((args) => (Object.assign(Object.assign({}, r), args))))
         .chain((r) => fast_check_1.default
@@ -90,58 +127,60 @@ const checkInvariants = (simnet, sutContractName, rendezvousList, rendezvousAllF
             : fast_check_1.default.constant(0),
     })
         .map((burnBlocks) => (Object.assign(Object.assign({}, r), burnBlocks)))), (r) => {
-        const selectedFunctionArgs = (0, shared_1.argsToCV)(r.selectedFunction, r.functionArgsArb);
-        const selectedInvariantArgs = (0, shared_1.argsToCV)(r.selectedInvariant, r.invariantArgsArb);
-        const printedFunctionArgs = r.functionArgsArb
-            .map((arg) => {
+        const selectedFunctionsArgsCV = r.selectedFunctions.map((selectedFunction, index) => (0, shared_1.argsToCV)(selectedFunction, r.selectedFunctionsArgsList[index]));
+        const selectedInvariantArgsCV = (0, shared_1.argsToCV)(r.selectedInvariant, r.invariantArgs);
+        r.selectedFunctions.forEach((selectedFunction, index) => {
+            const [sutCallerWallet, sutCallerAddress] = r.sutCallers[index];
+            const printedFunctionArgs = r.selectedFunctionsArgsList[index]
+                .map((arg) => {
+                try {
+                    return typeof arg === "object"
+                        ? JSON.stringify(arg)
+                        : arg.toString();
+                }
+                catch (_a) {
+                    return "[Circular]";
+                }
+            })
+                .join(" ");
             try {
-                return typeof arg === "object"
-                    ? JSON.stringify(arg)
-                    : arg.toString();
-            }
-            catch (_a) {
-                return "[Circular]";
+                const { result: functionCallResult } = simnet.callPublicFn(r.rendezvousContractId, selectedFunction.name, selectedFunctionsArgsCV[index], sutCallerAddress);
+                const functionCallResultJson = (0, transactions_1.cvToJSON)(functionCallResult);
+                if (functionCallResultJson.success) {
+                    localContext[r.rendezvousContractId][selectedFunction.name]++;
+                    simnet.callPublicFn(r.rendezvousContractId, "update-context", [
+                        transactions_1.Cl.stringAscii(selectedFunction.name),
+                        transactions_1.Cl.uint(localContext[r.rendezvousContractId][selectedFunction.name]),
+                    ], simnet.deployer);
+                    radio.emit("logMessage", `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
+                        `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
+                        (0, ansicolor_1.dim)(`${sutCallerWallet}        `) +
+                        `${targetContractName} ` +
+                        `${(0, ansicolor_1.underline)(selectedFunction.name)} ` +
+                        printedFunctionArgs);
+                }
+                else {
+                    radio.emit("logMessage", (0, ansicolor_1.dim)(`₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
+                        `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
+                        `${sutCallerWallet}        ` +
+                        `${targetContractName} ` +
+                        `${(0, ansicolor_1.underline)(selectedFunction.name)} ` +
+                        printedFunctionArgs));
+                }
             }
-        })
-            .join(" ");
-        const [sutCallerWallet, sutCallerAddress] = r.sutCaller;
-        try {
-            const { result: functionCallResult } = simnet.callPublicFn(r.rendezvousContractId, r.selectedFunction.name, selectedFunctionArgs, sutCallerAddress);
-            const functionCallResultJson = (0, transactions_1.cvToJSON)(functionCallResult);
-            if (functionCallResultJson.success) {
-                localContext[r.rendezvousContractId][r.selectedFunction.name]++;
-                simnet.callPublicFn(r.rendezvousContractId, "update-context", [
-                    transactions_1.Cl.stringAscii(r.selectedFunction.name),
-                    transactions_1.Cl.uint(localContext[r.rendezvousContractId][r.selectedFunction.name]),
-                ], simnet.deployer);
-                radio.emit("logMessage", `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
-                    `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
-                    (0, ansicolor_1.dim)(`${sutCallerWallet}        `) +
-                    `${sutContractName} ` +
-                    `${(0, ansicolor_1.underline)(r.selectedFunction.name)} ` +
-                    printedFunctionArgs);
-            }
-            else {
+            catch (error) {
+                // If the function call fails with a runtime error, log a dimmed
+                // message. Since the public function result is ignored, there's
+                // no need to throw an error.
                 radio.emit("logMessage", (0, ansicolor_1.dim)(`₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
                     `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
                     `${sutCallerWallet}        ` +
-                    `${sutContractName} ` +
-                    `${(0, ansicolor_1.underline)(r.selectedFunction.name)} ` +
+                    `${targetContractName} ` +
+                    `${(0, ansicolor_1.underline)(selectedFunction.name)} ` +
                     printedFunctionArgs));
             }
-        }
-        catch (error) {
-            // If the function call fails with a runtime error, log a dimmed
-            // message. Since the public function result is ignored, there's
-            // no need to throw an error.
-            radio.emit("logMessage", (0, ansicolor_1.dim)(`₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
-                `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
-                `${sutCallerWallet}        ` +
-                `${sutContractName} ` +
-                `${(0, ansicolor_1.underline)(r.selectedFunction.name)} ` +
-                printedFunctionArgs));
-        }
-        const printedInvariantArgs = r.invariantArgsArb
+        });
+        const printedInvariantArgs = r.invariantArgs
             .map((arg) => {
             try {
                 return typeof arg === "object"
@@ -155,19 +194,19 @@ const checkInvariants = (simnet, sutContractName, rendezvousList, rendezvousAllF
             .join(" ");
         const [invariantCallerWallet, invariantCallerAddress] = r.invariantCaller;
         try {
-            const { result: invariantCallResult } = simnet.callReadOnlyFn(r.rendezvousContractId, r.selectedInvariant.name, selectedInvariantArgs, invariantCallerAddress);
+            const { result: invariantCallResult } = simnet.callReadOnlyFn(r.rendezvousContractId, r.selectedInvariant.name, selectedInvariantArgsCV, invariantCallerAddress);
             const invariantCallResultJson = (0, transactions_1.cvToJSON)(invariantCallResult);
             if (invariantCallResultJson.value === true) {
                 radio.emit("logMessage", `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` +
                     `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
                     `${(0, ansicolor_1.dim)(invariantCallerWallet)} ` +
                     `${(0, ansicolor_1.green)("[PASS]")} ` +
-                    `${sutContractName} ` +
+                    `${targetContractName} ` +
                     `${(0, ansicolor_1.underline)(r.selectedInvariant.name)} ` +
                     printedInvariantArgs);
             }
             if (!invariantCallResultJson.value) {
-                throw new Error(`Invariant failed for ${sutContractName} contract: "${r.selectedInvariant.name}" returned ${invariantCallResultJson.value}`);
+                throw new Error(`Invariant failed for ${targetContractName} contract: "${r.selectedInvariant.name}" returned ${invariantCallResultJson.value}`);
             }
         }
         catch (error) {
@@ -178,7 +217,7 @@ const checkInvariants = (simnet, sutContractName, rendezvousList, rendezvousAllF
                 `Ӿ ${simnet.blockHeight.toString().padStart(8)}   ` +
                 `${invariantCallerWallet} ` +
                 `[FAIL] ` +
-                `${sutContractName} ` +
+                `${targetContractName} ` +
                 `${(0, ansicolor_1.underline)(r.selectedInvariant.name)} ` +
                 printedInvariantArgs));
             // Re-throw the error for fast-check to catch and process.
@@ -197,7 +236,7 @@ const checkInvariants = (simnet, sutContractName, rendezvousList, rendezvousAllF
 };
 exports.checkInvariants = checkInvariants;
 /**
- * Initialize the local context, setting the number of times each function
+ * Initializes the local context, setting the number of times each function
  * has been called to zero.
  * @param rendezvousSutFunctions The Rendezvous functions.
  * @returns The initialized local context.
@@ -218,14 +257,15 @@ const initializeClarityContext = (simnet, rendezvousSutFunctions) => rendezvousS
 });
 exports.initializeClarityContext = initializeClarityContext;
 /**
- * Filter the System Under Test (`SUT`) functions from the map of all
- * contract functions.
+ * Filter the System Under Test (`SUT`) functions from the map of all contract
+ * functions.
  *
  * The SUT functions are the ones that have `public` access since they are
  * capable of changing the contract state, and they are not test functions.
  * @param allFunctionsMap The map containing all the functions for each
+ * Rendezvous contract.
+ * @returns A map containing the filtered SUT functions for each Rendezvous
  * contract.
- * @returns A map containing only the SUT functions for each contract.
  */
 const filterSutFunctions = (allFunctionsMap) => new Map(Array.from(allFunctionsMap, ([contractId, functions]) => [
     contractId,

package/dist/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@stacks/rendezvous",
-    "version": "0.1.3",
+    "version": "0.3.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 tsc --project tsconfig.json && npx jest",
+        "test": "npx jest",
         "test:coverage": "npx tsc --project tsconfig.json && npx jest --coverage"
     },
     "keywords": [
@@ -25,6 +25,10 @@
         "README.md",
         "LICENSE"
     ],
+    "repository": {
+        "type": "git",
+        "url": "https://github.com/stacks-network/rendezvous.git"
+    },
     "dependencies": {
         "@hirosystems/clarinet-sdk": "2.12.0",
         "@stacks/transactions": "^6.16.1",
@@ -36,7 +40,7 @@
         "@hirosystems/clarinet-sdk-wasm": "2.12.0",
         "@types/jest": "^29.5.12",
         "jest": "^29.7.0",
-        "ts-jest": "^29.2.3",
+        "ts-jest": "^29.2.5",
         "typescript": "^5.5.4"
     }
 }