Saving a simulation run

[Muhammad Usama Sardar]

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. 

[Marcin Copik]

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

--
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.
To post to this group, send email to prismmod...@googlegroups.com.
Visit this group at https://groups.google.com/group/prismmodelchecker.
For more options, visit https://groups.google.com/d/optout.

[Muhammad Usama Sardar]

Thanks very much for your response. 

I would be grateful if someone could update regarding the current situation. 

Thank you.

[Dave Parker]

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:>.

> Visit this group at
> https://groups.google.com/group/prismmodelchecker

> <https://groups.google.com/group/prismmodelchecker>.

> For more options, visit https://groups.google.com/d/optout

> <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>.

> To post to this group, send email to prismmod...@googlegroups.com

> <mailto:prismmod...@googlegroups.com>.

[Muhammad Usama Sardar]

Hi Dave, 

Thanks very much for confirming this. I found the "Export Path" but couldn't find "Load Path". So I thought I should ask. 

Basically, I want to check my code using simulation and whenever a problem is detected, I want to save the path; so that after corrections in code, I can load the same path instead of going through each time step again. This way, I can easily check if the problem has been resolved. Without load option, it is hectic to follow the same path since I have a lot of variables and switched to simulation because of state space explosion. Maybe, you can suggest an alternative. 

Thanks again.