[klee-dev] Implementing support for the Firehose file format

[Marko Dimjašević]

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ć <marko at cs.utah.edu> .   University of Utah
https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
Learn email self-defense!  https://emailselfdefense.fsf.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160719/b674c6ff/attachment.sig>