def test_storage_change_item():
# Arrange
storage = Storage()
storage._storage = {1: 12}
# Act
storage[1] = 14
# Assert
assert storage[1] == 14
def test_concrete_storage_uninitialized_index(initial_storage, key):
# Arrange
storage = Storage(concrete=True)
storage._storage = initial_storage
# Act
value = storage[key]
# Assert
assert value == 0
def test_symbolic_storage_uninitialized_index(initial_storage, key):
# Arrange
storage = Storage(concrete=False)
storage._storage = initial_storage
# Act
value = storage[key]
# Assert
assert isinstance(value, ExprRef)
def test_storage_change_item():
# Arrange
storage = Storage()
storage[BVV(1, 256)] = BVV(12, 256)
# Act
storage[BVV(1, 256)] = BVV(14, 256)
# Assert
assert storage[BVV(1, 256)] == BVV(14, 256)
def test_storage_set_item():
# Arrange
storage = Storage()
# Act
storage[BVV(1, 256)] = BVV(13, 256)
# Assert
assert storage[BVV(1, 256)] == BVV(13, 256)
def test_storage_set_item():
# Arrange
storage = Storage()
# Act
storage[1] = 13
# Assert
assert storage[1] == 13
def test_symbolic_storage_uninitialized_index(initial_storage, key):
# Arrange
storage = Storage(concrete=False)
for k, val in initial_storage.items():
storage[BVV(k, 256)] = BVV(val, 256)
# Act
value = storage[BVV(key, 256)]
# Assert
assert isinstance(value, Expression)
def test_concrete_storage_uninitialized_index(initial_storage, key):
# Arrange
storage = Storage(concrete=True)
for k, val in initial_storage.items():
storage[BVV(k, 256)] = BVV(val, 256)
# Act
value = storage[BVV(key, 256)]
# Assert
assert value == 0