In fact, I want to test whether it is feasible to use @ (*) when the sensitive list is a non packaged array, as Dave said. From the experimental results, there are two questions that make me confused.
- The two parallel processes (repeat/forever) did not run as expected: the change in the value of arry in line 15 was not captured by the sensitive list in line 19, but it was OK to use the commented line 18.
- When using the statement in line 18, the simulation did not report a timeout because of forever, but ended after the repeat process ended