[LOGIC-92] nominal is missing a few constraints-related tweaks Created: 02/Jan/13 Updated: 28/Jul/13 Resolved: 02/Jan/13
|Reporter:||Nada Amin||Assignee:||David Nolen|
These tests fail. We get only the first result.
|Comment by Nada Amin [ 02/Jan/13 9:09 AM ]|
nominal-infd.diff contains fix and tests.
|Comment by David Nolen [ 02/Jan/13 9:17 AM ]|