Я пытаюсь запустить NuSMV на Mac и могу запустить его нормально, но когда мне нужно использовать интерактивный режим, опция -int выдает ошибку - Параметр командной строки «–int» неизвестен.
Кто-нибудь еще имел эту проблему?