You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The current benchmark for equality testing runs about 256 tests. This is OK for comparison, but gives a highly inflated view of how long an equality test takes. Not sure what the best fix is, but I suspect it's to do something more sophisticated with the code wrapping the benchmark. Low priority.
The text was updated successfully, but these errors were encountered:
The current benchmark for equality testing runs about 256 tests. This is OK for comparison, but gives a highly inflated view of how long an equality test takes. Not sure what the best fix is, but I suspect it's to do something more sophisticated with the code wrapping the benchmark. Low priority.
The text was updated successfully, but these errors were encountered: