Add support to toggle the synthesis of trivial patches

[agodio]

Hi

In general, APR tools synthesize patches even when not enough tests are provided, but Nopol (smt) makes an extra effort not to synthesize patches under these conditions. Even though it's wise not to do so, since the patch is likely to be overfitted, it would be interesting for our research to produce trivial patches too.

I wonder if there is a version that produces trivial patches or how difficult it would be to modify the current version.

Thanks!

[monperrus]

Thanks for your interest in Nopol @agodio

I wonder if there is a version that produces trivial patches

No

how difficult it would be to modify the current version.

I'd say it's reasonably doable to add such a feature toggle, it may be a patch with only a few lines. Would you give it a try?