Code

add scoped vector unit test#7307

Code

Merged

NikolajBjorner merged 4 commits intoZ3Prover:masterZ3Prover/z3:masterfrom

ChuyueSun:scoped_vectorChuyueSun/z3:scoped_vectorCopy head branch name to clipboard

Jul 29, 2024

Commits

Commits on Jul 23, 2024

• add scoped vector unit test

  ChuyueSun

  committed
  81c8dfb

  Copy full SHA for 81c8dfb

• fix dlist tests

  ChuyueSun

  committed
  e34f561

  Copy full SHA for e34f561

• Merge branch 'master' into scoped_vector

  ChuyueSun

  authored
  2e39c09

  Copy full SHA for 2e39c09

• add new scoped vector invariants

  ChuyueSun

  committed
  9a1d5a7

  Copy full SHA for 9a1d5a7