Code

add permutation unit tests#7300

Code

Merged

NikolajBjorner merged 5 commits intoZ3Prover:masterZ3Prover/z3:masterfrom ChuyueSun:permutation_testChuyueSun/z3:permutation_testCopy head branch name to clipboardAug 1, 2024

+88-69

Commits

Commits on Jul 19, 2024

• add permutation unit tests

  ChuyueSun

  committed
  7aaa660

Commits on Jul 22, 2024

• update test

  ChuyueSun

  committed
  ad8a084

Commits on Aug 1, 2024

• Merge branch 'master' into permutation_test

  ChuyueSun

  committed
  c9054c9

• update

  ChuyueSun

  committed
  fd04c0c

• Update permutation.cpp

  Show description for ad1a0ae
  NikolajBjorner

  authored
  ad1a0ae