You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am having trouble testing your tool on any of the tests from the repo. I don't exactly know how to implement a harness script from scratch (it's especially difficult since every binary is closed-source).
Do you have an example of a harness that would work out-of-the-box with one of your proposed tests?
The text was updated successfully, but these errors were encountered:
I am having trouble testing your tool on any of the tests from the repo. I don't exactly know how to implement a harness script from scratch (it's especially difficult since every binary is closed-source).
Do you have an example of a harness that would work out-of-the-box with one of your proposed tests?
The text was updated successfully, but these errors were encountered: