jalangi2 icon indicating copy to clipboard operation
jalangi2 copied to clipboard

Published 20 hours ago • verified publisher icon Samsung

https://github.com/Samsung/jalangi2/pull/28 (passing internal iid of a function to literal)

Open ksen007 opened this issue 9 years ago • 0 comments

I believe that getters and setters are not getting the correct internalIids.

ksen007 avatar May 08 '15 15:05 ksen007