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
It looks like this option was not doing anything anymore.
Goes with MooreAnalysis!95 (merged)