summaryrefslogtreecommitdiff
path: root/pbt/ts/src/property.test.ts
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-12-01 17:32:33 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-12-01 17:32:33 +0100
commit03d9f62f99afbae961fbf5846f015be5f6eee2b1 (patch)
tree363752f27e893c1f43494aab4d974d0fbf3ca9b1 /pbt/ts/src/property.test.ts
parent01660b4c6ac5d451102d73a7df22483f9fcc2ea1 (diff)
downloadlambda-nantes-03d9f62f99afbae961fbf5846f015be5f6eee2b1.tar.gz
fix eslint errors and warnings
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', () => {