diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 15:11:03 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 15:11:03 -0700 |
commit | 65334f8f33c92a1e37376d6484d60ee45b55ca1d (patch) | |
tree | 65f482cd715fb565f0a7ff0cb8b3376d593fd2de /Source/DafnyServer | |
parent | 594809c6668c26c3b838153ba4a4222ebef3312d (diff) |
Add tests for the server
Diffstat (limited to 'Source/DafnyServer')
-rw-r--r-- | Source/DafnyServer/Server.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyServer/Server.cs b/Source/DafnyServer/Server.cs index c6f619d3..74cdd8c2 100644 --- a/Source/DafnyServer/Server.cs +++ b/Source/DafnyServer/Server.cs @@ -22,7 +22,7 @@ namespace Microsoft.Dafny { if (hasArg && args[0] == "selftest") {
VerificationTask.SelfTest();
} else if (hasArg && File.Exists(arg)) {
- Console.WriteLine("# Reading from {0}", arg);
+ Console.WriteLine("# Reading from {0}", Path.GetFileName(arg));
Console.SetIn(new StreamReader(arg));
server.Loop();
} else {
|