Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
--debug overrides preceding --dump-treei value #580
The @--debug@ and @--debugi@ flags set the dump-tree level to 1, irrespective of whether @--dump-tree@i has been used to set a higher value. Thus @--dump-treei 9 --debug@@@ will not dump all trees.
Please pull a trivial patch to fix this from the debug-args branch at https://github.com/jeremybennett/verilator. All existing regression tests pass.