From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 10 Apr 2013 18:26:19 +0000 (-0700)
Subject: add some support for traceanalysis plugins
X-Git-Tag: oopsla2013~86
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=4541dc5155c69e168beedf3bd2a8f5ece0e0e65b;hp=4541dc5155c69e168beedf3bd2a8f5ece0e0e65b;p=model-checker.git

add some support for traceanalysis plugins
---