projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 100760a) | patch
test: insanesync: convert to C++
authorBrian Norris <banorris@uci.edu>
Wed, 17 Jul 2013 02:22:52 +0000 (19:22 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 17 Jul 2013 02:22:52 +0000 (19:22 -0700)
commitc77e68595cf28639352e548241f648988641fc8d
tree55fdbe5e6a75b6972036dfcc5696222dbb15b1f4tree | snapshot
parent100760a2b7e7175343e076d852aa35d5eedff23fcommit | diff
test: insanesync: convert to C++

The syntax is clearer this way, and I can make it more consistent with
the other satisfaction cycle examples I wrote.
test/insanesync.c [deleted file] blob | history
test/insanesync.cc [new file with mode: 0644] blob
C++11 memory model checker