@stacks/rendezvous 0.6.2 → 0.7.1

package/dist/app.js

@@ -174,7 +174,7 @@ function main() {
         /**
          * 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) => [sutContractName].includes((0, shared_1.getContractNameFromContractId)(deployedContract)));
+        const rendezvousList = Array.from((0, shared_1.getSimnetDeployerContractsInterfaces)(simnet).keys()).filter((deployedContract) => (0, shared_1.getContractNameFromContractId)(deployedContract) === 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.

package/dist/citizen.js

@@ -12,7 +12,7 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.getTestContractSource = exports.buildRendezvousData = exports.getContractSource = exports.groupContractsByEpochFromSimnetPlan = exports.issueFirstClassCitizenship = void 0;
+exports.getSbtcBalancesFromSimnet = exports.getTestContractSource = exports.buildRendezvousData = exports.getContractSource = exports.groupContractsByEpochFromSimnetPlan = exports.issueFirstClassCitizenship = void 0;
 exports.scheduleRendezvous = scheduleRendezvous;
 const fs_1 = require("fs");
 const path_1 = require("path");
@@ -48,18 +48,7 @@ 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 = new Map(simnetAddresses.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 sbtcBalance = (0, transactions_1.cvToJSON)(getBalanceResult).value.value;
-            return [address, sbtcBalance];
-        }
-        catch (e) {
-            return [address, 0];
-        }
-    }));
+    const sbtcBalancesMap = (0, exports.getSbtcBalancesFromSimnet)(simnet);
     yield simnet.initEmptySession(remoteDataSettings);
     simnetAddresses.forEach((address) => {
         simnet.mintSTX(address, stxBalancesMap.get(address));
@@ -260,6 +249,31 @@ function scheduleRendezvous(targetContractSource, tests) {
     (ok (map-set context function-name {called: called})))`;
     return `${targetContractSource}\n\n${context}\n\n${tests}`;
 }
+/**
+ * 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.
+ * @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];
+    }
+}));
+exports.getSbtcBalancesFromSimnet = getSbtcBalancesFromSimnet;
 /**
  * Utility function that restores the test wallets' initial sBTC balances in
  * the re-initialized first-class citizenship simnet.

package/dist/heatstroke.js

@@ -72,6 +72,9 @@ function reporter(runDetails, radio, type) {
                 break;
             }
         }
+        // Set non-zero exit code to properly signal test failure to shells,
+        // scripts, CI systems, and other tools that check process exit status.
+        process.exitCode = 1;
     }
     else {
         radio.emit("logMessage", (0, ansicolor_1.green)(`\nOK, ${type === "invariant" ? "invariants" : "properties"} passed after ${runDetails.numRuns} runs.\n`));

package/dist/invariant.js

@@ -346,7 +346,7 @@ const filterSutFunctions = (allFunctionsMap) => new Map(Array.from(allFunctionsM
 ]));
 const filterInvariantFunctions = (allFunctionsMap) => new Map(Array.from(allFunctionsMap, ([contractId, functions]) => [
     contractId,
-    functions.filter((f) => f.access === "read_only" && f.name.startsWith("invariant-")),
+    functions.filter(({ access, name }) => access === "read_only" && name.startsWith("invariant-")),
 ]));
 class FalsifiedInvariantError extends Error {
     constructor(message) {

package/dist/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@stacks/rendezvous",
-    "version": "0.6.2",
+    "version": "0.7.1",
     "description": "Meet your contract's vulnerabilities head-on.",
     "main": "app.js",
     "bin": {
@@ -30,15 +30,15 @@
         "url": "https://github.com/stacks-network/rendezvous.git"
     },
     "dependencies": {
-        "@hirosystems/clarinet-sdk": "2.15.2",
-        "@stacks/transactions": "^6.16.1",
+        "@hirosystems/clarinet-sdk": "^3.0.1",
+        "@stacks/transactions": "^7.0.6",
         "ansicolor": "^2.0.3",
         "fast-check": "^3.20.0",
         "toml": "^3.0.0",
         "yaml": "^2.6.1"
     },
     "devDependencies": {
-        "@hirosystems/clarinet-sdk-wasm": "2.15.2",
+        "@hirosystems/clarinet-sdk-wasm": "^3.0.1",
         "@types/jest": "^29.5.12",
         "jest": "^29.7.0",
         "ts-jest": "^29.2.5",

package/dist/property.js

@@ -50,7 +50,7 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
     // functions.
     const testContractsDiscardFunctions = new Map(Array.from(rendezvousAllFunctions, ([contractId, functions]) => [
         contractId,
-        functions.filter((f) => f.access === "read_only" && f.name.startsWith("can-")),
+        functions.filter(({ access, name }) => access === "read_only" && name.startsWith("can-")),
     ]));
     // Pair each test function with its corresponding discard function. When a
     // test function is selected, Rendezvous will first call its discard

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stacks/rendezvous",
-  "version": "0.6.2",
+  "version": "0.7.1",
   "description": "Meet your contract's vulnerabilities head-on.",
   "main": "app.js",
   "bin": {
@@ -30,15 +30,15 @@
     "url": "https://github.com/stacks-network/rendezvous.git"
   },
   "dependencies": {
-    "@hirosystems/clarinet-sdk": "2.15.2",
-    "@stacks/transactions": "^6.16.1",
+    "@hirosystems/clarinet-sdk": "^3.0.1",
+    "@stacks/transactions": "^7.0.6",
     "ansicolor": "^2.0.3",
     "fast-check": "^3.20.0",
     "toml": "^3.0.0",
     "yaml": "^2.6.1"
   },
   "devDependencies": {
-    "@hirosystems/clarinet-sdk-wasm": "2.15.2",
+    "@hirosystems/clarinet-sdk-wasm": "^3.0.1",
     "@types/jest": "^29.5.12",
     "jest": "^29.7.0",
     "ts-jest": "^29.2.5",