Warn when using time bound on discrete-time models#855

Open

volkm wants to merge 3 commits intostormchecker:masterfrom

volkm:step_time_bound

Commits on Jan 23, 2026

Extended test for parsing bounded until formulas
volkm
committed
Allow time-bounded until for ParameterLiftingModelChecker on discrete-time models
volkm
committed
Warn when using time-bound instead of step-bound on discrete-time models
volkm
committed