SemanticVerifier.Error (semantic_verifier v0.1.1)

Copy Markdown View Source

Standardized struct representing formal verification violations found by Z3. Includes concrete counter-example models when constraints are violated.

Summary

Types

t()

Types

t()

@type t() :: %SemanticVerifier.Error{
  affected_node: String.t(),
  category: String.t(),
  cause: String.t(),
  counter_example: map() | nil,
  id: String.t(),
  impact: String.t(),
  smt_status: atom() | nil,
  target: String.t() | nil,
  violated_constraint: String.t()
}