search

ASSERT-KTH / drr

Tool & data on the correctness of Defects4 patches generated by program repair tools http://arxiv.org/pdf/1909.13694
http://arxiv.org/pdf/1909.13694
Creative Commons Attribution Share Alike 4.0 International
10 stars 6 forks source link

add Travis task to verify consistency between patches and patched programs in the repo #7

Open monperrus opened 6 years ago

SophieHYe commented 6 years ago

Hi @monperrus One of my concern is if we want to verify consistency between patches and patched programs, we need to checkout and push all the buggy defects4j programs to our repo. That's a big amount of data, would it be a problem?

tdurieux commented 6 years ago

This repo https://github.com/Spirals-Team/defects4j-repair/, contains the bugs of defects4j (in the branches). It should be possible to do something with that

monperrus commented 6 years ago

we need to push only the buggy Java file (and the other original versions of   files for which we have patches). not the full project.

This should not be a lot of data.

tdurieux commented 6 years ago

I have this here: https://github.com/tdurieux/pattern-detector-experiment/tree/master/benchmark/defects4j