Skip to content

Remove now redundant allen_hlt1 argument to moore_control_flow

Ross John Hunter requested to merge follow-moore-1861 into master

FYI @mstahl

I looked through the code in MooreAnalysis and agree that the allen_hlt1 argument to moore_control_flow is redundant, so now removed. The MooreAnalysis tests pass locally for me.

Goes with Moore!1861 (merged)

Edited by Ross John Hunter

Merge request reports