Skip to content

add scoped vector unit test #7307

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 4 commits into from
Jul 29, 2024
Merged

add scoped vector unit test #7307

merged 4 commits into from
Jul 29, 2024

Conversation

@ChuyueSun
Copy link
Contributor

@ChuyueSun ChuyueSun commented Jul 23, 2024 •
edited
Loading

  • fix dlist unit tests. Now can build and run under debug
  • add scoped vector unit test file
  • add scoped vector new program invariants (see comments for doc)
@NikolajBjorner NikolajBjorner merged commit 2ae3d87 into Z3Prover:master Jul 29, 2024
NikolajBjorner added a commit that referenced this pull request Jul 30, 2024
@NikolajBjorner
Revert "add scoped vector unit test (#7307)"
187c2c6 
This reverts commit 2ae3d87.
@NikolajBjorner NikolajBjorner mentioned this pull request Jul 30, 2024
Merged
NikolajBjorner added a commit that referenced this pull request Jul 30, 2024
@NikolajBjorner
Revert "add scoped vector unit test (#7307)" (#7317)
5fcc50f 
This reverts commit 2ae3d87.
arbipher pushed a commit to arbipher/z3 that referenced this pull request Apr 17, 2025
@ChuyueSun @arbipher
add scoped vector unit test (Z3Prover#7307)
28699ff 
* add scoped vector unit test

* fix dlist tests

* add new scoped vector invariants
arbipher pushed a commit to arbipher/z3 that referenced this pull request Apr 17, 2025
@NikolajBjorner @arbipher
Revert "add scoped vector unit test (Z3Prover#7307)" (Z3Prover#7317)
5d2c4c2 
This reverts commit 2ae3d87.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants

@ChuyueSun @NikolajBjorner