projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09c3eb5) | patch
model: simple refactoring
authorBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 20:17:06 +0000 (12:17 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Feb 2013 22:55:02 +0000 (14:55 -0800)
commit6c69f716484f7a5acee72e0f02813fb98f4ac2ad
treeaef20019f80c0498cc66b171e96c3a3e8c7a7db1tree | snapshot
parent09c3eb5539455e82dcb357fbce82bf5974c3a37ccommit | diff
model: simple refactoring

This condition is useless. We can just return next_thrd directly.
model.cc diff | blob | history
C++11 memory model checker