Open pdreiter opened 5 years ago
How to duplicate [minimal case] @jlacomis :
1) Build manybugs bug gzip-2009-09-26-a1d3d4019d-f17cbd13a1
2) Launch bugzoo container --with genprog
for gzip-2009-09-26-a1d3d4019d-f17cbd13a1
3) Run echo "a(485,306)" > test.0.incoming.txt && genprog configuration-default --minimization --edit-script --incoming-pop test.0.incoming.txt
when the minimal set is found by genprog, get an assertion
I did some debugging and it looks like this is because
min_rep#construct_rep
fromdelta_debugging @ src/minimization.ml line 280
doesn't take into account that the minimized input is an edit list and always treats the input as a diff.