Implementing --skip-heuristics (#4414)

This commit is contained in:
Miroslav Stampar
2020-11-09 22:11:11 +01:00
parent a35fc713a2
commit c243c5fe0d
5 changed files with 16 additions and 1 deletions

View File

@@ -228,6 +228,7 @@ optDict = {
"repair": "boolean",
"saveConfig": "string",
"scope": "string",
"skipHeuristics": "boolean",
"skipWaf": "boolean",
"testFilter": "string",
"testSkip": "string",