test: Ensure access to reduced counterexamples from fast-check #4631
Conversation
There was a problem hiding this comment.
Thanks for noticing this, Richard.
FYI, @dckc, who introduced these tests.
|
Weird. Their tutorial example treats |
|
It took some digging, but I think I got to the bottom of it— |
|
I also opened an issue in fast-check: dubzzz/fast-check#2749 |
| test('isEqual is a (total) equivalence relation', t => { | ||
| fc.assert( | ||
| test('isEqual is a (total) equivalence relation', async t => { | ||
| await fc.assert( |
There was a problem hiding this comment.
Not needed given the fact that you are using a sync property.
| const empty = m.makeEmpty(mockBrand, AssetKind.COPY_BAG); | ||
| fc.assert( | ||
| await fc.assert( |
| const empty = m.makeEmpty(mockBrand, AssetKind.COPY_BAG); | ||
| fc.assert( | ||
| await fc.assert( |
| test('subtract: (x + y) - y = x; (y - x) + x = y if y >= x', t => { | ||
| fc.assert( | ||
| test('subtract: (x + y) - y = x; (y - x) + x = y if y >= x', async t => { | ||
| await fc.assert( |
| test('balancesToReachRatio calculations are to spec', t => { | ||
| fc.assert( | ||
| test('balancesToReachRatio calculations are to spec', async t => { | ||
| await fc.assert( |
|
Only |
gibson042
force-pushed
the
2022-02-fast-check
branch
2 times, most recently
from
6206135
to
8302358
Compare
Ensures proper reporting of reduced counterexamples
gibson042
force-pushed
the
2022-02-fast-check
branch
from
8302358
to
3de1d09
Compare
gibson042
changed the title
Description
Updates use of fast-check assert to conform with its documentation: https://dubzzz.github.io/fast-check/index.html#assert
Security Considerations
n/a
Documentation Considerations
n/a
Testing Considerations
Noted above.