private void ApplyInvariants()
{
if (this.Houdini != null)
{
Houdini.ApplyAssignment(this.SummarizedAC.BoogieProgram, this.Outcome);
this.Houdini.Close();
ToolCommandLineOptions.Get().TheProverFactory.Close();
}
}
private void ApplyInvariants(ref HoudiniOutcome outcome)
{
if (this.Houdini != null)
{
Houdini.ApplyAssignment(this.PostAC.Program, outcome);
// this.Houdini.ApplyAssignment(this.PostAC.Program);
this.Houdini.Close();
WhoopCruncherCommandLineOptions.Get().TheProverFactory.Close();
}
}