diff --git a/grid5000.sh b/grid5000.sh index 2ec60d9f..d50182c8 100644 --- 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 index 5eeb83ad..ec41bbbb 100644 --- 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();