Python: Add test

yoff · yoff · commit fe186bf85472 · 2020-11-06T13:30:11.000+01:00
diff --git a/python/ql/test/library-tests/PointsTo/new/code/w_function_values.py b/python/ql/test/library-tests/PointsTo/new/code/w_function_values.py
@@ -0,0 +1,32 @@
+def test_conditoinal_function(cond):
+    def foo():
+        return "foo"
+
+    def bar():
+        return "bar"
+
+    if cond:
+        f = foo
+    else:
+        f = bar
+
+    sink = f()
+    return sink
+
+
+f_false = test_conditoinal_function(False)
+f_true = test_conditoinal_function(True)
+
+
+def foo():
+    return "foo"
+
+
+def test_redefinition():
+    f = foo
+
+    def foo():
+        return "refined"
+
+    sink = f()
+    return sink
