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