Added guard for making smc queries when model has strict intervals - fix 2088434#185

Merged

srba merged 1 commit intoTAPAAL:mainfrom mtygesen:strict-intervals-smc-2088434

Dec 1, 2024

+12-2

Commits on Nov 18, 2024

added guard for models with strict intervals when using smc
mtygesen
committed