Skip to content

Conversation

@zimmski
Copy link
Collaborator

@zimmski zimmski commented Oct 29, 2016

This is the rebased version of #32 with an additional test case of #31.

Closes #31, closes #32

shatrugna and others added 2 commits October 29, 2016 11:47
Added UT to reflect an example use case that should not have been
failing.
@coveralls
Copy link

Coverage Status

Coverage remained the same at 97.797% when pulling 6fd41a6 on 32-fixed-bug-in-overlap-elimination into 1d28411 on master.

@zimmski zimmski changed the title Fxed bug in overlap elimination Fixed bug in overlap elimination Oct 29, 2016
@zimmski zimmski merged commit 17df971 into master Oct 29, 2016
@zimmski zimmski deleted the 32-fixed-bug-in-overlap-elimination branch October 29, 2016 10:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Panic in PatchMake

4 participants