search

jwaldmann / ceta-postproc

GNU Lesser General Public License v3.0
0 stars 0 forks source link

adapt to suggested new category "certified ITS termination" #16

Closed jwaldmann closed 7 years ago

jwaldmann commented 7 years ago

From CeTA side, the your version should work, but please don't give the .smt2 input. Just invoke with: $ceta proof.cpf

jwaldmann commented 7 years ago

Starexec will always call a post-processor with two arguments. I prefer to have just one ceta-postproc executable, and make category-specific settings in its Main module. Can I use the extension (.smt2) to detect the category?

jwaldmann commented 7 years ago

seems fixed.