Hi Andrew,
I only build the tool for my own task, and I don't intend to submit a
PR, so please go ahead with yours.
Sang
On Fri, Jun 22, 2018 at 9:32 PM, Andrew Santosa wrote:
> Hi Sang,
>
> I urgently need a tool like you mentioned, so I wrote one myself within KLEE
> source tree. You can
Thanks Sang.
I hope to find time to write the tests to make codecov happy.
Andrew
On Saturday, 23 June 2018, 2:33:20 pm GMT+8, Sang Phan
wrote:
Hi Andrew,
I only build the tool for my own task, and I don't intend to submit a
PR, so please go ahead with yours.
Sang
On Fri, Jun 22,
