Python: Fearlessly adding another test

in the middle of the file.

Author: yoff

python/ql/test/experimental/dataflow/coverage/argumentPassing.py

@@ -112,7 +112,7 @@ def with_multiple_kw_args(a, b, c):
     SINK3(c)
 
 
-@expects(9)
+@expects(12)
 def test_multiple_kw_args():
     with_multiple_kw_args(b=arg2, c=arg3, a=arg1)  #$ arg1="arg1" arg2="arg2" arg3="arg3" func=with_multiple_kw_args
     with_multiple_kw_args(arg1, *(arg2,), arg3)  #$ arg1="arg1" func=with_multiple_kw_args MISSING: arg2="arg2" arg3="arg3"

python/ql/test/experimental/dataflow/coverage/test.py

@@ -325,9 +325,11 @@ class C:
     a = SOURCE
 
 
+@expects(2)
 def test_attribute_reference():
     SINK(C.a) #$ MISSING:flow="SOURCE, l:-4 -> C.a"
-
+    c = C()
+    SINK(c.a) #$ MISSING:flow="SOURCE, l:-6 -> c.a"
 
 # overriding __getattr__ should be tested by the class coverage tests