Flag all uses of disable where it is different from disable fork as error.
Cadence recommends that disabling forks should be done using a disable fork; statement, not the disable fork_process_label; construct. The disable fork_process_label construct for forks is not defined in the IEEE Std 1800-2017 LRM. See section 9.6.2 of the LRM (2017).
Thank you for developing a great tool. I recently started to use this tool because I want to use the fixer feature. However, I realized there's no way to check diff without actually fixing my files. Could you consider adding diff feature so I can go ahead applying the changes without worries?
Summary
Flag all uses of
disablewhere it is different fromdisable forkas error.Cadence recommends that disabling forks should be done using a
disable fork;statement, not thedisable fork_process_label;construct. Thedisable fork_process_labelconstruct for forks is not defined in the IEEE Std 1800-2017 LRM. See section 9.6.2 of the LRM (2017).**Test cases and examples