Add help for "-sat" option inside opt_rmdff. "opt" can pass "-sat" too
authorBogdan Vukobratovic <bogdan.vukobratovic@gmail.com>
Thu, 27 Jun 2019 20:06:23 +0000 (22:06 +0200)
committerBogdan Vukobratovic <bogdan.vukobratovic@gmail.com>
Thu, 27 Jun 2019 20:06:23 +0000 (22:06 +0200)
commit3225bfb98403271bbe8a56418ccd027b42eabda1
treefa745d32f5662c80f4eb6d40d0242cc7416c7c84
parent35fa7b30574244e4f99373f2a790f004b4a1dbbb
Add help for "-sat" option inside opt_rmdff. "opt" can pass "-sat" too
passes/opt/opt.cc
passes/opt/opt_rmdff.cc