Reliability Simulation

2023-11-12 21:23:15 +00:00
parent 4bf7397b0f
commit 44700abd4e
2 changed files with 127 additions and 13 deletions
@@ -82,6 +82,7 @@ public class Configuration : IPluginConfiguration
    private List<Macro> macros { get; set; } = new();
    [JsonIgnore]
    public IReadOnlyList<Macro> Macros => macros;
+    public int ReliabilitySimulationCount { get; set; } = 500;
    public bool ConditionRandomness { get; set; } = true;
    public SolverConfig SimulatorSolverConfig { get; set; } = SolverConfig.SimulatorDefault;
    public SolverConfig SynthHelperSolverConfig { get; set; } = SolverConfig.SynthHelperDefault;