diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-06-29 12:39:20 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-06-29 12:39:20 -0700 |
| commit | d90e6dd36f8d99789780ee1b0422ff66175ff248 (patch) | |
| tree | f362887018d70fbbefe668eb82e8b3d0bc0a2f50 | |
| parent | 5ced6412ed00204204ebd9351dab36e555f2e718 (diff) | |
Addressed some \n versus \r\n issues
| -rw-r--r-- | Source/Core/VariableDependenceAnalyser.cs | 2 | ||||
| -rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 3 | ||||
| -rw-r--r-- | Source/Houdini/CandidateDependenceAnalyser.cs | 2 |
3 files changed, 4 insertions, 3 deletions
diff --git a/Source/Core/VariableDependenceAnalyser.cs b/Source/Core/VariableDependenceAnalyser.cs index 799a60de..fd69d911 100644 --- a/Source/Core/VariableDependenceAnalyser.cs +++ b/Source/Core/VariableDependenceAnalyser.cs @@ -210,7 +210,7 @@ namespace Microsoft.Boogie { Console.Write(v);
}
}
- Console.WriteLine("\n");
+ Console.WriteLine(); Console.WriteLine();
}
public void Analyse() {
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index 75cd172a..ab029cb0 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -821,7 +821,8 @@ namespace Microsoft.Boogie VerificationResult verificationResult = null;
var output = new StringWriter();
- printer.Inform(string.Format("\nVerifying {0} ...", impl.Name), output);
+ printer.Inform("", output); // newline
+ printer.Inform(string.Format("Verifying {0} ...", impl.Name), output);
if (CommandLineOptions.Clo.VerifySnapshots)
{
diff --git a/Source/Houdini/CandidateDependenceAnalyser.cs b/Source/Houdini/CandidateDependenceAnalyser.cs index 03f53294..09cef241 100644 --- a/Source/Houdini/CandidateDependenceAnalyser.cs +++ b/Source/Houdini/CandidateDependenceAnalyser.cs @@ -310,7 +310,7 @@ namespace Microsoft.Boogie { for (int i = 0; i < Components.Count(); i++) {
Console.Write(i + ": ");
DumpSCC(Components[i]);
- Console.WriteLine("\n");
+ Console.WriteLine(); Console.WriteLine();
}
Console.WriteLine("Stages DAG");
|