0000391: trace conditions lost in .opt files

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

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

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

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.

Attached Files

require_lt.m (398 bytes) 2015-08-14 16:56

Relationships

Relationships

Notes

~0000849

zs (developer)

2015-09-18 17:33

Fix was committed 14 aug 2015.

Notes

Date Modified	Username	Field	Change
Issue History
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

Issue History