diff options
Diffstat (limited to 'src/main/driver.cpp')
-rw-r--r-- | src/main/driver.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/driver.cpp b/src/main/driver.cpp index 742cba8d2..44457841d 100644 --- a/src/main/driver.cpp +++ b/src/main/driver.cpp @@ -182,6 +182,9 @@ int runCvc4(int argc, char* argv[], Options& options) { options.inputLanguage = language::input::LANG_SMTLIB_V2; } else if(len >= 4 && !strcmp(".smt", filename + len - 4)) { options.inputLanguage = language::input::LANG_SMTLIB; + } else if((len >= 2 && !strcmp(".p", filename + len - 2)) + || (len >= 5 && !strcmp(".tptp", filename + len - 5))) { + options.inputLanguage = language::input::LANG_TPTP; } else if(( len >= 4 && !strcmp(".cvc", filename + len - 4) ) || ( len >= 5 && !strcmp(".cvc4", filename + len - 5) )) { options.inputLanguage = language::input::LANG_CVC4; |