WIP Investigating Build assume problem#1734

Open

jantje wants to merge 6 commits intomasterfrom

build_assume_problem

Commits on Nov 17, 2025

Commits on Nov 18, 2025

add if(){return;} before assumeFalse (for testing)
jan
committed