carbon
carbon copied to clipboard
injectivity test moved to checkDefinednessImpl
Pull request :twisted_rightwards_arrows: created by bitbucket user nadmuell on 2016-07-12 11:31 Last updated on 2020-01-31 20:39 Original Bitbucket pull request id: 23
Participants:
- @alexanderjsummers (reviewer)
Source: https://github.com/viperproject/carbon/commit/5c159a132479459c3f5fda179f5355f2323bc52d on branch
nadmuell/carbon_bug_fix/defaultDestination: https://github.com/viperproject/carbon/commit/8c382e547ce880281307df2cdffe0465901acf09 on branchmasterState:
OPEN
assert injectivity for inhale && exhlae