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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
