Call graph rename for HLT2 TCK
A minor addition to call the graph rename if run_moore(...) asks so.
This MR serves for the graph rename development in Moore!4387 (merged)
Edited by Pawel Kopciewicz
A minor addition to call the graph rename if run_moore(...) asks so.
This MR serves for the graph rename development in Moore!4387 (merged)