Empty .dot for smg model

[shuhao qi]

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.

[Dave Parker]

Hi Shuhao,

Thanks for reporting this. There were various bugs in that code. We've
been overhauling the strategy generation code recently, in both PRISM
and PRISM-games, the first phase of which is now complete. Temporarily,
a few features of PRISM-games' old strategy generation are not
supported, but exporting SMG strategies to a file should be working fine
now (and better than before).

This is pushed to GitHub:

https://github.com/prismmodelchecker/prism-games

but not yet wrapped up in a public release. If you are able to compile
from source, I suggest you grab the latest code and try again.

Best wishes,

Dave

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker developers" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchecke...@googlegroups.com
> <mailto:prismmodelchecke...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker-dev/0aa246ec-ba25-42de-938f-628b363bc3e9n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker-dev/0aa246ec-ba25-42de-938f-628b363bc3e9n%40googlegroups.com?utm_medium=email&utm_source=footer>.