kdrag.theories.fun.MultiStore

kdrag.theories.fun.MultiStore(a: ArrayRef, addr: ExprRef, *vs: ExprRef) → ArrayRef

>>> a = smt.Array('a', smt.IntSort(), smt.IntSort())
>>> MultiStore(a, 42, 1,2,3)
Store(Store(Store(a, 42, 1), 43, 2), 44, 3)

Parameters:

• a (ArrayRef)

• addr (ExprRef)

• vs (ExprRef)

Return type:

ArrayRef