Skip to content

Update Rec/Allen readme

Dorothea Vom Bruch requested to merge dovombru-master-patch-11451 into master

Update instructions on how to call Allen from Moore. I.e. the hlt1_pp_validation sequence is no longer needed for the checkers.

Merge request reports