Im running Base64 decoding src with KLEE and I got '11776' testcase so I viewd that used 'Ktest-tool' then dont fill last 2byte
it just normal?
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
