README.md: update title
[model-checker.git] / bugmessage.h
2013-04-16 Brian NorrisMerge cleanup code from Brian N.
2013-04-16 Brian Norrisbugmessage: move struct to header file