Ticket #29 (new enhancement)
Opened 4 years ago
Check well-formedness of bound witnesses in letregion
| Reported by: | benl | Owned by: | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | Build System | Version: | |
| Keywords: | Cc: |
Description
The source to core translation shouldn't create malformed witnesses, but we should check them in core anyway.
Note: See
TracTickets for help on using
tickets.
