@suss/adapter-typescript 0.4.0 → 0.5.1
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/index.cjs +5 -1
- package/dist/index.js +5 -1
- package/package.json +5 -5
package/dist/index.cjs
CHANGED
|
@@ -1334,7 +1334,11 @@ function computePathConditions(func, terminalNodes) {
|
|
|
1334
1334
|
return composeExpressionLevel(func, result, lowered.terminalHomeRaw);
|
|
1335
1335
|
} catch (error51) {
|
|
1336
1336
|
if (error51 instanceof import_extractor2.PathBudgetExceeded) {
|
|
1337
|
-
return degradedResult(
|
|
1337
|
+
return degradedResult(
|
|
1338
|
+
func,
|
|
1339
|
+
terminalNodes,
|
|
1340
|
+
error51.message === "" ? "path budget exceeded" : error51.message
|
|
1341
|
+
);
|
|
1338
1342
|
}
|
|
1339
1343
|
if (error51 instanceof import_extractor2.UnmodeledFlow) {
|
|
1340
1344
|
return degradedResult(func, terminalNodes, error51.message);
|
package/dist/index.js
CHANGED
|
@@ -1304,7 +1304,11 @@ function computePathConditions(func, terminalNodes) {
|
|
|
1304
1304
|
return composeExpressionLevel(func, result, lowered.terminalHomeRaw);
|
|
1305
1305
|
} catch (error51) {
|
|
1306
1306
|
if (error51 instanceof PathBudgetExceeded) {
|
|
1307
|
-
return degradedResult(
|
|
1307
|
+
return degradedResult(
|
|
1308
|
+
func,
|
|
1309
|
+
terminalNodes,
|
|
1310
|
+
error51.message === "" ? "path budget exceeded" : error51.message
|
|
1311
|
+
);
|
|
1308
1312
|
}
|
|
1309
1313
|
if (error51 instanceof UnmodeledFlow2) {
|
|
1310
1314
|
return degradedResult(func, terminalNodes, error51.message);
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@suss/adapter-typescript",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.5.1",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"description": "TypeScript adapter for suss — walks source files with ts-morph and emits raw extractions for the suss pipeline.",
|
|
6
6
|
"keywords": [
|
|
@@ -46,10 +46,10 @@
|
|
|
46
46
|
"typecheck": "tsc --noEmit"
|
|
47
47
|
},
|
|
48
48
|
"dependencies": {
|
|
49
|
-
"@suss/behavioral-ir": "0.
|
|
50
|
-
"@suss/datalog": "0.
|
|
51
|
-
"@suss/extractor": "0.
|
|
52
|
-
"@suss/resolution": "0.
|
|
49
|
+
"@suss/behavioral-ir": "0.5.1",
|
|
50
|
+
"@suss/datalog": "0.5.1",
|
|
51
|
+
"@suss/extractor": "0.5.1",
|
|
52
|
+
"@suss/resolution": "0.5.1",
|
|
53
53
|
"graphql": "^16.8.0",
|
|
54
54
|
"picomatch": "^4.0.4",
|
|
55
55
|
"ts-morph": "^23.0.0"
|