AssertPropertyLikeOp Namespace Reference

Functions
static LogicalResult	verify (Value clock, bool eventExists, mlir::Location loc)

Function Documentation

verify()

static LogicalResult AssertPropertyLikeOp::verify ( Value  clock, bool  eventExists, mlir::Location  loc  )

static

Definition at line 2467 of file SVOps.cpp.

Referenced by circt::TestCase::isValid(), parseListOptionalRegLocList(), roundtrip(), and roundtripAs().