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
Edited by Pawel Kopciewicz
Merge request reports
Activity
Please register or sign in to reply