Revert "add scoped vector unit test"#7317

Merged

NikolajBjorner merged 1 commit intomasterfrom

revert-7307-scoped_vector

Jul 30, 2024

Commits on Jul 30, 2024

Revert "add scoped vector unit test (#7307)"
NikolajBjorner
authored