| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000366 | mercury | Bug | public | 2014-10-27 16:15 | 2015-02-20 15:20 | ||||
| Reporter | wangp | ||||||||
| Assigned To | wangp | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | resolved | Resolution | fixed | ||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000366: enable inst_matches_final_bug and ho_default_func_4 | ||||||||
| Description | The aforementioned test cases can now be enabled after the hack in inst_matches_final was removed. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||


