verify versus experiment

[Mridu Nanda]

I left one constant undefined in my simulation. When I run verify, and substitute some value (X) for the constant, the simulation runs fine. However, if I click "New experiment" and substitute the same value X, I get an error (in one of my formulas). What might be the reason for the differing results?

Thank you!

Mridu

[Dave Parker]

Hi Mridu,

Not sure about that. If you can send the model and explain how to
reproduce this behaviour, we can check.

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/dcce5db5-fee0-410a-87a2-dbf48970782cn%40googlegroups.com
> <https://groups.google.com/d/msgid/prismmodelchecker/dcce5db5-fee0-410a-87a2-dbf48970782cn%40googlegroups.com?utm_medium=email&utm_source=footer>.

[Mridu Nanda]

Hi Dave,

I ended up resolving the issue, it was a bug in my code.

Thanks,

Mridu