KASSERT: always assert; KWARN

[Alfred Perlstein]

On 5/11/16 4:50 PM, Rui Paulo wrote:
> On Wed, 2016-05-11 at 09:48 -0700, John Baldwin wrote:
>> Eh, if you keep going past many of the assertions the original code
>> enabled, you will get _more_ bogus assertions as fallout.
> I agree with John.  We really shouldn't be fiddling with this.
>
> There's just one case where this could be useful: you just imported a
> bunch of code that you don't understand and you're using the kassert's
> as a way to create a mental model of the code.  However, this is a very
> specific edge case.
>
I'm not sure what you and John are suggesting here.

Are you suggesting to revert the explicit panics in the witness code, or 
to revert the entire kassert_warn subsystem?

-Alfred