X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Fdeserializealloytest.cc;h=8677bf31db8f3eee615ee58821dd1f4fecd11110;hp=cef60f4c9727de506f9146300de1102ab8a53423;hb=f3ec533e5e65dbc7cd01a9ea2cf0631ad8a11031;hpb=e9ca288c7f0cf0f3bb9508c3cc9b212f557bcc40

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]);
 	}