diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-28 10:57:12 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-28 15:08:08 +0000 |
| commit | 08d4716e7882be14d3b2d466d0fa8a58d087523d (patch) | |
| tree | 28b3e4c59f8342d9db2786d8a7a7f0bcc6f4daa6 /LICENSE.TXT | |
| parent | 3946c3232512e436891d299243c9986a5f6e1e4c (diff) | |
| download | klee-08d4716e7882be14d3b2d466d0fa8a58d087523d.tar.gz | |
Clean up `Expr::compare()` interface by
* Making `Expr::compre(const Expr&, ExprEquivSet)` private and moving its implementation into `Expr.cpp`. * Document `Expr::compare(const Expr&)`. This partially addresses #515 .
Diffstat (limited to 'LICENSE.TXT')
0 files changed, 0 insertions, 0 deletions