Thomas Durieux

Results 72 comments of Thomas Durieux

Possible but this costs me a lot, thus using your script will put the website finance (my pocket money) in trouble. Don't abuse otherwise I will need to take measures...

I need to investigate this. I currently have a problem downloading and anonymizing big files from github. I need to fix this before supporting this feature.

Thank you @bertjiazheng Do you mean to display the date of the commit or when the repository has been anonymized?

Yes, but only when I have some time to handle it or when someone open a PR ;)

I added the last time the repository was updated. It is not when the commit has been pushed but when anonymous GitHub downloaded the latest change.

The Defects4J dissection is pretty easy to adapt for other application, you just need to generate a json file with all the patches and normally it is enough to update...

Double Check the content of your `SECRETS.txt` file

Can you give the output of the execution? Sometime the fault localization technique takes a lot of time

Can you try to run nopol with those parameters: ```bash export JAVA_TOOL_OPTIONS=-Dfile.encoding=UTF8; TZ="America/New_York"; export TZ; export PATH="/usr/lib/jvm/java-1.7.0-openjdk-amd64/bin/:$PATH"; java -d64 -Xmx4g -Xms1g -XX:MaxPermSize=1024m -XX:+UseConcMarkSweepGC -XX:+CMSPermGenSweepingEnabled -XX:+CMSClassUnloadingEnabled \ -cp nopol.jar:/usr/lib/jvm/java-1.7.0-openjdk-amd64/bin/../lib/tools.jar \ fr.inria.lille.repair.Main...