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 |
|