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