diff options
author | wuestholz <unknown> | 2014-05-28 16:01:05 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-05-28 16:01:05 +0200 |
commit | 1041cd2aab72e0a3b13ce1325ed36433596421fb (patch) | |
tree | 70d0b0dcbc862109334f33a7a234482c50bf45d8 /Source/ExecutionEngine | |
parent | 68bb2d0882069c9468e7e36c78a0eef710b7c677 (diff) |
Fixed minor issue.
Diffstat (limited to 'Source/ExecutionEngine')
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index b8bdf894..2588c08f 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -157,7 +157,7 @@ namespace Microsoft.Boogie string s;
if (tok != null)
{
- s = string.Format("{0}({1},{2}): {3}", tok.filename, tok.line, tok.col, message);
+ s = string.Format("{0}({1},{2}): {3}", ExecutionEngine.GetFileNameForConsole(tok.filename), tok.line, tok.col, message);
}
else
{
@@ -632,9 +632,9 @@ namespace Microsoft.Boogie }
}
- private static string GetFileNameForConsole(string filename)
+ internal static string GetFileNameForConsole(string filename)
{
- return (CommandLineOptions.Clo.UseBaseNameForFileName) ? System.IO.Path.GetFileName(filename) : filename;
+ return (CommandLineOptions.Clo.UseBaseNameForFileName && !string.IsNullOrEmpty(filename) && filename != "<console>") ? System.IO.Path.GetFileName(filename) : filename;
}
|