model/threads: add documentation comments
authorBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 19:54:11 +0000 (11:54 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 22:55:02 +0000 (14:55 -0800)
Document {get,set}_pending(), has_asserted()/set_assert(), etc.


No differences found