projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5171252) | patch
test: uninit: remove @todo (bug fixed)
authorBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 08:35:25 +0000 (00:35 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 08:35:25 +0000 (00:35 -0800)
commit619d877631496c14df5e2118933e44baab6fdf4c
treea53d533b53b9aca679baa548a0eb022b1a6cb7f6tree | snapshot
parent517125229f0d6faec89c3937753ed97d686ef696commit | diff
test: uninit: remove @todo (bug fixed)

The previous bugfix allows this example to run properly, so remove the
@todo.
test/uninit.cc diff | blob | history
C++11 memory model checker