projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9593acf) | patch
segfault file/line breakpoint info
authorBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 22:42:27 +0000 (15:42 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 10 Oct 2012 22:44:41 +0000 (15:44 -0700)
commit61eb460ac03bd32140cf1213383251f3e57f7fa8
tree2590079900ffd9b2e0cf0a24319af90a632eb220tree | snapshot
parent9593acf48b245704a75d0e115d6dec1baf51f07ccommit | diff
segfault file/line breakpoint info

This can give easy info for using gdb. e.g.:

    For debugging, place breakpoint at: snapshot.cc:92
snapshot.cc diff | blob | history
C++11 memory model checker