|
|
|
|
|
|
by masklinn
2517 days ago
|
|
|
> One can then send the output from a property based tester or a fuzzer into both implementations and test: assert forall x . referenceVersion(x) == optimizedVersion(x). You can even do that in a production environment, assuming the "optimised version" is properly protected so it can't take down the entire system if there's an error in it. |
|
|