[klee-dev] How to interpret a .path file?

[Zehra Naz]

Hi Klee-dev,
This question has been asked before, but no concrete answer. The file is a made up of about 395 0s and 1s, each on a separate line. This is generated for get_sign.o which is a very short example and doesn't have that many paths. What do the 1s and 0s mean?

Thank you!
Zehra  		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed