Currently there is no check whether the correct file output extension is used. This means the user could set -o outputFile.exe while the actual output file is simply a csv/tsv file. A check whether the user adhered to the expected output-format (or if none is given, automatically append it to the path) should be done instead.
Currently there is no check whether the correct file output extension is used. This means the user could set
-o outputFile.exe
while the actual output file is simply a csv/tsv file. A check whether the user adhered to the expected output-format (or if none is given, automatically append it to the path) should be done instead.