tree b91babb53fefa25a698995bac644e2dc13c9fbf4
parent ba4bcf0d7f7342db728ee27a9e0d9af177fa9d8c
author Wayne Beaton <wayne.beaton@eclipse-foundation.org> 1586832268 -0400
committer Wayne Beaton <wayne.beaton@eclipse-foundation.org> 1586832268 -0400

Add the specifications non-assert convenant.

Change-Id: I64191f0d8fa20c39dac6850d15f263ce648e925b