hello I am confused with the value that some input parameters hold in the ktest files: object 16: name: 'string' object 16: size: 8 object 16: data: ' \x11\xfcQf\x05\x00\x00'
What does that second (or fourth) byte means? thank you -- DOUGLAS SCHROEDER FLORIANÓPOLIS-SC
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
