sometimes

import { sometimes } from "destack:assert";

Record that condition should become true in some explored run.

1export function sometimes(name: string, condition: boolean, details?: Details | undefined): void