kdrag.theories.fun.store_view

kdrag.theories.fun.store_view(a: ArrayRef) → tuple[ArrayRef, list[tuple[ExprRef, ExprRef]]]

Strips off the stores from an array and returns the base array and a list of (index, value) pairs.

>>> a = smt.Array('a', smt.IntSort(), smt.IntSort())
>>> b = MultiStore(a, 42, 1,2,3)
>>> store_view(b)
(a, [(42, 1), (43, 2), (44, 3)])