Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ensure that exception types between the source and target methods match #44

Closed
khatchad opened this issue Jan 6, 2016 · 0 comments
Closed

Ensure that exception types between the source and target methods match #44

khatchad opened this issue Jan 6, 2016 · 0 comments
Assignees
@khatchad
Labels
bug
Milestone
Preconditions

Comments

@khatchad
Copy link
Member

khatchad commented Jan 6, 2016

Workaround for #43.
@khatchad khatchad self-assigned this Jan 6, 2016
@khatchad khatchad added this to the Preconditions milestone Jan 6, 2016
@khatchad khatchad added the bug label Jan 6, 2016
khatchad pushed a commit that referenced this issue Jan 6, 2016
Fixed spelling error for #44.
220a624
khatchad pushed a commit that referenced this issue Jan 6, 2016
Fixed bug with #44.
1d7acd8 
Source methods with no targets should vacuously pass the thrown
exceptions precondition.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@khatchad khatchad

Labels
bug
Projects
None yet
Milestone
Preconditions
Development

No branches or pull requests
1 participant
@khatchad