public ParameterConfiguration GetParameterConfiguration() { ParameterConfiguration config = ParameterConfiguration.loadParameterConfigurationFromSettings(); config.z3LogFile = logFilePath.Text; return(config); }
public ParameterConfiguration GetParameterConfiguration() { ParameterConfiguration config = ParameterConfiguration.loadParameterConfigurationFromSettings(); string allZ3Options = z3Options.Text; config.z3InputFile = z3FilePath.Text; if (rb_proofLogging.Checked) { allZ3Options += " PROOF_MODE=2 DISPLAY_PROOF=true"; } config.z3Options = allZ3Options; Int32.TryParse(z3Timeout.Text, out config.timeout); return(config); }
public ParameterConfiguration GetParameterConfiguration() { ParameterConfiguration config = ParameterConfiguration.loadParameterConfigurationFromSettings(); string allZ3Options = z3OptionsTextBox.Text; if (File.Exists(preludeFileTextBox.Text)) { config.preludeBplFileInfo = new FileInfo(preludeFileTextBox.Text); } if (File.Exists(codeFileTextBox.Text)) { config.codeBplFileInfo = new FileInfo(codeFileTextBox.Text); } config.boogieOptions = boogieOptionTextBox.Text; if (rb_proofLogging.Checked) { allZ3Options += " PROOF_MODE=2 DISPLAY_PROOF=true"; } config.z3Options = allZ3Options; config.functionName = functionTextBox.Text; Int32.TryParse(timeoutTextBox.Text, out config.timeout); config.z3LogFile = Path.ChangeExtension(config.codeBplFileInfo.FullName, "z3log"); return(config); }
public void reloadParameterConfiguration() { ParameterConfiguration config = ParameterConfiguration.loadParameterConfigurationFromSettings(); setParameterConfiguration(config); }