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

@@ -63,11 +63,11 @@
         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),
+                        getVerifyOptionValue(options),
                         DebugOptions.MethodFilter.getValue(options),
                         output, dumpHandlers, verifyHandlers);
     }
 
     DebugConfigImpl(OptionValues options,

@@ -97,10 +97,14 @@
         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;
     }