projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98ca259) | patch
model: enforce rule: current_action != NULL
authorBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 21:04:09 +0000 (14:04 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 21:04:09 +0000 (14:04 -0700)
commitdaac20299ebe62b104ee7994ed1266ed482ca721
treecd2d47a21e5df90af86580ea072b5d0c1da025a9tree | snapshot
parent98ca2597879be0ec9484c4a32dae1c10607c9c17commit | diff
model: enforce rule: current_action != NULL

Now that I've fixed THREAD_JOIN, modify the comments and safety checks.
model.cc diff | blob | history
C++11 memory model checker