For example, a callee action `foo` has a random variable `foo_val`. Then, another action calls `foo` in the repeat-count statement, using the `index_identifier` to constrain `foo_val`. For some reason, the name of `index_identifier` may be as same as `foo_val`.
action foo {
rand int foo_val;
...
}
action main {
activity {
repeat (foo_val : 10) {
do foo with { foo_val == this.foo_val; };
}
}
}
The question is, the built-in variable `this` can be used in this scenario?
Or I can only use different name for them?
repeat (i : 10) {
do foo with { foo_val == i; };
}
