diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-14 19:09:37 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-14 19:09:37 +0000 |
| commit | da1e7aaacab8dd4e9b80b752f362d190c1472543 (patch) | |
| tree | 637efe507b1a178420ef363464a9aa63bdfb7da6 /src/cvc4.i | |
| parent | b47e13e905458f6fbd112d3d201684f2766be6ef (diff) | |
fix for clark's bug
imporant: theories SHOULD NOT use getSatValue at all, otherwise they might create a conflict with a literal they didn't get()
Diffstat (limited to 'src/cvc4.i')
0 files changed, 0 insertions, 0 deletions