projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67cae4e) | patch
action: add is_atomic_var()
authorBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 06:55:38 +0000 (22:55 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 7 Dec 2012 06:55:38 +0000 (22:55 -0800)
commit7d97490a3d445eedb6073b5b00ee60604755f9a0
tree815c8f21b544f82a767d2d17e7f3492a25089643tree | snapshot
parent67cae4edb16c1c432b26bedcc9e19dae6dc37b1bcommit | diff
action: add is_atomic_var()

To check if a ModelAction is for a C/C++ atomic variable (vs. a Thread
action, a fake ModelChecker action, a mutex, a condition variable, etc.)
action.cc diff | blob | history
action.h diff | blob | history
C++11 memory model checker