GPUVerify: if one input file is supplied, choose output file name more intelligently

Specifically, if the input file's extension is not ".bpl", use
its name (without extension) plus ".bpl" as the output file name.

1 files changed, 6 insertions, 0 deletions

diff --git a/Source/GPUVerify/Main.cs b/Source/GPUVerify/Main.cs
index c8d29282..d1fcca9e 100644
--- a/Source/GPUVerify/Main.cs
+++ b/Source/GPUVerify/Main.cs
@@ -129,6 +129,12 @@ namespace GPUVerify
             {

                 fn = CommandLineOptions.outputFile;

             }

+            else if (CommandLineOptions.inputFiles.Count == 1)

+            {

+                var inputFile = CommandLineOptions.inputFiles[0];

+                if (Path.GetExtension(inputFile).ToLower() != ".bpl")

+                    fn = Path.GetFileNameWithoutExtension(inputFile);

+            }

             ResolutionContext rc;

             Program program = parse(out rc);

             IList<GPUVerifier> result = new List<GPUVerifier>();