Add the specifications non-assert convenant.

Change-Id: I64191f0d8fa20c39dac6850d15f263ce648e925b
2 files changed