f32 fadd formal proof is fast enough -- don't skip it anymore
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 28 Jun 2022 05:53:06 +0000 (22:53 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 28 Jun 2022 05:53:06 +0000 (22:53 -0700)
commit58c0f6519badd884260dce2cccff0f95a79351a6
tree43c1b7170a9c274df7949dbe7d95cb83d652bef8
parentd502b5b9d5c5ddeb582ab6ad0c998b4f36b3103a
f32 fadd formal proof is fast enough -- don't skip it anymore
src/ieee754/fpadd/test/test_add_formal.py