exitFailure is the filepath doesn't exist.
Closed this issue · 0 comments
jonaprieto commented
If the file doesn´t exist, print another message.
$ onlineatps basic.tptp --atp=vampire
onlineatps: basic.tptp: openFile: does not exist (No such file or directory)