projects
/
satune.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
88522b8
)
Setting timeout for SMT test
author
Hamed Gorjiara
<hgorjiar@uci.edu>
Mon, 25 Feb 2019 23:08:45 +0000
(15:08 -0800)
committer
Hamed Gorjiara
<hgorjiar@uci.edu>
Mon, 25 Feb 2019 23:08:45 +0000
(15:08 -0800)
src/Test/deserializealloytest.cc
patch
|
blob
|
history
diff --git
a/src/Test/deserializealloytest.cc
b/src/Test/deserializealloytest.cc
index cef60f4c9727de506f9146300de1102ab8a53423..8677bf31db8f3eee615ee58821dd1f4fecd11110 100644
(file)
--- 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);
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("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;
exit(-1);
}
CSolver *solver;
- if(argc
=
= 3){
+ if(argc
>
= 3){
solver = CSolver::deserialize(argv[1], getInterpreterType(argv[2]));
solver = CSolver::deserialize(argv[1], getInterpreterType(argv[2]));
+ if(argc == 4){
+ solver->setSatSolverTimeout(atol(argv[3]));
+ }
} else {
solver = CSolver::deserialize(argv[1]);
}
} else {
solver = CSolver::deserialize(argv[1]);
}