Skip to content

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

Merge request reports

Loading