Open vsoch opened 4 weeks ago
Merging #1184 (f08ad38) into master (1c68ec6) will decrease coverage by
0.2%
. Report is 31 commits behind head on master. The diff coverage is0.0%
.:exclamation: Current head f08ad38 differs from pull request most recent head c9fb2bf. Consider uploading reports for the commit c9fb2bf to get more accurate results
I am sorry codecov bot, please forgive my sins :pray:
Problem: the c++ bindings do not have satisfy support. Solution: add satisfy to them.
In practice I was adding this for exposure to the Go bindings, but I do not think it is necessary, because the Go bindings use the C bindings, which already have reapi_cli_match_satisfy. I saw that match_allocate seems to have support to provide the SATISFIABILITY match_op, which is provided to the traverser, so I tried to call that same function. I am opening this PR in case it is interesting or useful. If not, please close and disregard.
If the PR is desired, here are questions I have:
And again, if this is not of interest, please disregard! Going to do some work on fluxion-go next.