kleespectre icon indicating copy to clipboard operation
kleespectre copied to clipboard

Published 20 hours ago • verified publisher icon winter2020

Help on Understanding Layout

Open hgordon-git opened this issue 3 years ago • 0 comments

I have been trying to recreate this work and adopt it to a newer version of klee. However, I can't find where the modifications of the klee process are stored. The paper mentioned the ExpandSpecTree procedure -- I can't seem to find it on this repository. If you could help, that would be great! Thank you!

hgordon-git avatar Feb 01 '22 02:02 hgordon-git