Interface: SmtUnknownResult

Defined in: src/types/smt.ts:186

Result of an SMT check that reached no verdict.

Remarks

unknownReason carries the solver’s explanation when one was supplied, and is null otherwise.

if (response.result === 'unknown') {
  console.log(response.unknownReason ?? 'no reason given');
}

result: "unknown"

Defined in: src/types/smt.ts:188

Discriminant: the solver reached no verdict.

unknownReason: string | null

Defined in: src/types/smt.ts:190

Reason string for the "unknown" result, or null if none was supplied.