search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

exitFailure is the filepath doesn't exist. #8

Closed jonaprieto closed 8 years ago

jonaprieto commented 8 years ago

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)