Opened 16 years ago
Closed 16 years ago
#194 closed defect (fixed)
nestedLoops: inconclusive result in v1.0
| Reported by: | Stephen Siegel | Owned by: | ywei |
|---|---|---|---|
| Priority: | major | Milestone: | Release 1.0 |
| Component: | examples | Version: | 1.0 |
| Keywords: | Cc: |
Description
Can you take a look at the nestedLoops example and see if you can figure out why TASS v1.0 is unable to prove equivalence. I am wondering if it is because the query that ultimately gets passed to CVC3 is in a form that is too mangled. (If that's the problem, it could easily be fixed.) If you run in verbose or debug mode and compare with v0.9 you can probably figure out the source of the problem.
Change History (3)
comment:1 by , 16 years ago
| Status: | new → accepted |
|---|
comment:2 by , 16 years ago
comment:3 by , 16 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Fixed. There were so many bugs it would be difficult to list them all.
More remain.
Note:
See TracTickets
for help on using tickets.
The query in v0.9 is longer than its counterpart in v1.0, but contains simpler terms. I am not sure if this is the reason to cause v1.0 query to fail. But I have a feeling that it may not be the case.