src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/DebugConfigImpl.java

*** 63,73 ****
          this(options, DebugOptions.Log.getValue(options),
                          DebugOptions.Count.getValue(options),
                          DebugOptions.TrackMemUse.getValue(options),
                          DebugOptions.Time.getValue(options),
                          DebugOptions.Dump.getValue(options),
!                         DebugOptions.Verify.getValue(options),
                          DebugOptions.MethodFilter.getValue(options),
                          output, dumpHandlers, verifyHandlers);
      }
  
      DebugConfigImpl(OptionValues options,
--- 63,73 ----
          this(options, DebugOptions.Log.getValue(options),
                          DebugOptions.Count.getValue(options),
                          DebugOptions.TrackMemUse.getValue(options),
                          DebugOptions.Time.getValue(options),
                          DebugOptions.Dump.getValue(options),
!                         getVerifyOptionValue(options),
                          DebugOptions.MethodFilter.getValue(options),
                          output, dumpHandlers, verifyHandlers);
      }
  
      DebugConfigImpl(OptionValues options,
*** 97,106 ****
--- 97,110 ----
          this.dumpHandlers = Collections.unmodifiableList(dumpHandlers);
          this.verifyHandlers = Collections.unmodifiableList(verifyHandlers);
          this.output = output;
      }
  
+     private static String getVerifyOptionValue(OptionValues values) {
+         return !DebugOptions.Verify.hasBeenSet(values) && Assertions.assertionsEnabled() ? "" : DebugOptions.Verify.getValue(values);
+     }
+ 
      @Override
      public OptionValues getOptions() {
          return options;
      }