projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4752e48) | patch
Split FuncNode::get_or_add_inst into two separate functions. Call add_inst inside...
authorweiyu <weiyuluo1232@gmail.com>
Wed, 7 Aug 2019 02:02:42 +0000 (19:02 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Wed, 7 Aug 2019 02:02:42 +0000 (19:02 -0700)
commit5379cc6b0f28d0563a51ad2f2069db83ec33ccac
tree36a9e41912524c1f95837ceb491af9058ea1cb1atree | snapshot
parent4752e48158e7c5c90472214c366b0eaa1ec09a71commit | diff
Split FuncNode::get_or_add_inst into two separate functions.  Call add_inst inside process_action so that func_insts corresponding to ATOMIC RMWRCAS actions are created before those actions are converted to ATOMIC RMWR or ATOMIC READ
funcnode.cc diff | blob | history
funcnode.h diff | blob | history
history.cc diff | blob | history
C11 Tester Tool Public Repository