Sergey Mechtaev
Results
12
issues of
Sergey Mechtaev
Add this benchmarks: BugsPHP: A dataset for Automated Program Repair in PHP https://github.com/bugsphp/bugsPHP
`--output-space` fails on demo with the following output: ```[2018-Jun-08 06:41:54.255073] [info] intermediate data directory: "/tmp/bce0-429e-5f6c-bbf3" [2018-Jun-08 06:41:54.255232] [info] building project and inferring compile commands [2018-Jun-08 06:41:54.255309] [info] using existing compilation...