-
-
Notifications
You must be signed in to change notification settings - Fork 361
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Expose APIs for rz-solver #4648
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I recommend writing a unit test for these ROP APIs, it will certainly help with the development and automated testing.
5e2f3ca
to
af1e995
Compare
Agree 👍 , Will track it under another issue |
APIs used by the rz-solver: test-rop-solver.c |
@giridharprasath ping? |
@giridharprasath please rebase and add a unit test for this. Then we can merge. |
@XVilka I will be wrapping this and push the changes today. |
Got a little late, Will commit the changes today |
b513c4c
to
7e0aa44
Compare
* Add new APIs for compound OPs * Add new testcases for compound op * Fix testcases for rop constraint * Refactor rop constraint handling
39bb19c
to
3aeef0a
Compare
Your checklist for this pull request
Detailed description
Exposing some APIs required for rz-solver
#4563
...
Test plan
...
Closing issues
...