limit concretize to strings of at most length 100

This commit is contained in:
erik-krogh
2023-08-23 10:26:29 +02:00
parent cf53956d39
commit 25e4f2c3a2

View File

@@ -862,9 +862,12 @@ module Make<RegexTreeViewSig TreeImpl> {
RegExpTerm repr;
State() {
this = Match(repr, _) or
this = Accept(repr) or
this = AcceptAnySuffix(repr)
(
this = Match(repr, _) or
this = Accept(repr) or
this = AcceptAnySuffix(repr)
) and
repr instanceof RelevantRegExpTerm
}
/**
@@ -1457,7 +1460,8 @@ module Make<RegexTreeViewSig TreeImpl> {
result = getChar(ancestor) and
ancestor = getAnAncestor(n) and
i = nodeDepth(ancestor)
)
) and
nodeDepth(n) < 100
}
/** Gets a string corresponding to `node`. */