Change History (3)
comment:1 by , 16 years ago
| Status: | new → accepted |
|---|
comment:2 by , 16 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
comment:3 by , 16 years ago
The problem is that when I tried to fix the sum test, I disabled the use of the expression map to store the already created cvc3 expression. But that caused problems, so now I store selective cvc3 expressions in the expression map. To be specifically, I store variables and literal values in the expression map because I don't think they will be affected by the context.
Note:
See TracTickets
for help on using tickets.
Bug fixed, the test now passes.