[klee-dev] Adding initial state as a constraint

Chelsea Metcalf metcalf.chelsea at gmail.com
Thu Mar 2 02:06:49 GMT 2017


Hi,
I am trying to add the initial state as a constraint, but it is not taking
effect.
For example, when adding a > 0, a <= 0 still shows up when it should be
evaluated to false. Would this have to do anything with the cache?
Thanks,Chelsea
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list