diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-01-29 00:07:52 -0600 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-01-29 00:07:52 -0600 |
commit | 82058d4af2f41f9236433294cd092dd5e2a2c1b9 (patch) | |
tree | 4f922cfcccdd9bef3d482e0f044e6bdf6258b601 /src/theory/quantifiers/term_database.h | |
parent | 610c3e111c4bca484d94e21df46a35c55fdd6882 (diff) |
currently disabling bug486 regression. we need to discuss getValue/collectModelInfo for quantifiers more.
Diffstat (limited to 'src/theory/quantifiers/term_database.h')
0 files changed, 0 insertions, 0 deletions