Henrich Lauko
Results
72
issues of
Henrich Lauko
fix wrong results: - [ ] ldv-regression/rule57_ebda_blast_2.yml - [ ] ldv-regression/test24-2.yml - [ ] ldv-regression/test25-1.yml - [ ] ldv-regression/test28-1.yml - [ ] ldv-regression/test29-1.yml
bug
fix wrong results: - [ ] array-fpi/eqn4f.yml - [ ] array-fpi/eqn3f.yml - [ ] array-programs/copysome2-2.yml - [ ] array-programs/copysome1-2.yml - [ ] reducercommutativity/rangesum05.yml - [ ] array-industry-pattern/check_removal_from_set_after_insertion.yml - [ ]...
bug