Hi again, On Sat, 2016-07-02 at 20:24 -0600, Marko Dimjašević wrote: > A thing that I would like to put in the output file is values of input > arguments to a program for a failing test case when the POSIX runtime > is used. Usually one calls the klee-replay tool for this. Is there a > way to use this functionality as a library from within > tools/klee/main.cpp?
Does anyone have an answer to this? I guess it shouldn't be hard, but I haven't been able to figure it out. -- Regards, Marko Dimjašević <ma...@cs.utah.edu> . University of Utah https://dimjasevic.net/marko . PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev