diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-02-26 05:40:55 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-02-26 05:40:55 +0000 |
| commit | 03a1f6a890027fa11cb0b00713757bc115debeb4 (patch) | |
| tree | 70e22e01967911ced232593e692ea134769e84aa /src/theory/bv | |
| parent | 616a0b85d1abd20f173890025585c640525f07cc (diff) | |
adding statistics about how many different kinds of expressions we have created in the expression manager.
this is useful, for example, with --parse-only, to figure out a bit of problem structure
Diffstat (limited to 'src/theory/bv')
0 files changed, 0 insertions, 0 deletions