Address

Validation dataclass

Validation(*, arch_spec: ArchSpec)

Bases: ValidationPass

              flowchart TD
              bloqade.lanes.validation.address.Validation[Validation]

              

              click bloqade.lanes.validation.address.Validation href "" "bloqade.lanes.validation.address.Validation"
            

Validates a move program against an architecture specification.