Skip to content

EvaluateOverhead command line option and docs#3058

Merged
timcassell merged 1 commit intomasterfrom
evaluateoverhead-commandline-docs
Mar 22, 2026
Merged

EvaluateOverhead command line option and docs#3058
timcassell merged 1 commit intomasterfrom
evaluateoverhead-commandline-docs

Conversation

@timcassell
Copy link
Collaborator

Since the default value was changed in #3007, the old command line arg --noOverheadEvaluation no longer makes sense. Changed it to --evaluateOverhead true/false.

Also updated docs and test.

@timcassell timcassell force-pushed the evaluateoverhead-commandline-docs branch from 978b16b to ec54543 Compare March 22, 2026 07:08
@timcassell timcassell merged commit 85e5939 into master Mar 22, 2026
21 checks passed
@timcassell timcassell deleted the evaluateoverhead-commandline-docs branch March 22, 2026 09:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant