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.

References verify().

Referenced by verify().