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