projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8669bd6) | patch
action: add MODEL_FIXUP_RELSEQ action_type
authorBrian Norris <banorris@uci.edu>
Fri, 5 Oct 2012 05:38:37 +0000 (22:38 -0700)
committerBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 22:39:01 +0000 (15:39 -0700)
commit1af30302f46d984b38a02a3f21ec53a5a9de0f71
treec1a37759ea73aab88d3984686035f5b64d9124fdtree | snapshot
parent8669bd6f88178382893b48223498611f2200714acommit | diff
action: add MODEL_FIXUP_RELSEQ action_type

This type will be used as a special model-checker action for fixing up
release sequences. Each action corresponds to "finalizing" one release
sequence: either force a particular write to break the sequence or else
allow the synchronization to occur.

Currently, this action_type won't do anything, as it's not hooked up in
ModelChecker.
action.cc diff | blob | history
action.h diff | blob | history
C11 Tester Tool Public Repository