rename invert_a to invert_in because logical inverts RB
[soc.git] / src / soc / decoder / formal / __init__.py
1