sat_minimize and unknown options
I just run autfilt --sat-minimize='Streett 1'
instead of autfilt --sat-minimize='acc="Streett1"'
and got no error message, because unknown options passed to --sat-minimize
are just ignored.
This is a general problem with option_map
objects, but we should find a way to address it. In the case of --sat-minimize
it would be enough to verify that all options are known.