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 -------------- next part -------------- HTML attachment scrubbed and removed