Patrick Copeland
2014-02-11 21:23:47 UTC
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-AQ/***@public.gmane.org/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
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-AQ/***@public.gmane.org/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