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);
}
}
}
