Chuck Silvers <chuq@chuq.com> writes:

> since you hit an assertion, I can tell you've already got DIAGNOSTIC on,
> which is more or less the equivalent of INVARIANTS.  netbsd doesn't have
> an equivalent of WITNESS yet, but that wouldn't help here anyway.

He could turn on DEBUG, which enables the KDASSERT() assertions in
addition to the KASSERT() assertions.

        - Nathan