remove redundant bvadd with 1 input
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 13 May 2022 22:36:01 +0000 (15:36 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 13 May 2022 22:36:01 +0000 (15:36 -0700)
commita359468e2f0ac4b6fd4ebd1b2519bd0a5810cba8
tree6e9b1a1c5370c0f29fdd6304e801f71b84fc22cc
parent3365871b258ace119a3419e8d3492fb6b79c7dcb
remove redundant bvadd with 1 input
fpmul_test.smt2