Hi Muhammad,
You can export a simulation path from the GUI, or generate and export a
path from the command-line. But there is currently no mechanism to load
it back in. Can I ask what you would want to do with the path once
loaded back into the simulator? I'm trying to understand how that
functionality would work.
Best wishes,
Dave
On 08/07/2016 08:24, 'Muhammad Usama Sardar' via PRISM model checker wrote:
> Thanks very much for your response.
>
> I would be grateful if someone could update regarding the current
> situation.
> Thank you.
>
> On Friday, July 8, 2016 at 12:22:15 PM UTC+5, Marcin Copik wrote:
>
> Dear Muhammad,
>
> The feature of saving and loading a simulation trace has been
> discussed during my GSoC project in 2014. At that time there was no
> possibility to do it.
>
> Best,
> Marcin
>
> pt., 8.07.2016 o 01:40 użytkownik 'Muhammad Usama Sardar' via PRISM
> model checker <
prismmod...@googlegroups.com <javascript:>> napisał:
>
> Hi everyone.
> I wanted to know if there is some way to save a specific
> simulation run; which can be regenerated at a later time
> automatically.
>
> Thank you.
>
> --
> 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
> <javascript:>.
> To post to this group, send email to
>
prismmod...@googlegroups.com <javascript:>.
> <
https://groups.google.com/group/prismmodelchecker>.
> <
https://groups.google.com/d/optout>.
>
> --
> 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>.
> <mailto:
prismmod...@googlegroups.com>.