fix bug in grid5000

DIVERSIFY-project · Feb 26, 2014 · 56dc420 · 56dc420
1 parent 0ec84cd
commit 56dc420
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/grid5000.sh b/grid5000.sh
@@ -4,6 +4,7 @@ git pull
 mvn clean package
 
 rm -rf repo/diversify-exp
+mkdir repo
 sh script/git/init.sh repo
 
 sleep $((RANDOM%700))

diff --git a/src/main/java/fr/inria/diversify/sosie/Logger/processor/AssertInstrumenter.java b/src/main/java/fr/inria/diversify/sosie/Logger/processor/AssertInstrumenter.java
@@ -32,7 +32,8 @@ public boolean isToBeProcessed(CtInvocation<?> candidate) {
 
     public void process(CtInvocation<?> invocation) {
         String snippet = "fr.inria.diversify.sosie.logger.LogWriter.writeAssert(Thread.currentThread(),\"" +
-            getClass(invocation).getQualifiedName() + "\",\"" + getMethod(invocation).getSignature() + "\"";
+            getClass(invocation).getQualifiedName() + "\",\"" + getMethod(invocation).getSignature() + "\",\"" +
+                invocation.getTarget().getSignature()+ "\",";
 
         for(CtExpression expression : invocation.getArguments()) {
             snippet += ", " + expression.toString();