Sync no_sat value to GUI settings

os-fpga · Dec 1, 2024 · f995b86 · f995b86
1 parent 0c83249
commit f995b86
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Compiler/CompilerRS.cpp b/src/Compiler/CompilerRS.cpp
@@ -1075,7 +1075,8 @@ ArgumentsMap FOEDAG::TclArgs_getRsSynthesisOptions() {
     argumets.addArgument("no_flatten",
                          compiler->SynthNoFlatten() ? "true" : "false");
     argumets.addArgument("fast", compiler->SynthFast() ? "true" : "false");
-
+    argumets.addArgument("no_sat",
+                         compiler->SynthNoSat() ? "true" : "false");
     switch (compiler->GetNetlistType()) {
       case Compiler::NetlistType::Blif:
         argumets.addArgument("netlist_lang", "blif");