CASC modes imply --input_syntax tptp

vprover · Jun 14, 2024 · 5ad494e · 5ad494e
1 parent 0332895
commit 5ad494e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/vampire.cpp b/vampire.cpp
@@ -562,6 +562,7 @@ void dispatchByMode(Problem* problem)
   case Options::Mode::CASC:
     env.options->setIgnoreMissing(Options::IgnoreMissing::WARN);
     env.options->setSchedule(Options::Schedule::CASC);
+    env.options->setInputSyntax(Options::InputSyntax::TPTP);
     env.options->setOutputMode(Options::Output::SZS);
     env.options->setProof(Options::Proof::TPTP);
     env.options->setOutputAxiomNames(true);
@@ -576,6 +577,7 @@ void dispatchByMode(Problem* problem)
   case Options::Mode::CASC_HOL: {
     env.options->setIgnoreMissing(Options::IgnoreMissing::WARN);
     env.options->setSchedule(Options::Schedule::CASC_HOL_2020);
+    env.options->setInputSyntax(Options::InputSyntax::TPTP);
     env.options->setOutputMode(Options::Output::SZS);
     env.options->setProof(Options::Proof::TPTP);
     env.options->setOutputAxiomNames(true);
@@ -588,6 +590,7 @@ void dispatchByMode(Problem* problem)
   case Options::Mode::CASC_SAT:
     env.options->setIgnoreMissing(Options::IgnoreMissing::WARN);
     env.options->setSchedule(Options::Schedule::CASC_SAT);
+    env.options->setInputSyntax(Options::InputSyntax::TPTP);
     env.options->setOutputMode(Options::Output::SZS);
     env.options->setProof(Options::Proof::TPTP);
     env.options->setOutputAxiomNames(true);