@informalsystems/quint/dist/src/runtime/testing.d.ts

Core tool for the Quint specification language

import { ExecutionFrame } from './trace';
import { Rng } from '../rng';
import { QuintError } from '../quintError';
import { TraceHook } from '../cliReporting';
/**
 * Various settings to be passed to the testing framework.
 */
export interface TestOptions {
    testMatch: (n: string) => boolean;
    maxSamples: number;
    rng: Rng;
    verbosity: number;
    onTrace: TraceHook;
}
/**
 * Evaluation result.
 * The implementation details are hidden behind this interface.
 */
export interface TestResult {
    /**
     * The test name.
     */
    name: string;
    /**
     * The test status.
     */
    status: 'passed' | 'failed' | 'ignored';
    /**
     * The seed value to repeat the test.
     */
    seed: bigint;
    /**
     * When status === 'failed', errors contain the explanatory errors.
     */
    errors: QuintError[];
    /**
     * If the trace was recorded, frames contains the history.
     */
    frames: ExecutionFrame[];
    /**
     * The number of tried samples.
     */
    nsamples: number;
}