projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e091f7) | patch
test: addr-satcycle: add new address-based sat. cycle example
authorBrian Norris <banorris@uci.edu>
Tue, 16 Jul 2013 20:22:43 +0000 (13:22 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Jul 2013 20:26:55 +0000 (13:26 -0700)
commit100760a2b7e7175343e076d852aa35d5eedff23f
tree325b6ae6435d39caac237131f8926a38bdc3a2dftree | snapshot
parent9e091f7017e3e22742b26f991f8f06bc2fb874f4commit | diff
test: addr-satcycle: add new address-based sat. cycle example

See the comments and assertion in the program for the description.
test/addr-satcycle.cc [new file with mode: 0644] blob
C++11 memory model checker