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
While using "Harness Generator", the synthesizer.py script needs an START_FUNCTION parameter. Where to find this function , dose it was automatic generated or needs manual efforts?
The text was updated successfully, but these errors were encountered:
Hi @stong@xxldao need to ask how to generate the harness using synthesizer.py I have reached to the final step but not sure about START_FUNCTION (i tried giving the function name too directly but it gives me the error ---> "Cannot find the starting function from the trace file". Could you pllease guide me how to proceed from here?
While using "Harness Generator", the
synthesizer.py
script needs anSTART_FUNCTION
parameter. Where to find this function , dose it was automatic generated or needs manual efforts?The text was updated successfully, but these errors were encountered: