Yes, initialise the variable to a named constant (declared as "const int
myvar1_init = 0;"). Then you can rename this constant myvar1_init as
part of your module renaming.
On 09/03/2022 02:08, Mridu Nanda wrote:
> The module renaming feature is great because it avoids code duplication.
> However, is there a way to reinitialize local variables in the module
> For example, say I have a module that looks like:
> module mod1
> myvar1 : [0..2] init 0;
> Then if create module 2 via module renaming as so:
> module mod2 = mod1 [myvar1=myvar2]
> Is there a way to initialize myvar2=1? Currently, myvar2 will be
> initialized to 0, because that is what myvar1 was initialized as.
> 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
> To view this discussion on the web, visit