search

prismmodelchecker / prism-games

The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
http://www.prismmodelchecker.org/games/
GNU General Public License v2.0
22 stars 26 forks source link

Empty .dot for smg model #15

Closed Miracle-qi closed 1 year ago

Miracle-qi commented 1 year ago

I can successfully export the strategy .dot for csg model. When I export the strategy for smg model, the generated .dot is empty even for the provided examples. It is weird. The used prism-game is the latest 3.1 version. I will appreciate it if you can provide any advice or possible solution to solve this issue.

davexparker commented 1 year ago

The solution is discussed here: https://groups.google.com/g/prismmodelchecker/c/opSFJ3WKZNs