Added /useBaseNameForFile command line argument. The Scanner

and Parser constructors have been modified to take an optional
argument specifying this and the ExecutionEngine passes for that
value CommandLineOptions.Clo.UseBaseNameForFileName

This option when true causes the basename of file to be used inside
created Tokens instead of what the user passed on the command line
which might be a relative or absolute path.

The motivation for adding this option is that it is needed for the
lit driven tests so that the output of Boogie can be reliably checked.

1 files changed, 6 insertions, 1 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 98086cf0..a5c63243 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -368,6 +368,7 @@ namespace Microsoft.Boogie {
     public bool VerifySeparately;

     public string PrintFile = null;

     public int PrintUnstructured = 0;

+    public bool UseBaseNameForFileName = false;

     public int DoomStrategy = -1;

     public bool DoomRestartTP = false;

     public bool PrintDesugarings = false;

@@ -1404,7 +1405,8 @@ namespace Microsoft.Boogie {
               ps.CheckBooleanFlag("verifySeparately", ref VerifySeparately) ||

               ps.CheckBooleanFlag("trustAtomicityTypes", ref TrustAtomicityTypes) ||

               ps.CheckBooleanFlag("trustNonInterference", ref TrustNonInterference) ||

-              ps.CheckBooleanFlag("doNotUseParallelism", ref UseParallelism, false)

+              ps.CheckBooleanFlag("doNotUseParallelism", ref UseParallelism, false) ||

+              ps.CheckBooleanFlag("useBaseNameForFileName", ref UseBaseNameForFileName)

               ) {

             // one of the boolean flags matched

             return true;

@@ -1666,6 +1668,9 @@ namespace Microsoft.Boogie {
                        Graphviz format to files named:

                          <prefix>.<procedure name>.dot

 

+  /useBaseNameForFileName : When parsing use basename of file for tokens instead

+                            of the path supplied on the command line

+

   ---- Inference options -----------------------------------------------------

 

   /infer:<flags>