Hi, I'm testing a program that compress and decompress files. For C compilation I'm using these flags:
-DSPEC_CPU -DNDEBUG -DSPEC_CPU_LP64 How could I use these in KLEE? Thank you Nora
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
