model-assert: add MODEL_ASSERT() for user programs
authorBrian Norris <banorris@uci.edu>
Sat, 3 Nov 2012 22:52:16 +0000 (15:52 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Nov 2012 22:48:13 +0000 (14:48 -0800)
commit3d11a1c3f7543139e9fa5a450e7a57b73f030caf
tree2af39e8c101a63ad6afe3cfade5677fa6281c966
parentda5263cb595ee0440b27a757f3293715c3e7371a
model-assert: add MODEL_ASSERT() for user programs
common.cc
include/model-assert.h [new file with mode: 0644]