Make adding the `bankKiller` an opt-in
Currently, the addition of bankKiller
is hardcoded and the algo is added to any job run via run_moore
.
Make this behavior optional instead.
Edited by Christoph Hasse
Currently, the addition of bankKiller
is hardcoded and the algo is added to any job run via run_moore
.
Make this behavior optional instead.