projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b2d7b3) | patch
model: add 'pending' assertion
authorBrian Norris <banorris@uci.edu>
Wed, 13 Feb 2013 02:12:17 +0000 (18:12 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 22:55:02 +0000 (14:55 -0800)
commit61eabdb86ab3a0a9a3051bd0bbf4dfed2172fdce
tree91a617e4fca270b9f9ab1ae6d8b45c90f9063a8ctree | snapshot
parent8b2d7b35e955c675bbfd1f415d25b01494cc330fcommit | diff
model: add 'pending' assertion

We don't want to clobber a pending action.
model.cc diff | blob | history
C11 Tester Tool Public Repository