fix for grid5000

add properties file
DIVERSIFY-project · Aug 28, 2014 · 076031a · 076031a
1 parent 0703cc8
commit 076031a
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 85 deletions.
diff --git a/configurationFiles/commons-lang/issta.properties b/configurationFiles/commons-lang/issta.properties
@@ -0,0 +1,7 @@
+project=../commons-lang
+newPomFile=utils2/commons-lang/pom.xml
+result=issta/commons-lang/
+nbRun=20
+timeOut=-1
+transformation.type=issta
+gitRepository=repo
diff --git a/grid5000.sh b/grid5000.sh
@@ -2,6 +2,7 @@
 cd /root
 git clone https://github.com/marcelinorc/junco-provider.git
 cd junco-provider
+git pull
 mvn clean install
 
 cd /root/diversify-statements
@@ -10,8 +11,6 @@ mvn -Dmaven.test.skip=true clean package
 
 
 rm -rf repo/sosie-exp
-#mkdir repo
-#sh script/git/init.sh repo
 
 java -Djava.library.path=lib -jar target/Sosies-generator-1.0-SNAPSHOT-jar-with-dependencies.jar git repo
 

diff --git a/src/main/java/fr/inria/diversify/transformation/ast/ASTMultiTransformation.java b/src/main/java/fr/inria/diversify/transformation/ast/ASTMultiTransformation.java