projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b3cc5b) | patch
tree: add is_enabled(Thread *)
authorBrian Norris <banorris@uci.edu>
Fri, 4 May 2012 06:30:28 +0000 (23:30 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 8 May 2012 17:35:33 +0000 (10:35 -0700)
commitefd0e6cfa2827dfec2cf5932c02f9c6559389f4d
treef2a7d20b871089c5edf8da3c37d362c5e85ab5d4tree | snapshot
parent6b3cc5b800966b58d330bf516d92a17b4e2bee9dcommit | diff
tree: add is_enabled(Thread *)

Determine "enabled" by: was the thread created at this point. Checking against
num_threads is a naive way to do this...
tree.cc diff | blob | history
tree.h diff | blob | history
C++11 memory model checker