QuickCheck

This module provides utilities for property-based testing, including functions for generating arbitrary values and performing QuickCheck-style tests.

To enable debug output, set the environment variable DEBUG_QUICKCHECK=1. (needs env permission in Deno)

Examples

Example 1

import { arbitraryString, quickcheck } from "jsr:@sigma/quickcheck";
import { decodeBase64, encodeBase64 } from "jsr:@std/encoding";

const decoder = new TextDecoder();
quickcheck(
  (str: string) => {
    return decoder.decode(decodeBase64(encodeBase64(str))) === str;
  },
  arbitraryString({ minLength: 1, maxLength: 100 }),
  1000,
);