search

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis
72 stars 38 forks source link

Bug fix #17

Closed shrep16 closed 4 years ago

shrep16 commented 4 years ago

Fixed test cases

shrep16 commented 4 years ago

Hi, I am sorry, I somehow shared the wrong code with you. It is *w = t in cs15.c.

I named the patch bug fix, as I didnt know what to name it and I thought that since I was updating the test cases, bug fix might be a suitable name.Kindly suggest me a name so that I can update it. (I am relatively new to github, so I kind of messed up with my local repo, so the errors).