[klee-dev] output ktest file

[douglas schroeder]

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