projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e83585c) | patch
model: print execution # with trace
authorBrian Norris <banorris@uci.edu>
Sat, 17 Nov 2012 01:45:23 +0000 (17:45 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 17 Nov 2012 01:45:23 +0000 (17:45 -0800)
commit9a9c5146d0bb00385367066ae9d657adb3edc50d
tree768871a825cab248004c49f369eb8df0e9f2b6fftree | snapshot
parente83585ce14ab6ae325c83d815dce8eb77b0e5897commit | diff
model: print execution # with trace

Since stats won't be printed regularly, we still want a measure of
"how many executions have run" when we print a summary trace.
model.cc diff | blob | history
C++11 memory model checker