pabst-checker 0.12.0

package/dist/seed.js

@@ -0,0 +1,20 @@
+import { randomInt } from "node:crypto";
+import { PabstError } from "./errors.js";
+/** A fresh 32-bit unsigned integer, suitable as a fast-check seed. */
+export function randomSeed() {
+    return randomInt(0, 2 ** 32);
+}
+/**
+ * Parse and validate a `--seed` CLI argument. fast-check seeds are 32-bit
+ * integers, so we require a non-negative integer below 2^32.
+ */
+export function parseSeed(raw) {
+    if (!/^\d+$/.test(raw)) {
+        throw new PabstError(`invalid --seed '${raw}': must be a non-negative integer`);
+    }
+    const n = Number(raw);
+    if (!Number.isInteger(n) || n < 0 || n >= 2 ** 32) {
+        throw new PabstError(`--seed '${raw}' out of range: must be 0..${2 ** 32 - 1}`);
+    }
+    return n;
+}

package/package.json

@@ -0,0 +1,67 @@
+{
+  "name": "pabst-checker",
+  "version": "0.12.0",
+  "description": "Property-based testing from @ensures annotations, powered by fast-check.",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/jessealama/pabst.git"
+  },
+  "homepage": "https://github.com/jessealama/pabst#readme",
+  "bugs": {
+    "url": "https://github.com/jessealama/pabst/issues"
+  },
+  "keywords": [
+    "property-based-testing",
+    "fast-check",
+    "vitest",
+    "jsdoc",
+    "ensures",
+    "testing"
+  ],
+  "type": "module",
+  "engines": {
+    "node": ">=24"
+  },
+  "bin": {
+    "pabst": "dist/cli.js"
+  },
+  "exports": {
+    "./runtime": {
+      "types": "./dist/runtime.d.ts",
+      "default": "./dist/runtime.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "typecheck": "tsc -p tsconfig.tests.json",
+    "prepublishOnly": "npm run build && npm run typecheck && npm test",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "format": "prettier --write .",
+    "format:check": "prettier --check .",
+    "coverage": "vitest run --coverage",
+    "mutation": "stryker run"
+  },
+  "license": "MIT",
+  "dependencies": {
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.9"
+  },
+  "peerDependencies": {
+    "@fast-check/vitest": "^0.4.1",
+    "fast-check": "^4.8.0"
+  },
+  "devDependencies": {
+    "@fast-check/vitest": "^0.4.1",
+    "fast-check": "^4.8.0",
+    "@stryker-mutator/core": "^9.6.1",
+    "@stryker-mutator/vitest-runner": "^9.6.1",
+    "@types/node": "^26.1.0",
+    "@vitest/coverage-v8": "^4.1.9",
+    "ajv": "^8.20.0",
+    "prettier": "3.9.5"
+  }
+}