Adding timeout for Alloy interpreter

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

diff --git a/src/Test/deserializerautotune.cc b/src/Test/deserializerautotune.cc
old mode 100755 (executable)
new mode 100644 (file)
index 8bda6c6..7c3728d
--- a/src/Test/deserializerautotune.cc
+++ b/src/Test/deserializerautotune.cc
@@ -1,23 +1,23 @@
 #include "csolver.h"
 #include "autotuner.h"
 
-int main(int argc, char ** argv){
-       if(argc < 2){
+int main(int argc, char **argv) {
+       if (argc < 2) {
                printf("You should specify file names ...");
-               exit(-1);       
+               exit(-1);
        }
-       CSolver * solvers[argc-1];
+       CSolver *solvers[argc - 1];
        AutoTuner *autotuner = new AutoTuner(300);
-       for(int i = 1; i < argc; i++) {
-               solvers[i-1] = CSolver::deserialize(argv[i]);
-               autotuner->addProblem(solvers[i-1]);
+       for (int i = 1; i < argc; i++) {
+               solvers[i - 1] = CSolver::deserialize(argv[i]);
+               autotuner->addProblem(solvers[i - 1]);
        }
 
        autotuner->tune();
        delete autotuner;
-       
-       for(int i = 1; i < argc; i++) {
-               delete solvers[i-1];
+
+       for (int i = 1; i < argc; i++) {
+               delete solvers[i - 1];
        }
 
        return 1;