From f3ec533e5e65dbc7cd01a9ea2cf0631ad8a11031 Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Mon, 25 Feb 2019 15:08:45 -0800 Subject: [PATCH] Setting timeout for SMT test --- src/Test/deserializealloytest.cc | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/Test/deserializealloytest.cc b/src/Test/deserializealloytest.cc index cef60f4..8677bf3 100644 --- a/src/Test/deserializealloytest.cc +++ b/src/Test/deserializealloytest.cc @@ -19,14 +19,17 @@ InterpreterType getInterpreterType(char * itype){ int main(int argc, char **argv) { printf("%d\n", argc); - if (argc != 2 && argc != 3) { + if (argc < 2 && argc > 4) { printf("You only specify the name of the file ...\n"); - printf("./run.sh deserializer test.dump [--alloy/--z3/--smtrat/--mathsat]\n"); + printf("./run.sh deserializer test.dump [--alloy/--z3/--smtrat/--mathsat] [timeout]\n"); exit(-1); } CSolver *solver; - if(argc == 3){ + if(argc >= 3){ solver = CSolver::deserialize(argv[1], getInterpreterType(argv[2])); + if(argc == 4){ + solver->setSatSolverTimeout(atol(argv[3])); + } } else { solver = CSolver::deserialize(argv[1]); } -- 2.34.1