diff options
Diffstat (limited to 'Source/Houdini')
| -rw-r--r-- | Source/Houdini/AbstractHoudini.cs | 6 | ||||
| -rw-r--r-- | Source/Houdini/Houdini.cs | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs index 8b038554..716456ea 100644 --- a/Source/Houdini/AbstractHoudini.cs +++ b/Source/Houdini/AbstractHoudini.cs @@ -283,7 +283,7 @@ namespace Microsoft.Boogie.Houdini { private void PrintFunction(Function function)
{
- var tt = new TokenTextWriter(Console.Out);
+ var tt = new TokenTextWriter(Console.Out, /*pretty=*/ false);
var invars = new List<Expr>(function.InParams.OfType<Variable>().Select(v => Expr.Ident(v)));
function.Body = function2Value[function.Name].Gamma(invars);
function.Emit(tt, 0);
@@ -2436,7 +2436,7 @@ namespace Microsoft.Boogie.Houdini { }
}
- using (var wt = new TokenTextWriter(WitnessFile))
+ using (var wt = new TokenTextWriter(WitnessFile, /*pretty=*/ false))
{
program.Emit(wt);
}
@@ -2489,7 +2489,7 @@ namespace Microsoft.Boogie.Houdini { }
}
- using (var wt = new TokenTextWriter(WitnessFile))
+ using (var wt = new TokenTextWriter(WitnessFile, /*pretty=*/ false))
{
program.Emit(wt);
}
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index adb86598..af1bd8ad 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -747,7 +747,7 @@ namespace Microsoft.Boogie.Houdini { cexWriter.WriteLine("Counter example for " + refutedAnnotation.Constant);
cexWriter.Write(error.ToString());
cexWriter.WriteLine();
- using (var writer = new Microsoft.Boogie.TokenTextWriter(cexWriter))
+ using (var writer = new Microsoft.Boogie.TokenTextWriter(cexWriter, /*pretty=*/ false))
foreach (Microsoft.Boogie.Block blk in error.Trace)
blk.Emit(writer, 15);
//cexWriter.WriteLine();
|