Skip to content

Conversation

@boopathi
Copy link
Member

In one use variable replacement, if the right hand side contains
constant violations, the left-hand side is supposed to be preserved, so
we detect this and bail out for this case

@boopathi boopathi added the Tag: Bug Fix Pull Request fixes a bug label Dec 11, 2017
In one use variable replacement, if the right hand side contains
constant violations, the left-hand side is supposed to be preserved, so
we detect this and bail out for this case

+ Fix #685
@boopathi boopathi merged commit 7f4dc3d into master Dec 11, 2017
@boopathi boopathi deleted the dce-one-use-repl-0 branch December 11, 2017 21:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Tag: Bug Fix Pull Request fixes a bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants