Opened 16 years ago
Closed 16 years ago
#113 closed defect (fixed)
different behavior when using simplify
| Reported by: | zirkel | Owned by: | ywei |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | multiple | Version: | |
| Keywords: | symbolic, simplify, array, input | Cc: |
Description
In the simpleArrayInputRead.mmp example, a variable b is assigned the value a[1][0], where int[2][1] a is an input array. Without -simplify, b gets the value X0[1][0]. Using -simplify, b gets the value X0[0,1]. The reversal of indices should not occur.
Change History (2)
comment:1 by , 16 years ago
| Owner: | set to |
|---|---|
| Status: | new → accepted |
comment:2 by , 16 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Note:
See TracTickets
for help on using tickets.
Bug fixed. The problem is in the CVC3TheoremProver.java.