Fix bug by only putting reads or writes in objthrdmap
authorBrian Demsky <bdemsky@uci.edu>
Mon, 6 Jan 2020 22:10:30 +0000 (14:10 -0800)
committerBrian Demsky <bdemsky@uci.edu>
Mon, 6 Jan 2020 22:10:30 +0000 (14:10 -0800)
commitf4917b6ec74b4c36c19ad7dc92fe888a94357486
tree085796c450204ce31fc4d10de84e2c99780edb4f
parent8690d27f56658be9800f5dd2232f73fbe0381c1d
Fix bug by only putting reads or writes in objthrdmap
execution.cc