changed the suffix of the trace file from .bpl to .txt to avoid confusing the lit tool

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs
index 74cf0d26..fef24688 100644
--- a/Source/Houdini/Houdini.cs
+++ b/Source/Houdini/Houdini.cs
@@ -276,7 +276,7 @@ namespace Microsoft.Boogie.Houdini {
 

     protected Houdini() { }

 

-    public Houdini(Program program, HoudiniSession.HoudiniStatistics stats, string cexTraceFile = "houdiniCexTrace.bpl") {

+    public Houdini(Program program, HoudiniSession.HoudiniStatistics stats, string cexTraceFile = "houdiniCexTrace.txt") {

       this.program = program;

       this.cexTraceFile = cexTraceFile;

       Initialize(program, stats);