add assertion message when calling lb/ub if interval is bottom, don't…#1467

Merged

yuleisui merged 1 commit intoSVF-tools:masterfrom jumormt:master

May 25, 2024

+6-4

Commits on May 25, 2024

add assertion message when calling lb/ub if interval is bottom, don't truncvalue when propagating bottom
jumormt
committed