fix --debug-no-optimize command-line options

hlorenzi · Oct 7, 2023 · f0e0b54 · f0e0b54
1 parent 72f877a
commit f0e0b54
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/driver.rs b/src/driver.rs
@@ -355,10 +355,10 @@ fn parse_command(
 		command.opts.debug_iterations |=
 			parsed.opt_present("debug-iters");
 
-		command.opts.optimize_statically_known |=
+		command.opts.optimize_statically_known &=
 			!parsed.opt_present("debug-no-optimize-static");
 
-		command.opts.optimize_instruction_matching |=
+		command.opts.optimize_instruction_matching &=
 			!parsed.opt_present("debug-no-optimize-matcher");
 
 		if parsed.opt_present("color")