Skip to content
Commit c87442fc authored by Manuel Jander's avatar Manuel Jander
Browse files

Enable FIX_1010_OPT_DIV case again because of crash, disable FIX_1010_OPT_GIVENS_AMAX_BMIN.

parent 50bc76ff