• Sergey Petrunya's avatar
    Post-merge fixes: · 584d923c
    Sergey Petrunya authored
    - put back the result encoding in func_in.result (messed up by kdiff3)
    - update .result for other tests (checked)
    584d923c
negation_elimination.result 8.68 KB