Make --filter-* work with measure-complexity (#5264)

### Description Make `--filter-position` and `--filter-symbol` work with `measure-complexity`. ### How has this been tested? Just manually, though those flags are already tested for `dafny verify`. By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license. --------- Co-authored-by: Remy Willems <[email protected]>
dafny-lang · Apr 17, 2024 · 91cdb2b · 91cdb2b
1 parent 67db058
commit 91cdb2b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Source/DafnyDriver/Commands/MeasureComplexityCommand.cs b/Source/DafnyDriver/Commands/MeasureComplexityCommand.cs
@@ -13,6 +13,8 @@ static class MeasureComplexityCommand {
  public static IEnumerable<Option> Options => new Option[] {
  Iterations,
  RandomSeed,
+ VerifyCommand.FilterSymbol,
+ VerifyCommand.FilterPosition,
  }.Concat(DafnyCommands.VerificationOptions).
  Concat(DafnyCommands.ResolverOptions);
 

diff --git a/Source/DafnyDriver/Commands/VerifyCommand.cs b/Source/DafnyDriver/Commands/VerifyCommand.cs
@@ -43,7 +43,6 @@ public static class VerifyCommand {
  Concat(DafnyCommands.ConsoleOutputOptions).
  Concat(DafnyCommands.ResolverOptions);
 
-
  public static async Task<int> HandleVerification(DafnyOptions options) {
  if (options.Get(CommonOptionBag.VerificationCoverageReport) != null) {
  options.TrackVerificationCoverage = true;