projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f52c40f) | patch
action: add comparison operator for ModelAction
authorBrian Norris <banorris@uci.edu>
Mon, 14 May 2012 18:16:44 +0000 (11:16 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 14 May 2012 19:40:33 +0000 (12:40 -0700)
commit5cc76af4d9e0d18759c88218c185fad7ab033822
treeb5e6638da145a29604f6248672ade64f8e73ad53tree | snapshot
parentf52c40fdba5d4648020927cfb942518ed02362dfcommit | diff
action: add comparison operator for ModelAction

The operator simply compares the sequence number. Useful for some simple
model-checking tests.
action.h diff | blob | history
C++11 memory model checker