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/[email protected]/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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
