fix a bug for ATOMIC_RMWCAS
authorweiyu <weiyuluo1232@gmail.com>
Mon, 24 Jun 2019 20:33:04 +0000 (13:33 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Mon, 24 Jun 2019 20:33:04 +0000 (13:33 -0700)
commit3455eccab56ee5132bea049bb9b1df804d5b8d71
treed7f57e4abf1a02c7af775f85a44586a0f32641f9
parentdffb384bcb02c12ae7cca965ab75c4a4b2336d7f
fix a bug for ATOMIC_RMWCAS
action.cc
action.h
cmodelint.cc