projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: fb6d374)
model: cosmetic output improvements
authorBrian Norris <banorris@uci.edu>
Fri, 31 May 2013 23:50:40 +0000 (16:50 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 1 Jun 2013 00:19:35 +0000 (17:19 -0700)
A few cosmetic improvements:

* Provide more uniform newlines

* Clearly show which output is produced by the test program

* Provide clear heading to show which output belongs to which program
  execution

* Label the program trace if it has bugs

I'm sure there's more that could be improved, but that's it for now.


No differences found
C++11 memory model checker