Python: Run tests for fieldflow/test.py

Author: RasmusWL

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

@@ -1,3 +1,9 @@
+import sys
+import os
+
+sys.path.append(os.path.dirname(os.path.dirname((__file__))))
+from testlib import *
+
 # These are defined so that we can evaluate the test code.
 NONSOURCE = "not a source"
 SOURCE = "source"
@@ -37,12 +43,13 @@ def __init__(self):
     def getObj(self):
         return self.obj
 
+# Actual tests
 
 def setFoo(obj, x):
     SINK_F(obj.foo)
     obj.foo = x
 
-
+@expects(2)
 def test_example1():
     myobj = MyObj("OK")
 

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

@@ -57,6 +57,7 @@ def check_tests_valid(testFile):
     check_tests_valid("variable-capture.nonlocal")
     check_tests_valid("variable-capture.dict")
     check_tests_valid("module-initialization.multiphase")
+    check_tests_valid("fieldflow.test")
 
     # The below will fail unless we use Python 3.10 or newer.
     # check_tests_valid("match.test")