refactor(values-of): more consistent type inference #431
Annotations
6 errors
Run npm run check:coverage:
src/random/arbitrary/forall/forall.ts#L104
AssertionError: Counter example found after 52 tests (seed: 63279554641n)
Shrunk 7 time(s)
Counter example:
{ U: 0 }
❯ src/random/arbitrary/forall/forall.ts:104:45
❯ src/data/try/try.ts:146:40
❯ Module.evaluate src/function/evaluate/evaluate.ts:24:40
❯ asTry src/data/try/try.ts:81:27
❯ Module.mapTry src/data/try/try.ts:146:28
❯ predicate src/random/arbitrary/forall/forall.ts:102:13
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:139:38
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:141:28
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:141:28
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:141:28
|
Run npm run check:coverage:
src/random/arbitrary/forall/forall.ts#L104
AssertionError: Counter example found after 87 tests (seed: 404343325906n)
Shrunk 13 time(s)
Counter example:
{ K: '' }
❯ src/random/arbitrary/forall/forall.ts:104:45
❯ src/data/try/try.ts:146:40
❯ Module.evaluate src/function/evaluate/evaluate.ts:24:40
❯ asTry src/data/try/try.ts:81:27
❯ Module.mapTry src/data/try/try.ts:146:28
❯ predicate src/random/arbitrary/forall/forall.ts:102:13
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:139:38
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:141:28
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:141:28
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:141:28
|
Run npm run check:coverage:
src/random/arbitrary/forall/forall.ts#L104
AssertionError: Counter example found after 46 tests (seed: 1277788005401n)
Shrunk 4 time(s)
Counter example:
[ 0, 0 ]
❯ src/random/arbitrary/forall/forall.ts:104:45
❯ src/data/try/try.ts:146:40
❯ Module.evaluate src/function/evaluate/evaluate.ts:24:40
❯ asTry src/data/try/try.ts:81:27
❯ Module.mapTry src/data/try/try.ts:146:28
❯ predicate src/random/arbitrary/forall/forall.ts:102:13
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:139:38
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:141:28
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:141:28
❯ findSmallest src/random/arbitrary/falsify/falsify.ts:141:28
|
Run npm run check:coverage:
src/random/types/date/date.spec.ts#L48
Error: Snapshot `datetime > random sample - days 1` mismatched
- Expected
+ Received
[
- 2120-10-17T22:00:00.000Z,
- 2043-12-15T23:00:00.000Z,
- 2099-01-09T23:00:00.000Z,
- 1979-12-15T23:00:00.000Z,
- 2190-07-30T22:00:00.000Z,
- 1980-05-24T22:00:00.000Z,
- 1991-09-24T22:00:00.000Z,
- 2077-01-17T23:00:00.000Z,
- 2019-04-30T22:00:00.000Z,
- 2010-10-07T22:00:00.000Z,
+ 2120-10-18T00:00:00.000Z,
+ 2043-12-16T00:00:00.000Z,
+ 2099-01-10T00:00:00.000Z,
+ 1979-12-16T00:00:00.000Z,
+ 2190-07-31T00:00:00.000Z,
+ 1980-05-25T00:00:00.000Z,
+ 1991-09-25T00:00:00.000Z,
+ 2077-01-18T00:00:00.000Z,
+ 2019-05-01T00:00:00.000Z,
+ 2010-10-08T00:00:00.000Z,
]
❯ src/random/types/date/date.spec.ts:48:11
|
Run npm run check:coverage:
src/random/types/set/set.spec.ts#L52
Error: Snapshot `set > stops on infeasible 1` mismatched
- Expected
+ Received
- [Tree is found infeasible]
+ [AssertionError: Counter example found after 48 tests (seed: 1530368646676n)
+ Shrunk 1 time(s)
+ Counter example:
+
+ [ 1332584308, 1332584309 ]
+
+ ]
❯ src/random/types/set/set.spec.ts:52:11
|
Run npm run check:coverage
Process completed with exit code 1.
|
The logs for this run have expired and are no longer available.
Loading