Address

Validation dataclass

Validation(*, arch_spec: ArchSpec)

Bases: ValidationPass

Validates a move program against an architecture specification.