model: add "bad synchronization" flag
authorBrian Norris <banorris@uci.edu>
Mon, 1 Oct 2012 20:29:00 +0000 (13:29 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 1 Oct 2012 20:29:00 +0000 (13:29 -0700)
commit939c3e18d1214e60cfc680244f8ab3e9bd5404af
tree755153533d33740fba890ed61c1761e6d9f5e9a3
parent722ae18e70d2658c04b7a7e53df2ab957aaab674
model: add "bad synchronization" flag

Can be used for aborting a trace when an incorrectly-ordered
synchronization occurs.
model.cc
model.h