Command line prompt does not work
24 views
Skip to first unread message
Rayhanul Islam
Aug 17, 2022, 1:06:48 PM8/17/22
to PRISM model checker developers
Hello,
I installed prism on mac os.
I used to run xprism to use prism GUI for model checking, but when I run prism from the bin directory for model checking in the command line, it shows the following windows, and there is no way to run the prism command.
Would anyone please explain how to solve this issue?
I really appreciate any help you can provide.
Regards
Rayhanul
I installed prism on mac os.
I used to run xprism to use prism GUI for model checking, but when I run prism from the bin directory for model checking in the command line, it shows the following windows, and there is no way to run the prism command.
Would anyone please explain how to solve this issue?
I really appreciate any help you can provide.
Regards
Rayhanul
Reply all
Reply to author
Forward
0 new messages