disable fadd f32 formal proofs by default -- they're too slow
authorJacob Lifshay <programmerjake@gmail.com>
Sat, 2 Jul 2022 02:54:20 +0000 (19:54 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Sat, 2 Jul 2022 02:57:00 +0000 (19:57 -0700)
commitd466f059b09e70766d5b172b7cdba0633bafa102
tree7669c3ef74c91288f5f58308fa3163a1ce46a2ef
parent35826d13384d0364d16c6f0059f84cc3f2db1729
disable fadd f32 formal proofs by default -- they're too slow
src/ieee754/fpadd/test/test_add_formal.py