summaryrefslogtreecommitdiff
path: root/pbt/ts/src/property.test.ts
diff options
context:
space:
mode:
Diffstat (limited to 'pbt/ts/src/property.test.ts')
-rw-r--r--pbt/ts/src/property.test.ts3
1 files changed, 1 insertions, 2 deletions
diff --git a/pbt/ts/src/property.test.ts b/pbt/ts/src/property.test.ts
index c4e089d..920457a 100644
--- a/pbt/ts/src/property.test.ts
+++ b/pbt/ts/src/property.test.ts
@@ -4,12 +4,11 @@ import {
property,
shrinkPair,
shrinkPositive,
- someInt,
} from './property';
// from https://github.com/jlink/shrinking-challenge/blob/main/challenges/difference.md
const predicate1: (pair: [number, number]) => boolean = ([x, y]) =>
- x < 10 || x != y;
+ x < 10 || x !== y;
describe('Find minimal counterexample', () => {
test('do not shrink example if no shrinker given', () => {