to mjs

packages/worker/test/e2e/__properties__/blockEventLoop.mjs

@@ -0,0 +1,15 @@
+// @ts-check
+import fc from 'fast-check';
+import { propertyFor } from '@fast-check/worker';
+
+const property = propertyFor(new URL(import.meta.url));
+
+export const blockEventLoopProperty = property(
+  fc.integer({ min: -1000, max: 1000 }),
+  fc.integer({ min: -1000, max: 1000 }),
+  (from, to) => {
+    for (let i = from; i !== to; ++i) {
+      // Loop from "from" to "to" possibly NEVER ending
+    }
+  },
+);

packages/worker/test/e2e/__properties__/concurrentAssert.cjs → packages/worker/test/e2e/__properties__/concurrentAssert.mjs

@@ -1,13 +1,13 @@
 // @ts-check
-/* eslint-disable @typescript-eslint/no-var-requires */
-/* global __filename, exports, require, __dirname */
-const { pathToFileURL } = require('node:url');
-const fc = require('fast-check');
-const { propertyFor } = require('@fast-check/worker');
-const { writeFileSync, existsSync, rmSync } = require('fs');
-const path = require('path');
+import fc from 'fast-check';
+import { propertyFor } from '@fast-check/worker';
+import { writeFileSync, existsSync, rmSync } from 'node:fs';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
 
-const property = propertyFor(pathToFileURL(__filename));
+const __dirname = fileURLToPath(new URL('.', import.meta.url));
+
+const property = propertyFor(new URL(import.meta.url));
 
 let index = 0;
 function nextFilenameQuestion() {

packages/worker/test/e2e/__properties__/failing.mjs

@@ -0,0 +1,13 @@
+// @ts-check
+import fc from 'fast-check';
+import { propertyFor } from '@fast-check/worker';
+
+const property = propertyFor(new URL(import.meta.url));
+
+export const failingProperty = property(
+  fc.integer({ min: -1000, max: 1000 }),
+  fc.integer({ min: -1000, max: 1000 }),
+  (_from, _to) => {
+    throw new Error("I'm a failing property");
+  },
+);

packages/worker/test/e2e/__properties__/passing.mjs

@@ -0,0 +1,16 @@
+// @ts-check
+import fc from 'fast-check';
+import { propertyFor } from '@fast-check/worker';
+
+console.log(new URL(import.meta.url))
+const property = propertyFor(new URL(import.meta.url));
+
+export const passingProperty = property(
+  fc.integer({ min: -1000, max: 1000 }),
+  fc.integer({ min: -1000, max: 1000 }),
+  (from, to) => {
+    for (let i = from; i <= to; ++i) {
+      // Loop from "from" to "to" ALWAYS finite
+    }
+  },
+);

packages/worker/test/e2e/__properties__/predicateIsolation.cjs → packages/worker/test/e2e/__properties__/predicateIsolation.mjs

@@ -1,13 +1,10 @@
 // @ts-check
-/* eslint-disable @typescript-eslint/no-var-requires */
-/* global __filename, exports, require */
-const { pathToFileURL } = require('node:url');
-const fc = require('fast-check');
-const { propertyFor } = require('@fast-check/worker');
+import fc from 'fast-check';
+import { propertyFor } from '@fast-check/worker';
 
 const counters = {};
 function buildProperty(isolationLevel) {
-  return propertyFor(pathToFileURL(__filename), { isolationLevel })(
+  return propertyFor(new URL(import.meta.url), { isolationLevel })(
     fc.integer({ min: -1000, max: 1000 }),
     fc.integer({ min: -1000, max: 1000 }),
     (_from, _to) => {
@@ -19,7 +16,7 @@ function buildProperty(isolationLevel) {
   );
 }
 
-exports.predicateIsolation = {
+export const predicateIsolation = {
   predicateLevel: buildProperty('predicate'),
   propertyLevel: buildProperty('property'),
   fileLevel: buildProperty('file'),

packages/worker/test/e2e/__properties__/propertyIsolation.cjs → packages/worker/test/e2e/__properties__/propertyIsolation.mjs

@@ -1,13 +1,10 @@
 // @ts-check
-/* eslint-disable @typescript-eslint/no-var-requires */
-/* global __filename, exports, require */
-const { pathToFileURL } = require('node:url');
-const fc = require('fast-check');
-const { propertyFor } = require('@fast-check/worker');
+import fc from 'fast-check';
+import { propertyFor } from '@fast-check/worker';
 
 const counters = {};
 function buildPropertyWarmUp(isolationLevel) {
-  return propertyFor(pathToFileURL(__filename), { isolationLevel })(
+  return propertyFor(new URL(import.meta.url), { isolationLevel })(
     fc.integer({ min: -1000, max: 1000 }),
     fc.integer({ min: -1000, max: 1000 }),
     (_from, _to) => {
@@ -19,7 +16,7 @@ function buildPropertyWarmUp(isolationLevel) {
   );
 }
 function buildPropertyRun(isolationLevel) {
-  return propertyFor(pathToFileURL(__filename), { isolationLevel })(
+  return propertyFor(new URL(import.meta.url), { isolationLevel })(
     fc.integer({ min: -1000, max: 1000 }),
     fc.integer({ min: -1000, max: 1000 }),
     (_from, _to) => {
@@ -31,7 +28,7 @@ function buildPropertyRun(isolationLevel) {
   );
 }
 
-exports.propertyIsolation = {
+export const propertyIsolation = {
   predicateLevelWarmUp: buildPropertyWarmUp('predicate'),
   predicateLevelRun: buildPropertyRun('predicate'),
   propertyLevelWarmUp: buildPropertyWarmUp('property'),

packages/worker/test/e2e/__properties__/unregistered.mjs

@@ -0,0 +1,10 @@
+// @ts-check
+import fc from 'fast-check';
+import { propertyFor } from '@fast-check/worker';
+
+const property = propertyFor(new URL(import.meta.url));
+
+export const buildUnregisteredProperty = () =>
+  property(fc.integer({ min: -1000, max: 1000 }), fc.integer({ min: -1000, max: 1000 }), (_from, _to) => {
+    return true; // success
+  });

packages/worker/test/e2e/blockEventLoop.spec.ts

@@ -4,7 +4,7 @@ import { assert } from '@fast-check/worker';
 
 /* eslint-disable @typescript-eslint/ban-ts-comment */
 // @ts-ignore
-import { blockEventLoopProperty } from './__properties__/blockEventLoop.cjs';
+import { blockEventLoopProperty } from './__properties__/blockEventLoop.mjs';
 
 if (isMainThread) {
   describe('@fast-check/worker', () => {

packages/worker/test/e2e/concurrentAssert.spec.ts

@@ -4,7 +4,7 @@ import { assert } from '@fast-check/worker';
 
 /* eslint-disable @typescript-eslint/ban-ts-comment */
 // @ts-ignore
-import { readerAssert, writerAssert } from './__properties__/concurrentAssert.cjs';
+import { readerAssert, writerAssert } from './__properties__/concurrentAssert.mjs';
 
 if (isMainThread) {
   describe('@fast-check/worker', () => {

packages/worker/test/e2e/failing.spec.ts

@@ -4,7 +4,7 @@ import { assert } from '@fast-check/worker';
 
 /* eslint-disable @typescript-eslint/ban-ts-comment */
 // @ts-ignore
-import { failingProperty } from './__properties__/failing.cjs';
+import { failingProperty } from './__properties__/failing.mjs';
 
 if (isMainThread) {
   describe('@fast-check/worker', () => {

packages/worker/test/e2e/passing.spec.ts

@@ -4,7 +4,7 @@ import { assert } from '@fast-check/worker';
 
 /* eslint-disable @typescript-eslint/ban-ts-comment */
 // @ts-ignore
-import { passingProperty } from './__properties__/passing.cjs';
+import { passingProperty } from './__properties__/passing.mjs';
 
 if (isMainThread) {
   describe('@fast-check/worker', () => {

packages/worker/test/e2e/predicateIsolation.spec.ts

@@ -4,7 +4,7 @@ import { assert } from '@fast-check/worker';
 
 /* eslint-disable @typescript-eslint/ban-ts-comment */
 // @ts-ignore
-import { predicateIsolation } from './__properties__/predicateIsolation.cjs';
+import { predicateIsolation } from './__properties__/predicateIsolation.mjs';
 
 if (isMainThread) {
   describe('@fast-check/worker', () => {

packages/worker/test/e2e/propertyIsolation.spec.ts

@@ -4,7 +4,7 @@ import { assert } from '@fast-check/worker';
 
 /* eslint-disable @typescript-eslint/ban-ts-comment */
 // @ts-ignore
-import { propertyIsolation } from './__properties__/propertyIsolation.cjs';
+import { propertyIsolation } from './__properties__/propertyIsolation.mjs';
 
 if (isMainThread) {
   describe('@fast-check/worker', () => {

packages/worker/test/e2e/unregistered.spec.ts

@@ -4,7 +4,7 @@ import { assert } from '@fast-check/worker';
 
 /* eslint-disable @typescript-eslint/ban-ts-comment */
 // @ts-ignore
-import { buildUnregisteredProperty } from './__properties__/unregistered.cjs';
+import { buildUnregisteredProperty } from './__properties__/unregistered.mjs';
 
 if (isMainThread) {
   describe('@fast-check/worker', () => {