towards supporting scanalysis...
[model-checker.git] / scanalysis.cc
2013-04-13 Brian Demskytowards supporting scanalysis...
2013-04-13 Brian Demskyadd some support for traceanalysis plugins