Barslev/add reach concurrency and reach disable analysis splitting #914
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Adds options
--reach-concurrency <number>and--reach-disable-analysis-splittingforsocket scan create --reach.Note
Adds
--reach-concurrencyand--reach-disable-analysis-splittingflags, plumbs them through create/reach commands to Coana, updates defaults, help, tests, and bumps version.--reach-concurrency <number>and--reach-disable-analysis-splittinginreachability-flags.mts(defaults:1andfalse).socket scan create --reach: parse/validate/pass new flags incmd-scan-create.mts.socket scan reach: parse/pass new flags incmd-scan-reach.mts.ci/handle-ci.mtsandcreate-scan-from-github.mts.perform-reachability-analysis.mtsas--concurrencyand--disable-analysis-splitting.cmd-scan-reach.test.mts.1.1.29; updateCHANGELOG.md.Written by Cursor Bugbot for commit 44b1553. Configure here.