Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
common_post.cc
Find file
Blame
History
Permalink
autfilt: fix --sat-minimize -B
· 82796c04
Alexandre Duret-Lutz
authored
Mar 28, 2018
Fixes
#340
. * bin/common_post.cc: -B implies -S. * tests/core/satmin2.test: Test this.
82796c04