private void loadModel(ParameterConfiguration config, Loader.LoaderTask task)
{
try {
// Create a new loader and LoadingProgressForm and execute the loading
Loader loader = new Loader(config, task);
LoadingProgressForm lprogf = new LoadingProgressForm(loader);
lprogf.ShowDialog();
model = loader.GetModel();
loadTree();
} catch (Exception e) {
MessageBox.Show(String.Format("Cannot load model for current configuration:\n\n\"{0}\"", e));
return;
}
}
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);
}
}
}
