Esempi in C# (CSharp) per AxiomProfiler ParameterConfiguration.loadParameterConfigurationFromSettings

Esempio n. 1

        public ParameterConfiguration GetParameterConfiguration()
        {
            ParameterConfiguration config = ParameterConfiguration.loadParameterConfigurationFromSettings();

            config.z3LogFile       = logFilePath.Text;
            config.checkToConsider = checkFilteringEnabled.Checked ? (int)checkFilteringNumber.Value : 0;
            return(config);
        }

Esempio n. 2

        public void reloadParameterConfiguration()
        {
            ParameterConfiguration config = ParameterConfiguration.loadParameterConfigurationFromSettings();

            setParameterConfiguration(config);
        }