summaryrefslogtreecommitdiff
path: root/pbt/ts/src/property.test.ts
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2026-08-30 18:08:55 +0200
committerArnaud Bailly <arnaud@pankzsoft.com>2026-09-01 07:58:04 +0200
commitb3285b3f5878d705fcbeb7165097b6623a02f553 (patch)
tree6b08a1eb2e88eb0406979642c7f2b61547815fa8 /pbt/ts/src/property.test.ts
parent966f532a61b34d187bfdeefed7617fbfb6f768ed (diff)
downloadlambda-nantes-b3285b3f5878d705fcbeb7165097b6623a02f553.tar.gz
Replace jest with vitest
This implies fixing some quirky modules import logic. Thanks to Claude for fixing this whole s**t
Diffstat (limited to 'pbt/ts/src/property.test.ts')
-rw-r--r--pbt/ts/src/property.test.ts4
1 files changed, 2 insertions, 2 deletions
diff --git a/pbt/ts/src/property.test.ts b/pbt/ts/src/property.test.ts
index 67ea81d..c47c964 100644
--- a/pbt/ts/src/property.test.ts
+++ b/pbt/ts/src/property.test.ts
@@ -4,7 +4,7 @@ import {
property,
shrinkPair,
shrinkPositive,
-} from './property';
+} from './property.js';
// from https://github.com/jlink/shrinking-challenge/blob/main/challenges/difference.md
const predicate1: (pair: [number, number]) => Promise<boolean> = ([x, y]) =>
@@ -29,7 +29,7 @@ describe('Find minimal counterexample', () => {
if (result.counterexample !== null) {
expect(result.counterexample.counterexample).toStrictEqual([10, 10]);
} else {
- fail('no counterexample');
+ expect.fail('no counterexample');
}
});
});