Adding SMTRat and MathSAT interpreters

[satune.git] / src / Test / deserializealloytest.cc

diff --git a/src/Test/deserializealloytest.cc b/src/Test/deserializealloytest.cc
index 187e384617ebbd1c4a45a2548bc64d92c70d98ce..cef60f4c9727de506f9146300de1102ab8a53423 100644 (file)
--- a/src/Test/deserializealloytest.cc
+++ b/src/Test/deserializealloytest.cc
@@ -8,11 +8,11 @@ InterpreterType getInterpreterType(char * itype){
                return Z3;
        } else if(strcmp (itype,"--smtrat") == 0){
                return SMTRAT;
-       } else if(strcmp (itype,"--alloy") == 0){
-               return ALLOY;
+       } else if(strcmp (itype,"--mathsat") == 0){
+               return MATHSAT;
        } else {
                printf("Unknown interpreter type: %s\n", itype);
-               printf("./run.sh deserializer test.dump [--alloy/--z3/--smtrat/--mathsmt]\n");
+               printf("./run.sh deserializer test.dump [--alloy/--z3/--smtrat/--mathsat]\n");
                exit(-1);
        }
 }
@@ -21,7 +21,7 @@ int main(int argc, char **argv) {
        printf("%d\n", argc);
        if (argc != 2 && argc != 3) {
                printf("You only specify the name of the file ...\n");
-               printf("./run.sh deserializer test.dump [--alloy/--z3/--smtrat/--mathsmt]\n");
+               printf("./run.sh deserializer test.dump [--alloy/--z3/--smtrat/--mathsat]\n");
                exit(-1);
        }
        CSolver *solver;