Skip to content
Snippets Groups Projects

Call graph rename for HLT2 TCK

Open Pawel Kopciewicz requested to merge htl2tck into master

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

Merge request pipeline #11684222 passed

Merge request pipeline passed for 785576f2

Approval is optional
Ready to merge by members who can write to the target branch.

Merge details

  • The source branch is 13 commits behind the target branch.
  • 35 commits and 1 merge commit will be added to .
  • Source branch will not be deleted.

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply
Loading