The "export strategy" does not work

R.K Kwon

unread,

Jun 21, 2022, 10:03:23 PM6/21/22

to PRISM model checker

I selected export strategy from the pop-up menu and entered a file name to save, but no file is created.

There was a problem with this example.

https://www.prismmodelchecker.org/games/examples.php

Dave Parker

unread,

Jul 15, 2022, 5:09:54 AM7/15/22

to prismmod...@googlegroups.com, rkay...@gmail.com

Hi,

It looks like this is not connected to the graphical user interface
currently. There is an improved version of that coming soon. In the
meantime, use the -exportstrat switch from the command line, like in the
examples on the wenpage page you referenced.

Best wishes,

Dave

> --
> 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
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker/c7a356fc-0258-4b25-ba04-3094f787f46bn%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/c7a356fc-0258-4b25-ba04-3094f787f46bn%40googlegroups.com?utm_medium=email&utm_source=footer>.

R.K Kwon

unread,

Jul 15, 2022, 5:14:07 AM7/15/22

to Dave Parker, prismmod...@googlegroups.com

Ok, thanks.

2022년 7월 15일 (금) 오후 6:09, Dave Parker <d.a.p...@cs.bham.ac.uk>님이 작성:

Reply all

Reply to author

Forward