From c806d574ceccf67ca60b5e61d822b5381ce7b48e Mon Sep 17 00:00:00 2001 From: Nicolas DUBIEN Date: Sat, 11 Jan 2025 00:30:58 +0100 Subject: [PATCH] =?UTF-8?q?=F0=9F=92=A5=20Error=20with=20cause=20by=20defa?= =?UTF-8?q?ult=20(#5590)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit **Description** Until now, fast-check have been merging the content and stack of the original Error that caused the property to fail into its own Error. With the recent (2022) introduction of cause on Errors, this complex logic can be dropped in favor of the native cause mechanism. This PR makes cause mode the default. Before this PR, toggling it was possible via `errorWithCause: true` on `fc.assert`. Given not all test runners properly support causes attached to the Error, we offer a fallback for users willing to preserve the old behaviour. It can be toggled via `includeErrorInReport: true` on `fc.assert`. Related to #4416. **Checklist** — _Don't delete this checklist and make sure you do the following before opening the PR_ - [x] The name of my PR follows [gitmoji](https://gitmoji.dev/) specification - [x] My PR references one of several related issues (if any) - [x] New features or breaking changes must come with an associated Issue or Discussion - [x] My PR does not add any new dependency without an associated Issue or Discussion - [x] My PR includes bumps details, please run `yarn bump` and flag the impacts properly - [x] My PR adds relevant tests and they would have failed without my PR (when applicable) **Advanced** **💥 Breaking change**: The display of errors being reported by fast-check will change. Many test runners do support that but some still don't support it so a flag will have to be pass for them to display the errors correctly. --- .changeset/four-pens-happen.md | 5 + .../check/runner/configuration/Parameters.ts | 14 +- .../configuration/QualifiedParameters.ts | 6 +- .../check/runner/utils/RunDetailsFormatter.ts | 10 +- .../test/e2e/NoRegressionStack.spec.ts | 12 +- .../__snapshots__/NoRegression.spec.ts.snap | 653 ------------------ .../NoRegressionBigInt.spec.ts.snap | 96 --- .../e2e/__test-helpers__/StackSanitizer.ts | 7 +- .../test/unit/check/runner/Runner.spec.ts | 15 +- .../configuration/QualifiedParameters.spec.ts | 2 +- .../e2e/__test-helpers__/ThrowWithCause.ts | 12 + packages/worker/test/e2e/asyncThrow.spec.ts | 12 +- .../worker/test/e2e/blockEventLoop.spec.ts | 5 +- packages/worker/test/e2e/failing.spec.ts | 5 +- packages/worker/test/e2e/noWorker.spec.ts | 3 +- .../e2e/nonSerializableButSameData.spec.ts | 2 +- .../test/e2e/nonSerializableData.spec.ts | 2 +- .../test/e2e/predicateIsolation.spec.ts | 5 +- .../worker/test/e2e/propertyIsolation.spec.ts | 3 +- packages/worker/test/e2e/syncThrow.spec.ts | 12 +- packages/worker/test/e2e/unregistered.spec.ts | 5 +- website/docs/migration/from-3.x-to-4.x.md | 14 + 22 files changed, 104 insertions(+), 796 deletions(-) create mode 100644 .changeset/four-pens-happen.md create mode 100644 packages/worker/test/e2e/__test-helpers__/ThrowWithCause.ts diff --git a/.changeset/four-pens-happen.md b/.changeset/four-pens-happen.md new file mode 100644 index 00000000..e4250c2b --- /dev/null +++ b/.changeset/four-pens-happen.md @@ -0,0 +1,5 @@ +--- +"fast-check": major +--- + +💥 Error with cause by default diff --git a/packages/fast-check/src/check/runner/configuration/Parameters.ts b/packages/fast-check/src/check/runner/configuration/Parameters.ts index 296f7aa6..df362cce 100644 --- a/packages/fast-check/src/check/runner/configuration/Parameters.ts +++ b/packages/fast-check/src/check/runner/configuration/Parameters.ts @@ -192,13 +192,15 @@ export interface Parameters { */ asyncReporter?: (runDetails: RunDetails) => Promise; /** - * Should the thrown Error include a cause leading to the original Error? + * By default the Error causing the failure of the predicate will not be directly exposed within the message + * of the Error thown by fast-check. It will be exposed by a cause field attached to the Error. * - * In such case the original Error will disappear from the message of the Error thrown by fast-check - * and only appear within the cause part of it. + * The Error with cause has been supported by Node since 16.14.0 and is properly supported in many test runners. * - * Remark: At the moment, only node (≥16.14.0) and vitest seem to properly display such errors. - * Others will just discard the cause at display time. + * But if the original Error fails to appear within your test runner, + * Or if you prefer the Error to be included directly as part of the message of the resulted Error, + * you can toggle this flag and the Error produced by fast-check in case of failure will expose the source Error + * as part of the message and not as a cause. */ - errorWithCause?: boolean; + includeErrorInReport?: boolean; } diff --git a/packages/fast-check/src/check/runner/configuration/QualifiedParameters.ts b/packages/fast-check/src/check/runner/configuration/QualifiedParameters.ts index bba7dab1..e15c3422 100644 --- a/packages/fast-check/src/check/runner/configuration/QualifiedParameters.ts +++ b/packages/fast-check/src/check/runner/configuration/QualifiedParameters.ts @@ -37,7 +37,7 @@ export class QualifiedParameters { ignoreEqualValues: boolean; reporter: ((runDetails: RunDetails) => void) | null; asyncReporter: ((runDetails: RunDetails) => Promise) | null; - errorWithCause: boolean; + includeErrorInReport: boolean; constructor(op?: Parameters) { const p = op || {}; @@ -66,7 +66,7 @@ export class QualifiedParameters { this.endOnFailure = QualifiedParameters.readBoolean(p, 'endOnFailure'); this.reporter = QualifiedParameters.readOrDefault(p, 'reporter', null); this.asyncReporter = QualifiedParameters.readOrDefault(p, 'asyncReporter', null); - this.errorWithCause = QualifiedParameters.readBoolean(p, 'errorWithCause'); + this.includeErrorInReport = QualifiedParameters.readBoolean(p, 'includeErrorInReport'); } toParameters(): Parameters { @@ -90,7 +90,7 @@ export class QualifiedParameters { endOnFailure: this.endOnFailure, reporter: orUndefined(this.reporter), asyncReporter: orUndefined(this.asyncReporter), - errorWithCause: this.errorWithCause, + includeErrorInReport: this.includeErrorInReport, }; return parameters; } diff --git a/packages/fast-check/src/check/runner/utils/RunDetailsFormatter.ts b/packages/fast-check/src/check/runner/utils/RunDetailsFormatter.ts index e6f0948c..74c71312 100644 --- a/packages/fast-check/src/check/runner/utils/RunDetailsFormatter.ts +++ b/packages/fast-check/src/check/runner/utils/RunDetailsFormatter.ts @@ -126,10 +126,10 @@ function prettyError(errorInstance: unknown) { /** @internal */ function preFormatFailure(out: RunDetailsFailureProperty, stringifyOne: (value: Ts) => string) { - const noErrorInMessage = out.runConfiguration.errorWithCause; - const messageErrorPart = noErrorInMessage - ? '' - : `\nGot ${safeReplace(prettyError(out.errorInstance), /^Error: /, 'error: ')}`; + const includeErrorInReport = out.runConfiguration.includeErrorInReport; + const messageErrorPart = includeErrorInReport + ? `\nGot ${safeReplace(prettyError(out.errorInstance), /^Error: /, 'error: ')}` + : ''; const message = `Property failed after ${out.numRuns} tests\n{ seed: ${out.seed}, path: "${ out.counterexamplePath }", endOnFailure: true }\nCounterexample: ${stringifyOne(out.counterexample)}\nShrunk ${ @@ -288,7 +288,7 @@ async function asyncDefaultReportMessage(out: RunDetails): Promise(errorMessage: string | undefined, out: RunDetails & { failed: true }) { - if (!out.runConfiguration.errorWithCause) { + if (out.runConfiguration.includeErrorInReport) { throw new Error(errorMessage); } const ErrorWithCause: new (message: string | undefined, options: { cause: unknown }) => Error = Error; diff --git a/packages/fast-check/test/e2e/NoRegressionStack.spec.ts b/packages/fast-check/test/e2e/NoRegressionStack.spec.ts index c3500160..413368c5 100644 --- a/packages/fast-check/test/e2e/NoRegressionStack.spec.ts +++ b/packages/fast-check/test/e2e/NoRegressionStack.spec.ts @@ -12,7 +12,7 @@ describe(`NoRegressionStack`, () => { fc.property(fc.nat(), fc.nat(), (a, b) => { return a >= b; }), - settings, + { ...settings, includeErrorInReport: true }, ), ), ).toThrowErrorMatchingSnapshot(); @@ -25,7 +25,7 @@ describe(`NoRegressionStack`, () => { fc.property(fc.nat(), fc.nat(), (a, b) => { return a >= b; }), - { ...settings, errorWithCause: true }, + settings, ), ), ).toThrowErrorMatchingSnapshot(); @@ -39,7 +39,7 @@ describe(`NoRegressionStack`, () => { throw new Error('a must be >= b'); } }), - settings, + { ...settings, includeErrorInReport: true }, ), ), ).toThrowErrorMatchingSnapshot(); @@ -54,7 +54,7 @@ describe(`NoRegressionStack`, () => { throw new Error('a must be >= b'); } }), - { ...settings, errorWithCause: true }, + settings, ), ), ).toThrowErrorMatchingSnapshot(); @@ -67,7 +67,7 @@ describe(`NoRegressionStack`, () => { fc.property(fc.nat(), (v) => { (v as any)(); }), - settings, + { ...settings, includeErrorInReport: true }, ), ), ).toThrowErrorMatchingSnapshot(); @@ -80,7 +80,7 @@ describe(`NoRegressionStack`, () => { fc.property(fc.nat(), (v) => { (v as any)(); }), - { ...settings, errorWithCause: true }, + settings, ), ), ).toThrowErrorMatchingSnapshot(); diff --git a/packages/fast-check/test/e2e/__snapshots__/NoRegression.spec.ts.snap b/packages/fast-check/test/e2e/__snapshots__/NoRegression.spec.ts.snap index 6070b8cb..53252381 100644 --- a/packages/fast-check/test/e2e/__snapshots__/NoRegression.spec.ts.snap +++ b/packages/fast-check/test/e2e/__snapshots__/NoRegression.spec.ts.snap @@ -5,15 +5,6 @@ exports[`NoRegression (async) > .map (to Promise) 1`] = ` { seed: 42, path: "1:4:0:0:0:0:3:0:0:3:0:1:1:0:2", endOnFailure: true } Counterexample: [Promise.resolve(-873632988)] Shrunk 14 time(s) -Got error: Property failed by returning false - at AsyncProperty.run (packages/fast-check/src/check/property/AsyncProperty.generic.ts:?:?) - at asyncRunIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? - at node_modules/@vitest/runner/dist/index.js:?:? - at runTest (node_modules/@vitest/runner/dist/index.js:?:?) - at runSuite (node_modules/@vitest/runner/dist/index.js:?:?) - at runSuite (node_modules/@vitest/runner/dist/index.js:?:?) - at runFiles (node_modules/@vitest/runner/dist/index.js:?:?) Execution summary: √ [Promise.resolve(9)] @@ -61,15 +52,6 @@ Counterexample: [function(...args) { return outs[hash('19' + stringify(args)) % outs.length]; }] Shrunk 20 time(s) -Got error: Property failed by returning false - at AsyncProperty.run (packages/fast-check/src/check/property/AsyncProperty.generic.ts:?:?) - at asyncRunIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? - at node_modules/@vitest/runner/dist/index.js:?:? - at runTest (node_modules/@vitest/runner/dist/index.js:?:?) - at runSuite (node_modules/@vitest/runner/dist/index.js:?:?) - at runSuite (node_modules/@vitest/runner/dist/index.js:?:?) - at runFiles (node_modules/@vitest/runner/dist/index.js:?:?) Execution summary: √ [function(...args) { @@ -667,15 +649,6 @@ exports[`NoRegression (async) > infiniteStream (to Promise) 1`] = ` { seed: 42, path: "0", endOnFailure: true } Counterexample: [Stream(Promise.resolve(-2),Promise.resolve(-22),Promise.resolve(24),Promise.resolve(8),Promise.resolve(9975393),Promise.resolve(25),Promise.resolve(-757343395),Promise.resolve(-1407968202),Promise.resolve(6),Promise.resolve(2147483645)…)] Shrunk 0 time(s) -Got error: Property failed by returning false - at AsyncProperty.run (packages/fast-check/src/check/property/AsyncProperty.generic.ts:?:?) - at asyncRunIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? - at node_modules/@vitest/runner/dist/index.js:?:? - at runTest (node_modules/@vitest/runner/dist/index.js:?:?) - at runSuite (node_modules/@vitest/runner/dist/index.js:?:?) - at runSuite (node_modules/@vitest/runner/dist/index.js:?:?) - at runFiles (node_modules/@vitest/runner/dist/index.js:?:?) Execution summary: × [Stream(Promise.resolve(-2),Promise.resolve(-22),Promise.resolve(24),Promise.resolve(8),Promise.resolve(9975393),Promise.resolve(25),Promise.resolve(-757343395),Promise.resolve(-1407968202),Promise.resolve(6),Promise.resolve(2147483645)…)]] @@ -686,15 +659,6 @@ exports[`NoRegression (async) > number 1`] = ` { seed: 42, path: "1:4:0:0:0:0:3:0:0:3:0:1:1:0:2", endOnFailure: true } Counterexample: [-873632988] Shrunk 14 time(s) -Got error: Property failed by returning false - at AsyncProperty.run (packages/fast-check/src/check/property/AsyncProperty.generic.ts:?:?) - at asyncRunIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? - at node_modules/@vitest/runner/dist/index.js:?:? - at runTest (node_modules/@vitest/runner/dist/index.js:?:?) - at runSuite (node_modules/@vitest/runner/dist/index.js:?:?) - at runSuite (node_modules/@vitest/runner/dist/index.js:?:?) - at runFiles (node_modules/@vitest/runner/dist/index.js:?:?) Execution summary: √ [9] @@ -743,15 +707,6 @@ Counterexample: [schedulerFor()\` -> [task\${6}] promise resolved with value "C" -> [task\${5}] promise resolved with value "A"\`] Shrunk 0 time(s) -Got error: Property failed by returning false - at AsyncProperty.run (packages/fast-check/src/check/property/AsyncProperty.generic.ts:?:?) - at asyncRunIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? - at node_modules/@vitest/runner/dist/index.js:?:? - at runTest (node_modules/@vitest/runner/dist/index.js:?:?) - at runSuite (node_modules/@vitest/runner/dist/index.js:?:?) - at runSuite (node_modules/@vitest/runner/dist/index.js:?:?) - at runFiles (node_modules/@vitest/runner/dist/index.js:?:?) Execution summary: √ [schedulerFor()\` @@ -1279,14 +1234,6 @@ exports[`NoRegression > .chain 1`] = ` { seed: 42, path: "36", endOnFailure: true } Counterexample: [[11,11,11,11,11,11,11,11,11,11,11,11,11,11]] Shrunk 0 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]] @@ -1341,14 +1288,6 @@ exports[`NoRegression > .filter 1`] = ` { seed: 42, path: "1:1:3:2:0:0:0:0:0:0:0:0:0:0:0:0:0:0", endOnFailure: true } Counterexample: [855209260] Shrunk 17 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [2147483626] @@ -1383,14 +1322,6 @@ exports[`NoRegression > .map 1`] = ` { seed: 42, path: "1:2:4:3:1:1:0:1:6:0:2", endOnFailure: true } Counterexample: ["854975880"] Shrunk 10 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ ["2147483626"] @@ -1433,14 +1364,6 @@ exports[`NoRegression > Promise 1`] = ` { seed: 42, path: "1:4:0:0:0:0:3:0:0:3:0:1:1:0:2", endOnFailure: true } Counterexample: [[-873632988,new Promise(() => {/*unknown*/})]] Shrunk 14 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [[9,new Promise(() => {/*unknown*/})]] @@ -1483,14 +1406,6 @@ exports[`NoRegression > anything 1`] = ` { seed: 42, path: "0", endOnFailure: true } Counterexample: [[null]] Shrunk 0 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [[null]] @@ -1502,14 +1417,6 @@ exports[`NoRegression > array 1`] = ` { seed: 42, path: "1:1:0:0:2:1:1:5:4:3:3:1:1:2:1:1:1:1:1", endOnFailure: true } Counterexample: [[53219899]] Shrunk 18 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [[]] @@ -1571,14 +1478,6 @@ exports[`NoRegression > asciiString 1`] = ` { seed: 42, path: "1:1:1:4:1:1:1:2", endOnFailure: true } Counterexample: ["\\u0000"] Shrunk 7 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -1610,14 +1509,6 @@ exports[`NoRegression > base64String 1`] = ` { seed: 42, path: "2:3:5:5", endOnFailure: true } Counterexample: ["AA=="] Shrunk 3 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -1648,14 +1539,6 @@ exports[`NoRegression > clone 1`] = ` { seed: 42, path: "1:2:4:3:1:1:0:1:6:0:2", endOnFailure: true } Counterexample: [[854975880,854975880]] Shrunk 10 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [[2147483626,2147483626]] @@ -1698,14 +1581,6 @@ exports[`NoRegression > commands 1`] = ` { seed: 42, path: "0:3:2:2:1:2:1:1:2:3:1:5:3:1:1:2:3:1:1:1:1:2:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1:1", endOnFailure: true } Counterexample: [inc[1],check[1] /*replayPath="CC/d:N"*/] Shrunk 47 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [inc[456875496],check[2014944499],check[129750014] /*replayPath="CC/d:N"*/] @@ -1837,14 +1712,6 @@ Counterexample: [function(a, b) { return cmp(hA, hB); }] Shrunk 0 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [function(a, b) { @@ -1894,14 +1761,6 @@ exports[`NoRegression > context 1`] = ` { seed: 42, path: "1:2:4:3:1:1:0:1:6:0:2", endOnFailure: true } Counterexample: [{"logs":["Value was 854975880"]},854975880] Shrunk 10 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [{"logs":["Value was 2147483626"]},2147483626] @@ -1944,14 +1803,6 @@ exports[`NoRegression > date 1`] = ` { seed: 42, path: "0:0", endOnFailure: true } Counterexample: [new Date("1970-01-01T00:00:00.000Z")] Shrunk 1 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [new Date("1969-12-31T23:59:59.992Z")] @@ -1963,14 +1814,6 @@ exports[`NoRegression > dictionary 1`] = ` { seed: 42, path: "1:1:1:1:3:1:1:3:1:1:1:1:1:1:2:3:5:7", endOnFailure: true } Counterexample: [{"":548742166}] Shrunk 17 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [{}] @@ -2040,14 +1883,6 @@ exports[`NoRegression > domain 1`] = ` { seed: 42, path: "4:0:3:0:0:1:2:1:0:0:0:0", endOnFailure: true } Counterexample: ["aa.aa"] Shrunk 11 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ ["s.qf"] @@ -2080,14 +1915,6 @@ exports[`NoRegression > double 1`] = ` { seed: 42, path: "0:1:1:1", endOnFailure: true } Counterexample: [-1e-322] Shrunk 3 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [-2.9e-322] @@ -2105,14 +1932,6 @@ exports[`NoRegression > emailAddress 1`] = ` { seed: 42, path: "0:0:0:0:0:0:5:3:0", endOnFailure: true } Counterexample: ["a@a.aa"] Shrunk 8 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × ["8i_p#6u@3.ch99e2ux9i70.ccz"] @@ -2139,14 +1958,6 @@ exports[`NoRegression > float 1`] = ` { seed: 42, path: "0:1:0:1", endOnFailure: true } Counterexample: [-4.203895392974451e-45] Shrunk 3 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [-2.382207389352189e-44] @@ -2163,14 +1974,6 @@ exports[`NoRegression > float32Array 1`] = ` { seed: 42, path: "1:1:0:0:2:1:1:1:1:2:1:1:1:1:1:1:2:1:3:1:2:1:1:1:1:1:1:1", endOnFailure: true } Counterexample: [Float32Array.from([9.87484798330909e-39])] Shrunk 27 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [Float32Array.from([])] @@ -2242,14 +2045,6 @@ exports[`NoRegression > float64Array 1`] = ` { seed: 42, path: "1:1:0:0:2:1:1:2:1:1:1:2:1:1:1:2:1:1:1:1:2:1:1:3:1:1:1:1:1:2:3:1:1:1:1:2:1:2:1:1:4:2:4:2:2:1", endOnFailure: true } Counterexample: [Float64Array.from([8.584968169854399e-278])] Shrunk 45 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [Float64Array.from([])] @@ -2372,14 +2167,6 @@ exports[`NoRegression > fullUnicodeString 1`] = ` { seed: 42, path: "25:6:3:1:1:1:1", endOnFailure: true } Counterexample: [" "] Shrunk 6 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -2440,14 +2227,6 @@ Counterexample: [function(...args) { return outs[hash('-27' + stringify(args)) % outs.length]; }] Shrunk 12 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [function(...args) { @@ -2649,14 +2428,6 @@ exports[`NoRegression > gen 1`] = ` { seed: 42, path: "0:0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0", endOnFailure: true } Counterexample: [[0,-1]] Shrunk 28 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [[9,-132539150]] @@ -2697,14 +2468,6 @@ exports[`NoRegression > hexaString 1`] = ` { seed: 42, path: "5:1:1:10:1:5:0", endOnFailure: true } Counterexample: ["66"] Shrunk 6 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -2751,14 +2514,6 @@ exports[`NoRegression > infiniteStream 1`] = ` { seed: 42, path: "0", endOnFailure: true } Counterexample: [Stream(2147483646,9,24,8,9975393,2147483642,1390140253,739515446,6,28…)] Shrunk 0 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [Stream(2147483646,9,24,8,9975393,2147483642,1390140253,739515446,6,28…)]] @@ -2769,14 +2524,6 @@ exports[`NoRegression > int8Array 1`] = ` { seed: 42, path: "1:1:0:0:2:1", endOnFailure: true } Counterexample: [Int8Array.from([-11])] Shrunk 5 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [Int8Array.from([])] @@ -2801,14 +2548,6 @@ exports[`NoRegression > int16Array 1`] = ` { seed: 42, path: "1:1:0:2:3:2:7", endOnFailure: true } Counterexample: [Int16Array.from([2110])] Shrunk 6 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [Int16Array.from([])] @@ -2848,14 +2587,6 @@ exports[`NoRegression > int32Array 1`] = ` { seed: 42, path: "1:1:0:0:2:1:1:5:4:3:3:1:1:2:1:1:1:1:1", endOnFailure: true } Counterexample: [Int32Array.from([53219899])] Shrunk 18 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [Int32Array.from([])] @@ -2917,14 +2648,6 @@ exports[`NoRegression > integer 1`] = ` { seed: 42, path: "1:4:0:0:0:0:3:0:0:3:0:1:1:0:2", endOnFailure: true } Counterexample: [-873632988] Shrunk 14 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [9] @@ -2967,14 +2690,6 @@ exports[`NoRegression > ipV4 1`] = ` { seed: 42, path: "8:0:0:1:5:1", endOnFailure: true } Counterexample: ["0.0.110.0"] Shrunk 5 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ ["248.242.2.252"] @@ -3006,14 +2721,6 @@ exports[`NoRegression > ipV4Extended 1`] = ` { seed: 42, path: "0:0:0:1:0:0:1:1:1:0:2:0:8", endOnFailure: true } Counterexample: ["0.1287199"] Shrunk 12 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × ["0x2.15541234"] @@ -3051,14 +2758,6 @@ exports[`NoRegression > ipV6 1`] = ` { seed: 42, path: "0:0:0:0", endOnFailure: true } Counterexample: ["::0"] Shrunk 3 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × ["31::4a"] @@ -3072,14 +2771,6 @@ exports[`NoRegression > json 1`] = ` { seed: 42, path: "0:10", endOnFailure: true } Counterexample: ["[\\"\\\\\\\\\\"]"] Shrunk 1 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × ["[\\"\\\\\\\\;mRs\\"]"] @@ -3109,14 +2800,6 @@ exports[`NoRegression > jsonValue 1`] = ` { seed: 42, path: "0:10", endOnFailure: true } Counterexample: [["\\\\"]] Shrunk 1 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [["\\\\;mRs"]] @@ -3146,14 +2829,6 @@ exports[`NoRegression > letrec (oneof:depthSize) 1`] = ` { seed: 42, path: "36:1:0:0:6:4:4:4:4", endOnFailure: true } Counterexample: [{"a":0,"b":0,"c":{"a":{"a":11,"b":0,"c":0},"b":0,"c":0}}] Shrunk 8 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [21] @@ -3235,14 +2910,6 @@ exports[`NoRegression > letrec (oneof:maxDepth) 1`] = ` { seed: 42, path: "31:1:0:1:4:4", endOnFailure: true } Counterexample: [{"a":0,"b":{"a":0,"b":11,"c":0},"c":0}] Shrunk 5 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [21] @@ -3303,14 +2970,6 @@ exports[`NoRegression > letrec 1`] = ` { seed: 42, path: "11:2:1:0:1:4:4:0", endOnFailure: true } Counterexample: [{"left":{"left":0,"right":{"left":0,"right":{"left":0,"right":0}}},"right":11}] Shrunk 7 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [{"left":4,"right":{"left":{"left":{"left":{"left":{"left":4,"right":18},"right":{"left":8,"right":21}},"right":18},"right":{"left":{"left":{"left":0,"right":19},"right":{"left":17,"right":1}},"right":13}},"right":{"left":{"left":{"left":2,"right":{"left":20,"right":{"left":3,"right":{"left":12,"right":{"left":{"left":{"left":3,"right":8},"right":7},"right":19}}}}},"right":{"left":21,"right":14}},"right":17}}}] @@ -3355,14 +3014,6 @@ exports[`NoRegression > limitShrink 1`] = ` { seed: 42, path: "1:2", endOnFailure: true } Counterexample: [864744596] Shrunk 1 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [2147483626] @@ -3378,14 +3029,6 @@ exports[`NoRegression > lorem 1`] = ` { seed: 42, path: "1:1:0:0:0", endOnFailure: true } Counterexample: ["ullamcorper leo"] Shrunk 4 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ ["tristique"] @@ -3403,14 +3046,6 @@ exports[`NoRegression > mapToConstant 1`] = ` { seed: 42, path: "3", endOnFailure: true } Counterexample: ["a","a"] Shrunk 0 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ ["z","i"] @@ -3424,14 +3059,6 @@ exports[`NoRegression > maxSafeInteger 1`] = ` { seed: 42, path: "0:1:0", endOnFailure: true } Counterexample: [-11] Shrunk 2 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [-44] @@ -3448,14 +3075,6 @@ exports[`NoRegression > maxSafeNat 1`] = ` { seed: 42, path: "0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:3:2:0:0:3:0:0:0:0:0:0:1:2:0:1:2:2:0:3", endOnFailure: true } Counterexample: [253873198799] Shrunk 34 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [9007199254740940] @@ -3521,14 +3140,6 @@ exports[`NoRegression > nat 1`] = ` { seed: 42, path: "1:2:4:3:1:1:0:1:6:0:2", endOnFailure: true } Counterexample: [854975880] Shrunk 10 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [2147483626] @@ -3571,14 +3182,6 @@ exports[`NoRegression > object 1`] = ` { seed: 42, path: "1:1:0:0:1:2:2:5:3:3:3:3:5:4:3:3:4:3:3:3:3:3:4:3:3:3:3:3:3:3:3:3:3:4:4:5:3:4:3:3:3:3:6:3:7:3:3:3", endOnFailure: true } Counterexample: [{"":{"":[-6.8158624976587944e-192]}}] Shrunk 47 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [{}] @@ -3790,14 +3393,6 @@ exports[`NoRegression > oneof 1`] = ` { seed: 42, path: "4:1:2:0:0:3:0:1:0:1:0:0:0:1:7", endOnFailure: true } Counterexample: [210974299] Shrunk 14 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [2147483646] @@ -3843,14 +3438,6 @@ exports[`NoRegression > oneof[weighted] 1`] = ` { seed: 42, path: "23:1:0:0:0:0:5:8:4:0:0:0:1:0", endOnFailure: true } Counterexample: [57429880] Shrunk 13 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ ["{"] @@ -3917,14 +3504,6 @@ exports[`NoRegression > option 1`] = ` { seed: 42, path: "3", endOnFailure: true } Counterexample: [null] Shrunk 0 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [2147483646] @@ -3938,14 +3517,6 @@ exports[`NoRegression > record 1`] = ` { seed: 42, path: "4:2:2:0:0:3:0:1:0:1:0:0:0:1:7:1", endOnFailure: true } Counterexample: [{"k1":210974299}] Shrunk 15 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [{"k1":2147483646}] @@ -3994,14 +3565,6 @@ exports[`NoRegression > shuffledSubarray 1`] = ` { seed: 42, path: "1:2:0:5", endOnFailure: true } Counterexample: [[2,2]] Shrunk 3 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [[]] @@ -4026,14 +3589,6 @@ exports[`NoRegression > sparseArray 1`] = ` { seed: 42, path: "1:1:0:0:2:1:1:1:3:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:3:3:3", endOnFailure: true } Counterexample: [[,11]] Shrunk 36 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [[,,,,,,,,,,,,,,,,,,,]] @@ -4152,14 +3707,6 @@ exports[`NoRegression > sparseArray({noTrailingHole:true}) 1`] = ` { seed: 42, path: "1:1:0:0:2:1:1:1:3:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:2:3:3", endOnFailure: true } Counterexample: [[,11]] Shrunk 35 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [[]] @@ -4274,14 +3821,6 @@ exports[`NoRegression > string 1`] = ` { seed: 42, path: "9:1", endOnFailure: true } Counterexample: ["CC"] Shrunk 1 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -4317,14 +3856,6 @@ exports[`NoRegression > stringMatching 1`] = ` { seed: 42, path: "0:1:1:1:1:0", endOnFailure: true } Counterexample: ["a B "] Shrunk 5 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × ["aa!cBcBx\\t"] @@ -4344,14 +3875,6 @@ exports[`NoRegression > stringOf 1`] = ` { seed: 42, path: "1:1:0", endOnFailure: true } Counterexample: ["aa"] Shrunk 2 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -4368,14 +3891,6 @@ exports[`NoRegression > subarray 1`] = ` { seed: 42, path: "46:4", endOnFailure: true } Counterexample: [[4,4]] Shrunk 1 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [[]] @@ -4440,14 +3955,6 @@ exports[`NoRegression > tuple 1`] = ` { seed: 42, path: "0:0:1:1:4:1:0:0:0:2:0:0:1:1", endOnFailure: true } Counterexample: [[0,743987633]] Shrunk 13 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × [[2147483626,2014944498]] @@ -4490,14 +3997,6 @@ exports[`NoRegression > uint8Array 1`] = ` { seed: 42, path: "2:7:2:3:3", endOnFailure: true } Counterexample: [Uint8Array.from([110])] Shrunk 4 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [Uint8Array.from([])] @@ -4531,14 +4030,6 @@ exports[`NoRegression > uint8ClampedArray 1`] = ` { seed: 42, path: "2:7:2:3:3", endOnFailure: true } Counterexample: [Uint8ClampedArray.from([110])] Shrunk 4 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [Uint8ClampedArray.from([])] @@ -4572,14 +4063,6 @@ exports[`NoRegression > uint16Array 1`] = ` { seed: 42, path: "1:1:0:2:1:4:1:6:1:1:2", endOnFailure: true } Counterexample: [Uint16Array.from([8550])] Shrunk 10 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [Uint16Array.from([])] @@ -4622,14 +4105,6 @@ exports[`NoRegression > uint32Array 1`] = ` { seed: 42, path: "1:1:0:0:2:1:1:5:1:1:2:4:1:2:1:3:1:4:2:1", endOnFailure: true } Counterexample: [Uint32Array.from([305109899])] Shrunk 19 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [Uint32Array.from([])] @@ -4695,14 +4170,6 @@ exports[`NoRegression > ulid 1`] = ` { seed: 42, path: "0:0:0:0", endOnFailure: true } Counterexample: ["00000000000000000000000000"] Shrunk 3 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × ["7ZZZZZZZZDZ0AWTX6YQCVVJ1XW"] @@ -4716,14 +4183,6 @@ exports[`NoRegression > unicodeJson 1`] = ` { seed: 42, path: "1:1:0:1:3:3:4:3:3:3:4:3:3:3:3:4:4:5:3:3:3:3:3:3:4:3:3:3:3:3:4:3:6:4:3:6:3:4:3:3:5:4:3:6:4", endOnFailure: true } Counterexample: ["{\\"\\":{\\"\\":5.9196851432654755e-210}}"] Shrunk 44 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ ["[\\"⾼㥤ⱓ巡\\"]"] @@ -4930,14 +4389,6 @@ exports[`NoRegression > unicodeJsonValue 1`] = ` { seed: 42, path: "1:1:0:1:3:3:4:3:3:3:4:3:3:3:3:4:4:5:3:3:3:3:3:3:4:3:3:3:3:3:4:3:6:4:3:6:3:4:3:3:5:4:3:6:4", endOnFailure: true } Counterexample: [{"":{"":5.9196851432654755e-210}}] Shrunk 44 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [["⾼㥤ⱓ巡"]] @@ -5144,14 +4595,6 @@ exports[`NoRegression > unicodeString 1`] = ` { seed: 42, path: "25:6:3:1:1:1:1", endOnFailure: true } Counterexample: [" "] Shrunk 6 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -5207,14 +4650,6 @@ exports[`NoRegression > uniqueArray 1`] = ` { seed: 42, path: "1:1:0:0:2:1:1:5:4:3:3:1:1:2:1:1:1:1:1", endOnFailure: true } Counterexample: [[53219899]] Shrunk 18 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [[]] @@ -5276,14 +4711,6 @@ exports[`NoRegression > uniqueArray 2`] = ` { seed: 42, path: "1:1:0:0:2:1:1:5:4:3:3:1:1:2:1:1:1:1:1", endOnFailure: true } Counterexample: [[53219899]] Shrunk 18 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [[]] @@ -5345,14 +4772,6 @@ exports[`NoRegression > user defined examples (including not shrinkable values) { seed: 42, path: "2:0:4", endOnFailure: true } Counterexample: [0,"10","11",0] Shrunk 2 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [1,"2","3",4] @@ -5375,14 +4794,6 @@ exports[`NoRegression > user defined examples 1`] = ` { seed: 42, path: "1:1:17", endOnFailure: true } Counterexample: ["ll"] Shrunk 2 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ ["hi"] @@ -5430,14 +4841,6 @@ exports[`NoRegression > uuid 1`] = ` { seed: 42, path: "0:0:0:0:0", endOnFailure: true } Counterexample: ["00000000-0000-1000-8000-000000000000"] Shrunk 4 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × ["ffffffe8-9cf2-3819-8000-0004ffffffe4"] @@ -5452,14 +4855,6 @@ exports[`NoRegression > uuidV 1`] = ` { seed: 42, path: "0:0:0:0:0", endOnFailure: true } Counterexample: ["00000000-0000-4000-8000-000000000000"] Shrunk 4 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × ["ffffffe8-9cf2-4819-8000-0004ffffffe4"] @@ -5474,14 +4869,6 @@ exports[`NoRegression > webAuthority 1`] = ` { seed: 42, path: "1:0", endOnFailure: true } Counterexample: ["a.cc"] Shrunk 1 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ ["bz089axab-ea.ia"] @@ -5498,14 +4885,6 @@ exports[`NoRegression > webFragments 1`] = ` { seed: 42, path: "10:1:5:2:2:1:1:4:2:2:1:2", endOnFailure: true } Counterexample: ["%F1%BB%80%80"] Shrunk 11 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -5562,14 +4941,6 @@ exports[`NoRegression > webPath 1`] = ` { seed: 42, path: "1:1:2", endOnFailure: true } Counterexample: ["//"] Shrunk 2 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -5588,14 +4959,6 @@ exports[`NoRegression > webQueryParameters 1`] = ` { seed: 42, path: "10:1:5:2:2:1:1:4:2:2:1:2", endOnFailure: true } Counterexample: ["%F1%BB%80%80"] Shrunk 11 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -5652,14 +5015,6 @@ exports[`NoRegression > webSegment 1`] = ` { seed: 42, path: "2:2:0:17", endOnFailure: true } Counterexample: ["::"] Shrunk 3 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: √ [""] @@ -5710,14 +5065,6 @@ exports[`NoRegression > webUrl 1`] = ` { seed: 42, path: "0:0:0:0:0", endOnFailure: true } Counterexample: ["http://a.aa"] Shrunk 4 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegression.spec.ts:?:? Execution summary: × ["http://e.pv//"] diff --git a/packages/fast-check/test/e2e/__snapshots__/NoRegressionBigInt.spec.ts.snap b/packages/fast-check/test/e2e/__snapshots__/NoRegressionBigInt.spec.ts.snap index 9851fe0c..7a2f7584 100644 --- a/packages/fast-check/test/e2e/__snapshots__/NoRegressionBigInt.spec.ts.snap +++ b/packages/fast-check/test/e2e/__snapshots__/NoRegressionBigInt.spec.ts.snap @@ -5,14 +5,6 @@ exports[`NoRegression BigInt > bigInt 1`] = ` { seed: 42, path: "1:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:0:0:0:0:0:0:2:0:0:0:0:0:0:0:1:0:1:0:0:0:0:0:0:0:0:0:0:1:0:1:0:0:0:0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:2:0:1:1:0:1:0:2:0:0:0:1:0:0:1:1:0", endOnFailure: true } Counterexample: [-39395841487650527926240175269879659877n] Shrunk 231 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: √ [-68n] @@ -279,14 +271,6 @@ exports[`NoRegression BigInt > bigInt({max}) 1`] = ` { seed: 42, path: "1:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:0:0:0:0:0:0:2:0:0:0:0:0:0:0:1:0:1:0:0:0:0:0:0:0:0:0:0:1:0:1:0:0:0:0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:2:0:1:1:0:1:0:2:0:0:0:1:0:0:1:1:0", endOnFailure: true } Counterexample: [-39395841487650527926240175269879659877n] Shrunk 231 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: √ [-47n] @@ -553,14 +537,6 @@ exports[`NoRegression BigInt > bigInt({min, max}) 1`] = ` { seed: 42, path: "0:0", endOnFailure: true } Counterexample: [65536n] Shrunk 1 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: × [18446744073709551598n] @@ -572,14 +548,6 @@ exports[`NoRegression BigInt > bigInt({min}) 1`] = ` { seed: 42, path: "0:0", endOnFailure: true } Counterexample: [65536n] Shrunk 1 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: × [57896044618658097711785492504343953926634992332820282019728792003960859787248n] @@ -591,14 +559,6 @@ exports[`NoRegression BigInt > bigInt64Array 1`] = ` { seed: 42, path: "1:1:0:0:3:1:2:2:2:1:1:1:4:1:2:2:1:1:1:1:1:1:1:2:1:2:2:1:1:1:1:1:1:1:1:1:2:10:1", endOnFailure: true } Counterexample: [BigInt64Array.from([4164375494697153299n])] Shrunk 38 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: √ [BigInt64Array.from([])] @@ -713,14 +673,6 @@ exports[`NoRegression BigInt > bigIntN 1`] = ` { seed: 42, path: "1:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:2:0:0:0:0:0:0:1:0:0:0:0:0:0:1:1:0:0:0:0:0:0:0:0:0:0:1:0:1:1:1:0:0:1:0:0:0:1:2:1:0:0:1:0:0:0:0:0:3:0:1:1", endOnFailure: true } Counterexample: [4194867847541098797699n] Shrunk 77 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: √ [-18n] @@ -831,14 +783,6 @@ exports[`NoRegression BigInt > bigUint 1`] = ` { seed: 42, path: "0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:0:0:0:0:0:0:0:0:0:0:0:0:1:0:0:0:0:0:0:0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:0:0:1:0:0:0:0:1:0:0:0:0:0:2:0:0:0:4:0:0:2:0:1:1:1:1:0:0:0:0:0:0:1:0:1:0:1:0", endOnFailure: true } Counterexample: [85075794168298103635341375769565987988n] Shrunk 232 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: × [115792089237316195423570985008687907853269984665640564039457584007913129639892n] @@ -1106,14 +1050,6 @@ exports[`NoRegression BigInt > bigUint({max}) 1`] = ` { seed: 42, path: "0:1:0:0:0:0:0:0:0:1:0:0:0:1:0:1:0:0:0:0:0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:0:0:0:0:0:0:0:0:0:3:0:0:1:1:1:1:2:0:2:0:0:1:0:1:2:2:0:1:3", endOnFailure: true } Counterexample: [160187393467674982176938799n] Shrunk 70 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: × [79228162514264337593543950321n] @@ -1222,14 +1158,6 @@ exports[`NoRegression BigInt > bigUint64Array 1`] = ` { seed: 42, path: "1:1:0:0:2:1:1:1:1:1:2:1:2:2:1:1:1:2:1:1:2:1:1:2:3:1:1:2:3:1:1:3:3:1:1:2:2:1:1:3:1:1:1:1:4:1", endOnFailure: true } Counterexample: [BigUint64Array.from([148057437989876990n])] Shrunk 45 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: √ [BigUint64Array.from([])] @@ -1354,14 +1282,6 @@ exports[`NoRegression BigInt > bigUintN 1`] = ` { seed: 42, path: "0:1:0:0:0:0:0:0:0:0:0:0:0:1:0:0:0:1:0:1:0:0:0:0:0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:1:0:0:0:0:0:0:0:0:0:3:0:0:1:1:1:1:2:0:2:0:0:1:0:1:2:2:0:1:3", endOnFailure: true } Counterexample: [160187393467674982176938799n] Shrunk 74 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: × [1267650600228229401496703205352n] @@ -1474,14 +1394,6 @@ exports[`NoRegression BigInt > mixedCase 1`] = ` { seed: 42, path: "0:1:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:0:2", endOnFailure: true } Counterexample: ["cCbAabBAcaBCcCACcABaCAaAabBAcaBcBB"] Shrunk 29 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: × ["CCbaabbaCabCccaCcaBAcaAAABbaCabCbb"] @@ -1526,14 +1438,6 @@ exports[`NoRegression BigInt > mixedCase(stringOf) 1`] = ` { seed: 42, path: "2:6:2", endOnFailure: true } Counterexample: ["aa"] Shrunk 2 time(s) -Got error: Property failed by returning false - at Property.run (packages/fast-check/src/check/property/Property.generic.ts:?:?) - at runIt (packages/fast-check/src/check/runner/Runner.ts:?:?) - at check (packages/fast-check/src/check/runner/Runner.ts:?:?) - at Module.assert (packages/fast-check/src/check/runner/Runner.ts:?:?) - at packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts:?:? - at Proxy.methodWrapper (node_modules/chai/chai.js:?:?) - at packages/fast-check/test/e2e/NoRegressionBigInt.spec.ts:?:? Execution summary: √ [""] diff --git a/packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts b/packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts index ba4d3c61..e85f50ff 100644 --- a/packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts +++ b/packages/fast-check/test/e2e/__test-helpers__/StackSanitizer.ts @@ -18,13 +18,16 @@ function sanitizeStack(initialMessage: string) { return lines.filter((line) => !line.includes('node:internal')).join('\n'); } +type ErrorWithCause = Error & { cause: unknown }; +const ErrorWithCause: new (message: string | undefined, options: { cause: unknown }) => Error = Error; + /** Wrap a potentially throwing code within a caller that would sanitize the returned Error */ export function runWithSanitizedStack(run: () => void) { return (): void => { try { run(); } catch (err) { - throw new Error(sanitizeStack((err as Error).message)); + throw new ErrorWithCause(sanitizeStack((err as Error).message), { cause: (err as ErrorWithCause).cause }); } }; } @@ -35,7 +38,7 @@ export function asyncRunWithSanitizedStack(run: () => Promise) { try { await run(); } catch (err) { - throw new Error(sanitizeStack((err as Error).message)); + throw new ErrorWithCause(sanitizeStack((err as Error).message), { cause: (err as ErrorWithCause).cause }); } }; } diff --git a/packages/fast-check/test/unit/check/runner/Runner.spec.ts b/packages/fast-check/test/unit/check/runner/Runner.spec.ts index 3fff8292..226efdec 100644 --- a/packages/fast-check/test/unit/check/runner/Runner.spec.ts +++ b/packages/fast-check/test/unit/check/runner/Runner.spec.ts @@ -618,8 +618,19 @@ describe('Runner', () => { `[[${v1.toString()},${JSON.stringify(v2)}],${JSON.stringify(v2)},${v1.toString()}]`, ); }); - it('Should put the orginal error in error message', () => { - expect(() => rAssert(failingProperty, { seed: 42 })).toThrowError(`Got error: error in failingProperty`); + it('Should put the original error as cause', () => { + expect(() => { + try { + rAssert(failingProperty, { seed: 42 }); + } catch (err) { + throw (err as any).cause; + } + }).toThrowError('error in failingProperty'); + }); + it('Should put the original error in error message when includeErrorInReport', () => { + expect(() => rAssert(failingProperty, { seed: 42, includeErrorInReport: true })).toThrowError( + `Got error: error in failingProperty`, + ); }); describe('Impact of VerbosityLevel in case of failure', () => { const baseErrorMessage = 'Property failed'; diff --git a/packages/fast-check/test/unit/check/runner/configuration/QualifiedParameters.spec.ts b/packages/fast-check/test/unit/check/runner/configuration/QualifiedParameters.spec.ts index c59c30b5..3e2b61f9 100644 --- a/packages/fast-check/test/unit/check/runner/configuration/QualifiedParameters.spec.ts +++ b/packages/fast-check/test/unit/check/runner/configuration/QualifiedParameters.spec.ts @@ -26,7 +26,7 @@ const parametersArbitrary = fc.record( endOnFailure: fc.boolean(), reporter: fc.func(fc.constant(undefined)), asyncReporter: fc.func(fc.constant(Promise.resolve(undefined))), - errorWithCause: fc.boolean(), + includeErrorInReport: fc.boolean(), }, { requiredKeys: [] }, ); diff --git a/packages/worker/test/e2e/__test-helpers__/ThrowWithCause.ts b/packages/worker/test/e2e/__test-helpers__/ThrowWithCause.ts new file mode 100644 index 00000000..e4276e52 --- /dev/null +++ b/packages/worker/test/e2e/__test-helpers__/ThrowWithCause.ts @@ -0,0 +1,12 @@ +import { expect } from 'vitest'; + +export async function expectThrowWithCause( + promise: Promise, + errorCause: string | RegExp | Error, +): Promise { + await expect( + promise.catch((err) => { + throw (err as any).cause; + }), + ).rejects.toThrowError(errorCause); +} diff --git a/packages/worker/test/e2e/asyncThrow.spec.ts b/packages/worker/test/e2e/asyncThrow.spec.ts index d625c534..f1d0bd32 100644 --- a/packages/worker/test/e2e/asyncThrow.spec.ts +++ b/packages/worker/test/e2e/asyncThrow.spec.ts @@ -24,13 +24,15 @@ if (isMainThread) { await assert(asyncThrowProperty, defaultOptions); } catch (err) { failed = true; - const message = String(err); + const rootMessage = String(err); const mainValueRegex = /Counterexample: \[(-?\d+),(-?\d+)\]/; - expect(message).toMatch(mainValueRegex); - expect(message).toContain('Out of range, asynchronously'); - const fromValue = +mainValueRegex.exec(message)![1]; - const toValue = +mainValueRegex.exec(message)![2]; + expect(rootMessage).toMatch(mainValueRegex); + const fromValue = +mainValueRegex.exec(rootMessage)![1]; + const toValue = +mainValueRegex.exec(rootMessage)![2]; expect(Math.abs(fromValue - toValue)).toBeGreaterThanOrEqual(100); + expect(err).toHaveProperty('cause'); + const nestedMessage = String((err as any).cause); + expect(nestedMessage).toContain('Out of range, asynchronously'); } expect(failed).toBe(true); }, diff --git a/packages/worker/test/e2e/blockEventLoop.spec.ts b/packages/worker/test/e2e/blockEventLoop.spec.ts index f4a87310..2b9c8229 100644 --- a/packages/worker/test/e2e/blockEventLoop.spec.ts +++ b/packages/worker/test/e2e/blockEventLoop.spec.ts @@ -1,11 +1,12 @@ import { isMainThread } from 'node:worker_threads'; import type { Parameters } from 'fast-check'; import { assert } from '@fast-check/worker'; -import { describe, it, expect } from 'vitest'; +import { describe, it } from 'vitest'; /* eslint-disable @typescript-eslint/ban-ts-comment */ // @ts-ignore import { blockEventLoopProperty } from './__properties__/blockEventLoop.cjs'; +import { expectThrowWithCause } from './__test-helpers__/ThrowWithCause.js'; if (isMainThread) { describe('@fast-check/worker', () => { @@ -21,7 +22,7 @@ if (isMainThread) { const expectedError = /Property timeout: exceeded limit of 1000 milliseconds/; // Act / Assert - await expect(assert(blockEventLoopProperty, options)).rejects.toThrowError(expectedError); + await expectThrowWithCause(assert(blockEventLoopProperty, options), expectedError); }, jestTimeout, ); diff --git a/packages/worker/test/e2e/failing.spec.ts b/packages/worker/test/e2e/failing.spec.ts index 7c0ada04..cb2ab66b 100644 --- a/packages/worker/test/e2e/failing.spec.ts +++ b/packages/worker/test/e2e/failing.spec.ts @@ -1,11 +1,12 @@ import { isMainThread } from 'node:worker_threads'; import type { Parameters } from 'fast-check'; import { assert } from '@fast-check/worker'; -import { describe, it, expect } from 'vitest'; +import { describe, it } from 'vitest'; /* eslint-disable @typescript-eslint/ban-ts-comment */ // @ts-ignore import { failingProperty } from './__properties__/failing.cjs'; +import { expectThrowWithCause } from './__test-helpers__/ThrowWithCause.js'; if (isMainThread) { describe('@fast-check/worker', () => { @@ -20,7 +21,7 @@ if (isMainThread) { const expectedError = /I'm a failing property/; // Act / Assert - await expect(assert(failingProperty, defaultOptions)).rejects.toThrowError(expectedError); + await expectThrowWithCause(assert(failingProperty, defaultOptions), expectedError); }, jestTimeout, ); diff --git a/packages/worker/test/e2e/noWorker.spec.ts b/packages/worker/test/e2e/noWorker.spec.ts index 9d904355..98ee2dc2 100644 --- a/packages/worker/test/e2e/noWorker.spec.ts +++ b/packages/worker/test/e2e/noWorker.spec.ts @@ -2,6 +2,7 @@ import { isMainThread } from 'node:worker_threads'; import fc, { type Parameters } from 'fast-check'; import { assert } from '@fast-check/worker'; import { describe, it, expect } from 'vitest'; +import { expectThrowWithCause } from './__test-helpers__/ThrowWithCause.js'; if (isMainThread) { describe('@fast-check/worker', () => { @@ -37,7 +38,7 @@ if (isMainThread) { const expectedError = /Property failed by returning false/; // Act / Assert - await expect(assert(property, defaultOptions)).rejects.toThrowError(expectedError); + await expectThrowWithCause(assert(property, defaultOptions), expectedError); }, jestTimeout, ); diff --git a/packages/worker/test/e2e/nonSerializableButSameData.spec.ts b/packages/worker/test/e2e/nonSerializableButSameData.spec.ts index 66c2f664..7bb36ed8 100644 --- a/packages/worker/test/e2e/nonSerializableButSameData.spec.ts +++ b/packages/worker/test/e2e/nonSerializableButSameData.spec.ts @@ -15,7 +15,7 @@ if (isMainThread) { describe('@fast-check/worker', () => { const jestTimeout = 10000; const assertTimeout = 1000; - const defaultOptions: Parameters = { timeout: assertTimeout }; + const defaultOptions: Parameters = { timeout: assertTimeout, includeErrorInReport: true }; it( 'should produce the same data in worker and main thread', diff --git a/packages/worker/test/e2e/nonSerializableData.spec.ts b/packages/worker/test/e2e/nonSerializableData.spec.ts index 79b92701..05483cdc 100644 --- a/packages/worker/test/e2e/nonSerializableData.spec.ts +++ b/packages/worker/test/e2e/nonSerializableData.spec.ts @@ -14,7 +14,7 @@ if (isMainThread) { describe('@fast-check/worker', () => { const jestTimeout = 10000; const assertTimeout = 1000; - const defaultOptions: Parameters = { timeout: assertTimeout }; + const defaultOptions: Parameters = { timeout: assertTimeout, includeErrorInReport: true }; it( 'should be able to deal with workers based on non-serializable data', diff --git a/packages/worker/test/e2e/predicateIsolation.spec.ts b/packages/worker/test/e2e/predicateIsolation.spec.ts index 73a785fb..f9e93264 100644 --- a/packages/worker/test/e2e/predicateIsolation.spec.ts +++ b/packages/worker/test/e2e/predicateIsolation.spec.ts @@ -6,6 +6,7 @@ import { describe, it, expect } from 'vitest'; /* eslint-disable @typescript-eslint/ban-ts-comment */ // @ts-ignore import { predicateIsolation } from './__properties__/predicateIsolation.cjs'; +import { expectThrowWithCause } from './__test-helpers__/ThrowWithCause.js'; if (isMainThread) { describe('@fast-check/worker', () => { @@ -33,7 +34,7 @@ if (isMainThread) { const expectedError = /Encounter counters: property, for isolation level: property/; // Act / Assert - await expect(assert(predicateIsolation.propertyLevel, options)).rejects.toThrowError(expectedError); + await expectThrowWithCause(assert(predicateIsolation.propertyLevel, options), expectedError); }, jestTimeout, ); @@ -46,7 +47,7 @@ if (isMainThread) { const expectedError = /Encounter counters: file, for isolation level: file/; // Act / Assert - await expect(assert(predicateIsolation.fileLevel, options)).rejects.toThrowError(expectedError); + await expectThrowWithCause(assert(predicateIsolation.fileLevel, options), expectedError); }, jestTimeout, ); diff --git a/packages/worker/test/e2e/propertyIsolation.spec.ts b/packages/worker/test/e2e/propertyIsolation.spec.ts index 4ea317f1..d68bed81 100644 --- a/packages/worker/test/e2e/propertyIsolation.spec.ts +++ b/packages/worker/test/e2e/propertyIsolation.spec.ts @@ -6,6 +6,7 @@ import { describe, it, expect } from 'vitest'; /* eslint-disable @typescript-eslint/ban-ts-comment */ // @ts-ignore import { propertyIsolation } from './__properties__/propertyIsolation.cjs'; +import { expectThrowWithCause } from './__test-helpers__/ThrowWithCause.js'; if (isMainThread) { describe('@fast-check/worker', () => { @@ -46,7 +47,7 @@ if (isMainThread) { await expect(assert(propertyIsolation.fileLevelWarmUp, defaultOptions)).resolves.not.toThrow(); // Act / Assert - await expect(assert(propertyIsolation.fileLevelRun, defaultOptions)).rejects.toThrowError(expectedError); + await expectThrowWithCause(assert(propertyIsolation.fileLevelRun, defaultOptions), expectedError); }, jestTimeout, ); diff --git a/packages/worker/test/e2e/syncThrow.spec.ts b/packages/worker/test/e2e/syncThrow.spec.ts index ba74d9dc..ca3f22e2 100644 --- a/packages/worker/test/e2e/syncThrow.spec.ts +++ b/packages/worker/test/e2e/syncThrow.spec.ts @@ -24,13 +24,15 @@ if (isMainThread) { await assert(syncThrowProperty, defaultOptions); } catch (err) { failed = true; - const message = String(err); + const rootMessage = String(err); const mainValueRegex = /Counterexample: \[(-?\d+),(-?\d+)\]/; - expect(message).toMatch(mainValueRegex); - expect(message).toContain('Out of range, synchronously'); - const fromValue = +mainValueRegex.exec(message)![1]; - const toValue = +mainValueRegex.exec(message)![2]; + expect(rootMessage).toMatch(mainValueRegex); + const fromValue = +mainValueRegex.exec(rootMessage)![1]; + const toValue = +mainValueRegex.exec(rootMessage)![2]; expect(Math.abs(fromValue - toValue)).toBeGreaterThanOrEqual(100); + expect(err).toHaveProperty('cause'); + const nestedMessage = String((err as any).cause); + expect(nestedMessage).toContain('Out of range, synchronously'); } expect(failed).toBe(true); }, diff --git a/packages/worker/test/e2e/unregistered.spec.ts b/packages/worker/test/e2e/unregistered.spec.ts index 55da9fed..3c2c614e 100644 --- a/packages/worker/test/e2e/unregistered.spec.ts +++ b/packages/worker/test/e2e/unregistered.spec.ts @@ -1,11 +1,12 @@ import { isMainThread } from 'node:worker_threads'; import type { Parameters } from 'fast-check'; import { assert } from '@fast-check/worker'; -import { describe, it, expect } from 'vitest'; +import { describe, it } from 'vitest'; /* eslint-disable @typescript-eslint/ban-ts-comment */ // @ts-ignore import { buildUnregisteredProperty } from './__properties__/unregistered.cjs'; +import { expectThrowWithCause } from './__test-helpers__/ThrowWithCause.js'; if (isMainThread) { describe('@fast-check/worker', () => { @@ -21,7 +22,7 @@ if (isMainThread) { const expectedError = /Unregistered predicate/; // Act / Assert - await expect(assert(unregisteredProperty, defaultOptions)).rejects.toThrowError(expectedError); + await expectThrowWithCause(assert(unregisteredProperty, defaultOptions), expectedError); }, jestTimeout, ); diff --git a/website/docs/migration/from-3.x-to-4.x.md b/website/docs/migration/from-3.x-to-4.x.md index c049690c..fd92ee9f 100644 --- a/website/docs/migration/from-3.x-to-4.x.md +++ b/website/docs/migration/from-3.x-to-4.x.md @@ -50,6 +50,20 @@ fc.record(recordModel, { Related pull requests: [#5578](https://github.com/dubzzz/fast-check/pull/5578) +## Update to v4.x + +After applying the recommendations for migrating to the latest v3.x, transitioning to version 4 should be straightforward. However, there are still a few changes to review, either during the upgrade or as you use the updated library. These changes enhance functionality and ensure a more powerful tool by default. + +### Default error reporting + +We adopted a new approach to report errors by leveraging "[Error Cause](https://github.com/tc39/proposal-error-cause/blob/main/README.md#error-cause)", which is already supported by many test runners. Previously, when your predicate threw an `Error`, fast-check created a new `Error` instance with a message that combined fast-check’s failure details with your original error message. + +Now, it attaches your original error as a cause. This approach improves integration with test runners, which often parse error messages for stack trace cleanup and reporting. + +If you prefer the previous behavior, you can disable this feature in version 4 by enabling the `includeErrorInReport` flag. You can also test this behavior in version 3 by toggling the `errorWithCause` flag (renamed to `includeErrorInReport` in version 4). + +Related pull requests: [#5590](https://github.com/dubzzz/fast-check/pull/5590) + ## Advanced usages ### Custom reporters -- 2.51.2