search

swtv-kaist / cs458-fall22

1 stars 0 forks source link

--unwind 0 vs comment out recursion #13

Open KAIST-JongchanPark opened 1 year ago

KAIST-JongchanPark commented 1 year ago

In our code, there is a recursion in line 24.

To check my verification, I comment out line 24 (recursion code) to make a bug, then verification failure occurs.

However, with --unwind 0 option, I think failure occurs but does not.

Is there any difference between --unwind 0 vs comment out recursion (for our assignment code)?

ahcheongL commented 1 year ago

Commenting out the recursion line will change the max_heapify() function's execution only, but --unwind option will change the execution of your verification code, too.

KAIST-JongchanPark commented 1 year ago

For detail, I use --unwindset ...,max_heapify:0 for unwind option. (... is related to my verification code)

Even with this situation, is there any difference between --unwindset ... with comment out VS --unwindset ...,max_heapify:0 ?