public void loadModelFromZ3Logfile() { LoadZ3LogForm loadform = new LoadZ3LogForm(launchedFromAddin, ctrl); if (parameterConfiguration != null) { loadform.setParameterConfiguration(parameterConfiguration); } else { loadform.reloadParameterConfiguration(); } DialogResult dialogResult; dialogResult = loadform.ShowDialog(); if (dialogResult != DialogResult.OK) { return; } parameterConfiguration = loadform.GetParameterConfiguration(); ParameterConfiguration.saveParameterConfigurationToSettings(parameterConfiguration); loadModel(parameterConfiguration, Loader.LoaderTask.LoaderTaskParse); }
private void Z3AxiomProfiler_OnLoadEvent(object sender, EventArgs e) { if (!this.launchedFromAddin) { if (parameterConfiguration != null) { Loader.LoaderTask task = Loader.LoaderTask.LoaderTaskBoogie; if ((parameterConfiguration.z3LogFile != null) && (parameterConfiguration.z3LogFile != "")) { task = Loader.LoaderTask.LoaderTaskParse; } loadModel(parameterConfiguration, task); ParameterConfiguration.saveParameterConfigurationToSettings(parameterConfiguration); } } }