Code

Silver issue 522#392

Code

Merged

tdardinier merged 5 commits intomasterviperproject/carbon:masterfrom silver-issue-522viperproject/carbon:silver-issue-522Copy head branch name to clipboardJul 16, 2021

+152-57

Commits

Commits on Jul 8, 2021

• First version with negative permission treated as not well-defined

  tdardinier

  committed
  f8be999

Commits on Jul 12, 2021

• Inhaling negative permission results in failure, inhaling QPs without injectivity also

  tdardinier

  committed
  1189674

Commits on Jul 14, 2021

• Back to normal test

  tdardinier

  committed
  e803e8c

Commits on Jul 15, 2021

• Moved --checkInjectivity flag from Carbon to Silver

  tdardinier

  committed
  4f42371

Commits on Jul 16, 2021

• Merge branch 'master' into silver-issue-522

  tdardinier

  authored
  3fd0bac