projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4f6c8b) | patch
common: improve backtrace function
authorBrian Norris <banorris@uci.edu>
Sat, 6 Oct 2012 02:34:01 +0000 (19:34 -0700)
committerBrian Norris <banorris@uci.edu>
Sun, 7 Oct 2012 23:27:19 +0000 (16:27 -0700)
commita1e702259b91aaa78fd6d60bb9c54cbfc47af279
tree471ceb36d6676fdf7f6e842ddfc99012241e8069tree | snapshot
parentd4f6c8b91fb6c85bbb5d2ba3477c14fc10383c44commit | diff
common: improve backtrace function

Utilize freely-available backtrace function that helps make output more
readable. Previous implementation is kept for now, as it is simpler and
more well-tested.
common.cc diff | blob | history
C++11 memory model checker