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>
Sat, 3 Nov 2012 22:52:16 +0000 (15:52 -0700)
commitd596a0e422232c82e01fe266ca2099d0eff5de0f
tree078e2e9e49eb1e9e6e52ab41008d4449e690478e
parent1a6c97a90dcb078ef64ca95d058837a575b34239
model-assert: add MODEL_ASSERT() for user programs
common.cc
include/model-assert.h [new file with mode: 0644]