diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-12-01 21:24:43 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-12-01 21:24:43 -0800 |
| commit | 34112b0b3da6642b5b18ce2dd53d6b6d57cc214f (patch) | |
| tree | 0cddc712dd1b3678993a342a362a65bce7d59297 /Source/BoogieDriver | |
| parent | 9e18c32b3fda7b377f095e8ee865424c51af1e73 (diff) | |
added a mechanism for supplying the list of input bpl files inside a .txt file
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs index ed61b709..58731f10 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -67,7 +67,22 @@ namespace Microsoft.Boogie { Helpers.ExtraTraceInformation("Becoming sentient");
+ List<string> fileList = new List<string>();
foreach (string file in CommandLineOptions.Clo.Files) {
+ string extension = Path.GetExtension(file);
+ if (extension != null) {
+ extension = extension.ToLower();
+ }
+ if (extension == ".txt") {
+ StreamReader stream = new StreamReader(file);
+ string s = stream.ReadToEnd();
+ fileList.AddRange(s.Split(new char[3] {' ', '\n', '\r'}, StringSplitOptions.RemoveEmptyEntries));
+ }
+ else {
+ fileList.Add(file);
+ }
+ }
+ foreach (string file in fileList) {
Contract.Assert(file != null);
string extension = Path.GetExtension(file);
if (extension != null) {
@@ -79,7 +94,7 @@ namespace Microsoft.Boogie { goto END;
}
}
- ProcessFiles(CommandLineOptions.Clo.Files);
+ ProcessFiles(fileList);
END:
if (CommandLineOptions.Clo.XmlSink != null) {
|