Exemple #1
0
        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);
        }
Exemple #2
0
        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);
                }
            }
        }