Synthesis helper config options

2023-07-21 16:01:18 +04:00
parent 1e5cc96837
commit ca6d6de934
2 changed files with 22 additions and 0 deletions
@@ -62,6 +62,8 @@ public class Configuration : IPluginConfiguration
    public SolverConfig SolverConfig { get; set; } = new();
    public SolverAlgorithm SolverAlgorithm { get; set; } = SolverAlgorithm.StepwiseFurcated;
    public bool ConditionRandomness { get; set; } = true;
+    public bool EnableSynthesisHelper { get; set; } = true;
+    public int SynthesisHelperStepCount { get; set; } = 5;

    public Simulator.Simulator CreateSimulator(SimulationState state) =>
        ConditionRandomness ?