|
|
|
|
|
|
by slavik81
3335 days ago
|
|
|
It's a good idea in principle, though your third and fourth properties are not true of floating point addition. When you have one available, testing against the results against a reference implementation is a little more direct. Though, given how easy those property tests are, you might as well do both. |
|
|