This is apparently not tested anywhere, since I delete the UltraHonk gates command and nothing broke. gates_for_ivc does get called, so it exists under OLD_API, but probably it should just be under the gates command of ClientIVCAPI when particular flag values are used.
This is apparently not tested anywhere, since I delete the UltraHonk gates command and nothing broke.
gates_for_ivcdoes get called, so it exists underOLD_API, but probably it should just be under the gates command ofClientIVCAPIwhen particular flag values are used.