forked from jestjs/jest
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "Revert "Add fuzzing based tests in Jest (jestjs#8012)""
This reverts commit 13b4412.
- Loading branch information
Showing
8 changed files
with
246 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
22 changes: 22 additions & 0 deletions
22
packages/expect/src/__tests__/__arbitraries__/sharedSettings.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,22 @@ | ||
| /** | ||
| * Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved. | ||
| * | ||
| * This source code is licensed under the MIT license found in the | ||
| * LICENSE file in the root directory of this source tree. | ||
| * | ||
| */ | ||
|
|
||
| import fc from 'fast-check'; | ||
|
|
||
| // settings for anything arbitrary | ||
| export const anythingSettings = { | ||
| key: fc.oneof(fc.string(), fc.constantFrom('k1', 'k2', 'k3')), | ||
| withBoxedValues: true, | ||
| // Issue #7975 have to be fixed before enabling the generation of Map | ||
| withMap: false, | ||
| // Issue #7975 have to be fixed before enabling the generation of Set | ||
| withSet: false, | ||
| }; | ||
|
|
||
| // assertion settings | ||
| export const assertSettings = {}; // eg.: {numRuns: 10000} |
48 changes: 48 additions & 0 deletions
48
packages/expect/src/__tests__/matchers-toContain.property.test.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,48 @@ | ||
| /** | ||
| * Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved. | ||
| * | ||
| * This source code is licensed under the MIT license found in the | ||
| * LICENSE file in the root directory of this source tree. | ||
| * | ||
| */ | ||
|
|
||
| import fc from 'fast-check'; | ||
| import { | ||
| anythingSettings, | ||
| assertSettings, | ||
| } from './__arbitraries__/sharedSettings'; | ||
|
|
||
| describe('toContain', () => { | ||
| it('should always find the value when inside the array', () => { | ||
| fc.assert( | ||
| fc.property( | ||
| fc.array(fc.anything(anythingSettings)), | ||
| fc.array(fc.anything(anythingSettings)), | ||
| fc.anything(anythingSettings).filter(v => !Number.isNaN(v)), | ||
| (startValues, endValues, v) => { | ||
| // Given: startValues, endValues arrays and v value (not NaN) | ||
| expect([...startValues, v, ...endValues]).toContain(v); | ||
| }, | ||
| ), | ||
| assertSettings, | ||
| ); | ||
| }); | ||
|
|
||
| it('should not find the value if it has been cloned into the array', () => { | ||
| fc.assert( | ||
| fc.property( | ||
| fc.array(fc.anything(anythingSettings)), | ||
| fc.array(fc.anything(anythingSettings)), | ||
| fc.dedup(fc.anything(anythingSettings), 2), | ||
| (startValues, endValues, [a, b]) => { | ||
| // Given: startValues, endValues arrays | ||
| // and [a, b] equal, but not the same values | ||
| // with `typeof a === 'object && a !== null` | ||
| fc.pre(typeof a === 'object' && a !== null); | ||
| expect([...startValues, a, ...endValues]).not.toContain(b); | ||
| }, | ||
| ), | ||
| assertSettings, | ||
| ); | ||
| }); | ||
| }); |
46 changes: 46 additions & 0 deletions
46
packages/expect/src/__tests__/matchers-toContainEqual.property.test.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,46 @@ | ||
| /** | ||
| * Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved. | ||
| * | ||
| * This source code is licensed under the MIT license found in the | ||
| * LICENSE file in the root directory of this source tree. | ||
| * | ||
| */ | ||
|
|
||
| import fc from 'fast-check'; | ||
| import { | ||
| anythingSettings, | ||
| assertSettings, | ||
| } from './__arbitraries__/sharedSettings'; | ||
|
|
||
| describe('toContainEqual', () => { | ||
| it('should always find the value when inside the array', () => { | ||
| fc.assert( | ||
| fc.property( | ||
| fc.array(fc.anything(anythingSettings)), | ||
| fc.array(fc.anything(anythingSettings)), | ||
| fc.anything(anythingSettings), | ||
| (startValues, endValues, v) => { | ||
| // Given: startValues, endValues arrays and v any value | ||
| expect([...startValues, v, ...endValues]).toContainEqual(v); | ||
| }, | ||
| ), | ||
| assertSettings, | ||
| ); | ||
| }); | ||
|
|
||
| it('should always find the value when cloned inside the array', () => { | ||
| fc.assert( | ||
| fc.property( | ||
| fc.array(fc.anything(anythingSettings)), | ||
| fc.array(fc.anything(anythingSettings)), | ||
| fc.dedup(fc.anything(anythingSettings), 2), | ||
| (startValues, endValues, [a, b]) => { | ||
| // Given: startValues, endValues arrays | ||
| // and [a, b] identical values | ||
| expect([...startValues, a, ...endValues]).toContainEqual(b); | ||
| }, | ||
| ), | ||
| assertSettings, | ||
| ); | ||
| }); | ||
| }); |
58 changes: 58 additions & 0 deletions
58
packages/expect/src/__tests__/matchers-toEqual.property.test.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,58 @@ | ||
| /** | ||
| * Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved. | ||
| * | ||
| * This source code is licensed under the MIT license found in the | ||
| * LICENSE file in the root directory of this source tree. | ||
| * | ||
| */ | ||
|
|
||
| import fc from 'fast-check'; | ||
| import { | ||
| anythingSettings, | ||
| assertSettings, | ||
| } from './__arbitraries__/sharedSettings'; | ||
|
|
||
| describe('toEqual', () => { | ||
| it('should be reflexive', () => { | ||
| fc.assert( | ||
| fc.property(fc.dedup(fc.anything(anythingSettings), 2), ([a, b]) => { | ||
| // Given: a and b identical values | ||
| expect(a).toEqual(b); | ||
| }), | ||
| assertSettings, | ||
| ); | ||
| }); | ||
|
|
||
| it('should be symmetric', () => { | ||
| const safeExpectEqual = (a, b) => { | ||
| try { | ||
| expect(a).toEqual(b); | ||
| return true; | ||
| } catch (err) { | ||
| return false; | ||
| } | ||
| }; | ||
| fc.assert( | ||
| fc.property( | ||
| fc.anything(anythingSettings), | ||
| fc.anything(anythingSettings), | ||
| (a, b) => { | ||
| // Given: a and b values | ||
| // Assert: We expect `expect(a).toEqual(b)` | ||
| // to be equivalent to `expect(b).toEqual(a)` | ||
| expect(safeExpectEqual(a, b)).toBe(safeExpectEqual(b, a)); | ||
| }, | ||
| ), | ||
| { | ||
| ...assertSettings, | ||
| examples: [ | ||
| [0, 5e-324], // Issue #7941 | ||
| // [ | ||
| // new Set([false, true]), | ||
| // new Set([new Boolean(true), new Boolean(true)]), | ||
| // ], // Issue #7975 | ||
| ], | ||
| }, | ||
| ); | ||
| }); | ||
| }); |
49 changes: 49 additions & 0 deletions
49
packages/expect/src/__tests__/matchers-toStrictEqual.property.test.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,49 @@ | ||
| /** | ||
| * Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved. | ||
| * | ||
| * This source code is licensed under the MIT license found in the | ||
| * LICENSE file in the root directory of this source tree. | ||
| * | ||
| */ | ||
|
|
||
| import fc from 'fast-check'; | ||
| import { | ||
| anythingSettings, | ||
| assertSettings, | ||
| } from './__arbitraries__/sharedSettings'; | ||
|
|
||
| describe('toStrictEqual', () => { | ||
| it('should be reflexive', () => { | ||
| fc.assert( | ||
| fc.property(fc.dedup(fc.anything(anythingSettings), 2), ([a, b]) => { | ||
| // Given: a and b identical values | ||
| expect(a).toStrictEqual(b); | ||
| }), | ||
| assertSettings, | ||
| ); | ||
| }); | ||
|
|
||
| it('should be symmetric', () => { | ||
| const safeExpectStrictEqual = (a, b) => { | ||
| try { | ||
| expect(a).toStrictEqual(b); | ||
| return true; | ||
| } catch (err) { | ||
| return false; | ||
| } | ||
| }; | ||
| fc.assert( | ||
| fc.property( | ||
| fc.anything(anythingSettings), | ||
| fc.anything(anythingSettings), | ||
| (a, b) => { | ||
| // Given: a and b values | ||
| // Assert: We expect `expect(a).toStrictEqual(b)` | ||
| // to be equivalent to `expect(b).toStrictEqual(a)` | ||
| expect(safeExpectStrictEqual(a, b)).toBe(safeExpectStrictEqual(b, a)); | ||
| }, | ||
| ), | ||
| assertSettings, | ||
| ); | ||
| }); | ||
| }); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters