fix: murphi2c emitted var function parameters don't clash with field names
Github: closes #207 "aliases that match field names cause malformed murphi2c code"
parent
0327fa96
Please register or sign in to comment
Github: closes #207 "aliases that match field names cause malformed murphi2c code"