projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c7618b) | patch
Get data race detector working... Commented out function call code since it crashes...
authorroot <root@dw-6.eecs.uci.edu>
Thu, 11 Jul 2019 18:39:35 +0000 (11:39 -0700)
committerroot <root@dw-6.eecs.uci.edu>
Thu, 11 Jul 2019 18:39:35 +0000 (11:39 -0700)
commitfdfcb2e993567ebdc484639dd18dfc4aadda2609
treeada53ead92749c8ec0253c3630d3787a438bc6c1tree | snapshot
parent1c7618b4e8f7e85a85a2fb87252a3512b9493380commit | diff
Get data race detector working...  Commented out function call code since it crashes...  I think you miss the case in which there is an exit w/o an entry because the function has an atomic that creates the model checker object...
cmodelint.cc diff | blob | history
librace.cc diff | blob | history
main.cc diff | blob | history
model.cc diff | blob | history
C11 Tester Tool Public Repository