projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdfd0fc) | patch
model: reformat execution trace prints
authorBrian Norris <banorris@uci.edu>
Thu, 10 Jan 2013 18:54:02 +0000 (10:54 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 10 Jan 2013 18:55:24 +0000 (10:55 -0800)
commit65e1c44cb1a70d7d19bc32b07bf41a7a6fa722d0
tree0108daea07957d0bf4bdc3fdfb71e3c586e8bb2etree | snapshot
parentcdfd0fce2867cd8f442b47f8d9db44a2498f8912commit | diff
model: reformat execution trace prints

Bring the "INFEASIBLE" message together with the "Execution #" message,
to make the log more compact and readable (e.g., grep for "Execution"
will give you some regularly-patterned, useful information).
model.cc diff | blob | history
C++11 memory model checker