On Tue, 2016-02-23 at 13:25 -0700, Marko Dimjašević wrote:
> I am aware of that. However, that still doesn't answer my question -
> is
> the shared version of the library needed?
... and let me answer my own question: it is needed. Cristian, as you
pointed to the example, there is the following
Hi Cristian,
On Tue, 2016-02-23 at 16:49 +, Cristian Cadar wrote:
> Hi Marko,
>
> This shared library is useful during replay, e.g., see the last section
> of Tutorial 1:
> http://klee.github.io/tutorials/testing-function/
I am aware of that. However, that still doesn't answer my question
Hi Marko,
This shared library is useful during replay, e.g., see the last section
of Tutorial 1:
http://klee.github.io/tutorials/testing-function/
Best,
Cristian
On 23/02/16 03:33, Marko Dimjašević wrote:
Dear KLEE authors and users,
I've been working on creating a Debian package for KLEE
Dear KLEE authors and users,
I've been working on creating a Debian package for KLEE and there is one
issue I've been unable to resolve so far. It is related to a shared
library.
In particular, when I build the Debian package for KLEE, I see that
there is only one shared object file: