Opened 17 years ago
Closed 16 years ago
#87 closed task (fixed)
send report of API problems to cvc3
| Reported by: | Stephen Siegel | Owned by: | ywei |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | Administration | Version: | |
| Keywords: | cvc3, bug, JNI, interface, array | Cc: |
Description
Write up a report on any problems with the JNI (Java) interface for CVC3, such as missing methods for determining whether an expression is an array-read or array-write expression. Send this report to cvc-bugs@….
Change History (2)
comment:1 by , 17 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.
Email sent. But I got a reply saying that the email address is not for reporting CVC3 bugs. I will send another email to the correct address.