On 11 March 2015 at 17:13, douglas schroeder <dougla...@gmail.com> wrote: > Hello, thanks for the reply. > another question. > in my tests, almost all generated inputs are zeros. > > 0: name: 'string' > object 0: size: 8 > object 0: data: '\x00\x00\x00\x00\x00\x00\x00\x00' > object 1: name: 'data' > object 1: size: 1 > object 1: data: '\x00' > > is there a way to improve the generation of inputs? >
I don't know, but what is your definition of improve? Also please make sure you keep klee-dev CC'ed so that the discussion remains public. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev