This PR attempts to implement adv.push_smtget and adv.push_smtset as described in #1220. This is currently a rough draft since I wanted first to be sure I am following this correctly before adding tests and polishing. I am also quite new to rust so please do suggest good practices wherever appropriate! Thank you!
Checklist before requesting a review
Repo forked and branch created from next according to naming convention.
Describe your changes
This PR attempts to implement
adv.push_smtget
andadv.push_smtset
as described in #1220. This is currently a rough draft since I wanted first to be sure I am following this correctly before adding tests and polishing. I am also quite new to rust so please do suggest good practices wherever appropriate! Thank you!Checklist before requesting a review
next
according to naming convention.