On 22/12/2022 16:09, Muralee, Siddharth wrote:
Hello,
I am currently working on a project to verify states that end due to
errors such as "memory error: out of bound pointer". Currently, I am
trying to extract some information about these states, and the most
information I am able to extract
Hello,
I am currently working on a project to verify states that end due to errors
such as "memory error: out of bound pointer". Currently, I am trying to extract
some information about these states, and the most information I am able to
extract is the instruction log from replaying only the
