Remove `allen_hlt1` option from `run_moore`

It looks like this option was not doing anything anymore.

Goes with MooreAnalysis!95 (merged)

Edited by Andre Gunther

Merge request reports

Loading