harness generate about winnie HOT 9 CLOSED

I have the same problem.

from winnie.

@mineechor
I found the article building harness.dll
https://hackyboiz.github.io/2021/08/22/fabu1ous/winnie-2/

from winnie.

@william31212 Thank you very much！！

from winnie.

@mineechor
I'm research this project too. Can I communicate with you?
Does you have any contact

from winnie.

@william31212
maybe via the email？[email protected]

from winnie.

@william31212 I’am confused about harness.cpp generation. In fact, I am interested in the three python files(synthesizer.py、syn-multi.py、dominator.py) and library_trace.cpp.

from winnie.

@mineechor I have sent an email to you. However, I'm researching this repo's code, and maybe cannot answer your question.
But we can discuss it together?

from winnie.

@william31212 ok

from winnie.

This issue should be closed, as it is a duplicate of #43 . Of note, the first author of the paper said he was working on a write-up there, so updates on the effort will most likely be posted there.

from winnie.