python: remember to adjust annotation

This commit is contained in:
Rasmus Lerchedahl Petersen
2023-05-12 14:28:41 +02:00
parent 1b848bb510
commit 81adf5aad4

View File

@@ -214,7 +214,7 @@ def test_dict_items():
SINK(item_list[1][0]) #$ MISSING: flow="SOURCE, l:-5 -> item_list[1][0]"
SINK_F(item_list[1][1]) # expecting FP due to imprecise flow
@expects(2)
@expects(3)
def test_dict_pop():
d = {'k': SOURCE}
v = d.pop("k")