Skip to content

Add Arguments bool_decide : simpl never

Michael Sammler requested to merge msammler/bool_decide_simpl_never into master

As discussed on Mattermost, I've encountered a case where simpl on a goal containing bool_decide took 1.5 seconds without making any progress, but was instantaneous after adding Arguments bool_decide : simpl never. .

Merge request reports