Re: Adding SONAME to a shared object in KLEE

[Vincent Danjean]

Le 24/02/2016 08:30, Marko Dimjašević a écrit :
> Which brings us back to the original question - how to add the SONAME
> attribute to the library?

Did you try what have been said in this thread?

If yes, what did you do *exactly*?
Else, why not?

  Regards,
    Vincent