Closed LenaSaid closed 1 year ago
Fixes that the LTL is loaded as CTL. Fixes the wrong options for boundedness check + a stricter check for when the net is unboundedned
Fixes that the LTL is loaded as CTL. Fixes the wrong options for boundedness check + a stricter check for when the net is unboundedned