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)