@stacks/rendezvous 0.6.2 → 0.7.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/app.js +1 -1
- package/dist/heatstroke.js +3 -0
- package/dist/invariant.js +1 -1
- package/dist/package.json +4 -4
- package/dist/property.js +1 -1
- package/package.json +4 -4
package/dist/app.js
CHANGED
|
@@ -174,7 +174,7 @@ function main() {
|
|
|
174
174
|
/**
|
|
175
175
|
* The list of contract IDs for the SUT contract names, as per the simnet.
|
|
176
176
|
*/
|
|
177
|
-
const rendezvousList = Array.from((0, shared_1.getSimnetDeployerContractsInterfaces)(simnet).keys()).filter((deployedContract) =>
|
|
177
|
+
const rendezvousList = Array.from((0, shared_1.getSimnetDeployerContractsInterfaces)(simnet).keys()).filter((deployedContract) => (0, shared_1.getContractNameFromContractId)(deployedContract) === sutContractName);
|
|
178
178
|
const rendezvousAllFunctions = (0, shared_1.getFunctionsFromContractInterfaces)(new Map(Array.from((0, shared_1.getSimnetDeployerContractsInterfaces)(simnet)).filter(([contractId]) => rendezvousList.includes(contractId))));
|
|
179
179
|
// Select the testing routine based on `type`.
|
|
180
180
|
// If "invariant", call `checkInvariants` to verify contract invariants.
|
package/dist/heatstroke.js
CHANGED
|
@@ -72,6 +72,9 @@ function reporter(runDetails, radio, type) {
|
|
|
72
72
|
break;
|
|
73
73
|
}
|
|
74
74
|
}
|
|
75
|
+
// Set non-zero exit code to properly signal test failure to shells,
|
|
76
|
+
// scripts, CI systems, and other tools that check process exit status.
|
|
77
|
+
process.exitCode = 1;
|
|
75
78
|
}
|
|
76
79
|
else {
|
|
77
80
|
radio.emit("logMessage", (0, ansicolor_1.green)(`\nOK, ${type === "invariant" ? "invariants" : "properties"} passed after ${runDetails.numRuns} runs.\n`));
|
package/dist/invariant.js
CHANGED
|
@@ -346,7 +346,7 @@ const filterSutFunctions = (allFunctionsMap) => new Map(Array.from(allFunctionsM
|
|
|
346
346
|
]));
|
|
347
347
|
const filterInvariantFunctions = (allFunctionsMap) => new Map(Array.from(allFunctionsMap, ([contractId, functions]) => [
|
|
348
348
|
contractId,
|
|
349
|
-
functions.filter((
|
|
349
|
+
functions.filter(({ access, name }) => access === "read_only" && name.startsWith("invariant-")),
|
|
350
350
|
]));
|
|
351
351
|
class FalsifiedInvariantError extends Error {
|
|
352
352
|
constructor(message) {
|
package/dist/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@stacks/rendezvous",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.7.0",
|
|
4
4
|
"description": "Meet your contract's vulnerabilities head-on.",
|
|
5
5
|
"main": "app.js",
|
|
6
6
|
"bin": {
|
|
@@ -30,15 +30,15 @@
|
|
|
30
30
|
"url": "https://github.com/stacks-network/rendezvous.git"
|
|
31
31
|
},
|
|
32
32
|
"dependencies": {
|
|
33
|
-
"@hirosystems/clarinet-sdk": "
|
|
34
|
-
"@stacks/transactions": "^
|
|
33
|
+
"@hirosystems/clarinet-sdk": "^3.0.1",
|
|
34
|
+
"@stacks/transactions": "^7.0.6",
|
|
35
35
|
"ansicolor": "^2.0.3",
|
|
36
36
|
"fast-check": "^3.20.0",
|
|
37
37
|
"toml": "^3.0.0",
|
|
38
38
|
"yaml": "^2.6.1"
|
|
39
39
|
},
|
|
40
40
|
"devDependencies": {
|
|
41
|
-
"@hirosystems/clarinet-sdk-wasm": "
|
|
41
|
+
"@hirosystems/clarinet-sdk-wasm": "^3.0.1",
|
|
42
42
|
"@types/jest": "^29.5.12",
|
|
43
43
|
"jest": "^29.7.0",
|
|
44
44
|
"ts-jest": "^29.2.5",
|
package/dist/property.js
CHANGED
|
@@ -50,7 +50,7 @@ const checkProperties = (simnet, targetContractName, rendezvousList, rendezvousA
|
|
|
50
50
|
// functions.
|
|
51
51
|
const testContractsDiscardFunctions = new Map(Array.from(rendezvousAllFunctions, ([contractId, functions]) => [
|
|
52
52
|
contractId,
|
|
53
|
-
functions.filter((
|
|
53
|
+
functions.filter(({ access, name }) => access === "read_only" && name.startsWith("can-")),
|
|
54
54
|
]));
|
|
55
55
|
// Pair each test function with its corresponding discard function. When a
|
|
56
56
|
// test function is selected, Rendezvous will first call its discard
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@stacks/rendezvous",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.7.0",
|
|
4
4
|
"description": "Meet your contract's vulnerabilities head-on.",
|
|
5
5
|
"main": "app.js",
|
|
6
6
|
"bin": {
|
|
@@ -30,15 +30,15 @@
|
|
|
30
30
|
"url": "https://github.com/stacks-network/rendezvous.git"
|
|
31
31
|
},
|
|
32
32
|
"dependencies": {
|
|
33
|
-
"@hirosystems/clarinet-sdk": "
|
|
34
|
-
"@stacks/transactions": "^
|
|
33
|
+
"@hirosystems/clarinet-sdk": "^3.0.1",
|
|
34
|
+
"@stacks/transactions": "^7.0.6",
|
|
35
35
|
"ansicolor": "^2.0.3",
|
|
36
36
|
"fast-check": "^3.20.0",
|
|
37
37
|
"toml": "^3.0.0",
|
|
38
38
|
"yaml": "^2.6.1"
|
|
39
39
|
},
|
|
40
40
|
"devDependencies": {
|
|
41
|
-
"@hirosystems/clarinet-sdk-wasm": "
|
|
41
|
+
"@hirosystems/clarinet-sdk-wasm": "^3.0.1",
|
|
42
42
|
"@types/jest": "^29.5.12",
|
|
43
43
|
"jest": "^29.7.0",
|
|
44
44
|
"ts-jest": "^29.2.5",
|