Oliver Gould wrote:
> Hello-
> 
> Solaris defines VERIFY(exp), which is equivalent to KASSERT(exp), but it
> is always tested (ie, even if DIAGNOSTIC is not set).  Is it okay to
> define VERIFY to be assert?  I haven't been able to find any
> documentation on (lowercase) assert, so I am left to guess that this is
> the intended use.  Am I correct?

Userspace or kernel?  There is no lowercase assert in the kernel.  I'd just
#define VERIFY KASSERT
but that's me.