Closed veripoolbot closed 4 years ago
Original Redmine Comment Author Name: Wilson Snyder (@wsnyder) Original Date: 2019-09-23T14:24:53Z
I presume you are referring to AUTOINSTPARAM. A very recent version (see Download tab) allows you to have a regexp of which params to expose.
Author Name: Moshe M Original Redmine Message: 3108 from https://www.veripool.org
Is there a way to tell auto-connect (e.g. by adding inline pragma) to either not expose specific block parameter to the higher hierarchy level or expose it with its default value assigned to it?
Thanks!