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)
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)