[klee-dev] State Merging

[Patrick Copeland]

Hello all,

I am writing to learn about the current support for state merging in KLEE.
I found this thread (State
merging<http://www.mail-archive.com/klee-dev@imperial.ac.uk/msg00415.html>)
from ~4 years ago, but I was wondering if there had been any changes in the
interim.

The -use-merge flag indicates that klee_merge() support is experimental.
Has klee_merge() been tested to work for special cases?

Very respectfully,

Patrick Copeland
-------------- next part --------------
HTML attachment scrubbed and removed