PRISM >=4.8: -exportprismconst not working

[Uli Vogl]

Hi,

it seems, since version 4.8 the command line option "-exportprismconst" does not work.

It produces no output, but even no error message.

The option ""-exportprism" works properly, but does of course not resolve the constants...

Does anyone know why this is happening and how to fix it?

Uli Vogl, UniBW, Munich

[Dave Parker]

Hi Uli,

It seems to work for me on a simple test case. If you can tell me how to
reproduce the problem (feel free to send me the model/command directly),
then I can investigate.

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/b9e9aca7-972b-465c-aa53-cf9474fe7d69n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/b9e9aca7-972b-465c-aa53-cf9474fe7d69n%40googlegroups.com?utm_medium=email&utm_source=footer>.