blob: 434ef2ebb61ca045caffe6b9b57c007885ff5af3 [file]
Testing invalidation due to overwrite:
x + y = 1 (original)
x - y = -1 (original)
x + y = 1 (original)
x - y = -1 (original)
x + y = 1 (original)
x - y = -1 (overwritten)
x + y = 1 (overwritten)
x - y = -1 (overwritten)
x + y = 1 (original)
x - y = -1 (original)
x + y = 1 (original)
x - y = -1 (original)
x + y = 1 (original)
x - y = -1 (overwritten)
Testing invalidation due to delete:
x + y = 1 (from proto1)
x - y = -1 (from proto1)
x + y = 1 (from proto1)
x - y = -1 (from proto1)
x + y = 1 (from proto1)
x - y = -1 (from proto2)
x + y = 1 (from proto2)
x - y = -1 (from proto2)
Testing invalidation due to shadowing:
x + y = 1 (from proto2)
x - y = -1 (from proto2)
x + y = 1 (from proto2)
x - y = -1 (from proto2)
x + y = 1 (from proto2)
x - y = -1 (from proto1)
x + y = 1 (from proto1)
x - y = -1 (from proto1)