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

Function Documentation

◆ verify()

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

static

Definition at line 3147 of file SVOps.cpp.

References success(), and verify().

Referenced by verify().