projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0330918) | patch
model/schedule: comput "reduadant" measurement, print along with traces
authorBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 20:23:51 +0000 (12:23 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 20:23:51 +0000 (12:23 -0800)
commit2daff868a7ef4f6235c2776b746cec9947a87b13
tree36dae4ffe8294be640b99ffbc43188b745216a80tree | snapshot
parent0330918c2798a36363a197bf500a5646b048a687commit | diff
model/schedule: comput "reduadant" measurement, print along with traces

This will help debuggability. For instance, it will be more obvious that
right now, the 'deadlock.c' test is completing executions as "redundant"
when in fact they should be deadlocks.
model.cc diff | blob | history
schedule.cc diff | blob | history
schedule.h diff | blob | history
C11 Tester Tool Public Repository