diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-01-23 21:13:08 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-01-23 21:13:08 +0000 |
| commit | d9df9a78b51bb4a455d15810924bc8b537934833 (patch) | |
| tree | 2e0ecfef8bfafa19b1fbfedaea7a53ddbc1e0714 /test/regress | |
| parent | 3b3c5597a926cf6f2056fe237bcac7c4d2596a75 (diff) | |
Partial fix to TheoryEngine::getExplanation so that SharedAssertions request explanations from the theory that can explain them. This partially fixes bug 295.
Diffstat (limited to 'test/regress')
0 files changed, 0 insertions, 0 deletions