@informalsystems/quint
Version:
Core tool for the Quint specification language
11 lines (10 loc) • 337 B
TypeScript
import { RuntimeValue } from './runtimeValue';
import { DiffConfig } from './runtimeValueDiff';
export declare class Trace {
private states;
get(): RuntimeValue[];
reset(values?: RuntimeValue[]): void;
extend(state: RuntimeValue): void;
dropLast(): void;
renderDiff(width: number, config?: DiffConfig): string;
}