close default kcfg minimization 4 cse#885

Draft

Stevengre wants to merge 6 commits intomasterfrom

jh/close-kcfg-minimization-4-cse

Commits on Nov 18, 2024

don't minimize proof during cse; close minimize_proof for SUMMARY_CONFIG.
Stevengre
committed
select some tests with external calls for testing the `--cse` option.
Stevengre
committed

Commits on Nov 19, 2024

Commits on Nov 20, 2024

update expected ouput
Stevengre
committed