projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d500fe) | patch
assert bugs through common interface
authorBrian Norris <banorris@uci.edu>
Thu, 15 Nov 2012 21:50:40 +0000 (13:50 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 16 Nov 2012 01:38:55 +0000 (17:38 -0800)
commit1798c510e77f37e3d79cba6a1fdad3b13ccc9674
tree728c0905d703cc94be8c72be54e1959fcedb4fb4tree | snapshot
parent2d500fe42404f9a451051bd7fefef6b3e50db0a7commit | diff
assert bugs through common interface

- User-provied assertions (MODEL_ASSERT())
- Data races
- Deadlocks
- Unlock before lock

Notably, I have not yet converted the "uninitialized load" bug, because
it actually isn't correct yet. It needs to handle future values and lazy
synchronization better.
common.cc diff | blob | history
datarace.cc diff | blob | history
model.cc diff | blob | history
C11 Tester Tool Public Repository