Details
-
Type:
Defect
-
Status:
Resolved
-
Priority:
Minor
-
Resolution: Completed
-
Affects Version/s: None
-
Fix Version/s: None
-
Component/s: None
-
Labels:None
Description
Currently the all different goals will exhibit entailment issues since they have implementations of `IRelevant` that just return `true`.
Activity
David Nolen
made changes -
| Field | Original Value | New Value |
|---|---|---|
| Priority | Blocker [ 1 ] | Major [ 3 ] |
David Nolen
made changes -
| Priority | Major [ 3 ] | Minor [ 4 ] |
David Nolen
made changes -
| Resolution | Completed [ 1 ] | |
| Status | Open [ 1 ] | Resolved [ 5 ] |
FD constraints are always forced at the end so this is not a blocker.