Project

General

Profile

Bug #57

Missing reports

Added by Raphaƫl Lallement almost 5 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Target version:
-

Description

Some preconditions/effects miss their reports. For instance no report is created when the test SomeEntity.SomeAttribute < 5.

Need to be fixed to allow a proper constraint propagation (see Bug #54).

Also available in: Atom PDF