sometimes

import { sometimes } from "destack:assert";

Record that condition should become true in some explored run.

export function sometimes(name: string, condition: boolean, details?: Details | undefined): void
language/library/src/assert/assert.ds:105:107