Command line for prism-games

[Jason Wang]

Hello,

I'm trying to run the Rock-paper-scissors example of prism-games. It said that we can get a dot file after use the command "prism-games rps2.prism rps2.props -prop 4 -exportstrat rps2_strat4.dot", I try to do it, I input bin/prism first, but no interface appear, and I input this command, it said that command not found. I want to solve this question. Can you help me with it. I use prism-games 3.0 Linux (64-bit) binary. 

Thank you 

Yuxuan

[Gethin Norman]

Yuxuan,

try running

bin/prism rps2.prism rps2.props -prop 4 -exportstrat rps2_strat4.dot

On the website it states:

"Here, prism-games is the command-line version of PRISM-games, i.e, the script bin/prism within the PRISM-games distribution (at the top-level for binary releases, or within subdirectory prism for source code versions)."

thanks

Gethin

> <Screenshot from 2022-08-12 02-17-12.png>
>
> --
> You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchec...@googlegroups.com.
> To view this discussion on the web, visit https://groups.google.com/d/msgid/prismmodelchecker/9882b52d-973a-4f13-991d-8dd285c18e1en%40googlegroups.com.
> <Screenshot from 2022-08-12 02-17-12.png>