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/context/cdo.h | |
| 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/context/cdo.h')
0 files changed, 0 insertions, 0 deletions