Mercury Bugs - mercury | |||||
| View Issue Details | |||||
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000391 | mercury | Bug | public | 2015-08-14 16:56 | 2015-09-18 17:33 |
| Reporter | wangp | ||||
|---|---|---|---|---|---|
| Assigned To | zs | ||||
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | resolved | Resolution | fixed | ||
| Platform | OS | OS Version | |||
| Product Version | |||||
| Target Version | Fixed in Version | ||||
| Summary | 0000391: trace conditions lost in .opt files | ||||
| Description | Conditions on trace goals are not written out to .opt files, thus trace goals may be executed when their conditions are not met. The .opt file for the attached module includes: require_lt.require_lt(A_3, B_4) :- ( % trace % compiletime(flag(checks)) % quantified vars require_lt.require_lt0(A_3, B_4) ). | ||||
| Tags | No tags attached. | ||||
| Relationships | |||||
| Attached Files |  require_lt.m (398) 2015-08-14 16:56https://bugs.mercurylang.org/file_download.php?file_id=248&type=bug | ||||
| Notes | |||||
|
|
|||||
|
|
||||
| Issue History | |||||
| Date Modified | Username | Field | Change | ||
|---|---|---|---|---|---|
| 2015-08-14 16:56 | wangp | New Issue | |||
| 2015-08-14 16:56 | wangp | File Added: require_lt.m | |||
| 2015-08-14 17:53 | zs | Assigned To | => zs | ||
| 2015-08-14 17:53 | zs | Status | new => assigned | ||
| 2015-09-18 17:33 | zs | Note Added: 0000849 | |||
| 2015-09-18 17:33 | zs | Status | assigned => resolved | ||
| 2015-09-18 17:33 | zs | Resolution | open => fixed | ||