diff options
Diffstat (limited to 'Source/GPUVerify/Main.cs')
| -rw-r--r-- | Source/GPUVerify/Main.cs | 6 |
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>();
|