Code

check_unique refactor#667

Code

Open

kkysen wants to merge 2 commits intopfb/unique-checkingimmunant/c2rust:pfb/unique-checkingfrom kkysen/pfb/unique-checking/check-unique-refactorimmunant/c2rust:kkysen/pfb/unique-checking/check-unique-refactorCopy head branch name to clipboard

+34-126

Commits

Commits on Sep 16, 2022

• Added check_unique, which checks the uniqueness for NodeIds much more succinctly without nearly as much repetition.

  kkysen

  committed
  0932c74

• Added better error message to the assert!ions in check_unique that show the NodeId and Graphs.

  kkysen

  committed
  7510aec