diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-12 23:41:12 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-12 23:41:12 +0000 |
commit | 856567b63c56b238db8a5bb84ad0da7990c1f1eb (patch) | |
tree | ab2a453f926b56070c39b9afba02dba7ba59858d /src/expr/Makefile.am | |
parent | 20b3dabb4823ede8147a08a47f8d909980414bee (diff) |
Fixing unnecessary construction of NOT nodes when generating conflict clauses and:
* adding the smallest test case (eq_diamond23.smt) that memouts in 50s
* adding the initial attributes black box test
Diffstat (limited to 'src/expr/Makefile.am')
0 files changed, 0 insertions, 0 deletions