private void loadModelFromZ3Logfile() { LoadZ3LogForm loadform = new LoadZ3LogForm(); if (parameterConfiguration != null) { loadform.setParameterConfiguration(parameterConfiguration); } else { loadform.reloadParameterConfiguration(); } var dialogResult = loadform.ShowDialog(); if (dialogResult != DialogResult.OK) { return; } parameterConfiguration = loadform.GetParameterConfiguration(); ParameterConfiguration.saveParameterConfigurationToSettings(parameterConfiguration); loadModel(parameterConfiguration); }
private void AxiomProfiler_Load(object sender, EventArgs e) { if (parameterConfiguration == null) { return; } loadModel(parameterConfiguration); ParameterConfiguration.saveParameterConfigurationToSettings(parameterConfiguration); if (ScriptingSupport.RunScriptingTasks(model, scriptingTasks)) { Environment.Exit(0); } }