bound reached on model checking
Handle the bound reached case in model checking. Currently it returns success.
Not sure what to display to the user.
(from redmine: issue id 3099, created on 2017-10-16)
Handle the bound reached case in model checking. Currently it returns success.
Not sure what to display to the user.
(from redmine: issue id 3099, created on 2017-10-16)