about summary refs log tree commit diff homepage
path: root/cmake
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2016-11-28 10:57:12 +0000
committerDan Liew <daniel.liew@imperial.ac.uk>2016-11-28 15:08:08 +0000
commit08d4716e7882be14d3b2d466d0fa8a58d087523d (patch)
tree28b3e4c59f8342d9db2786d8a7a7f0bcc6f4daa6 /cmake
parent3946c3232512e436891d299243c9986a5f6e1e4c (diff)
downloadklee-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 'cmake')
0 files changed, 0 insertions, 0 deletions