Skip to content

move the reduction control of the proofmode to its own file and tweak it

Ralf Jung requested to merge ralf/pm_red into gen_proofmode

Also update reftests, this actually fixes the output here (I did not notice the id there before).

Edited by Ralf Jung

Merge request reports