File tree Expand file tree Collapse file tree
python/ql/test/experimental/dataflow Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ import sys
2+ import os
3+
4+ sys .path .append (os .path .dirname (os .path .dirname ((__file__ ))))
5+ from testlib import *
6+
17# These are defined so that we can evaluate the test code.
28NONSOURCE = "not a source"
39SOURCE = "source"
@@ -37,12 +43,13 @@ def __init__(self):
3743 def getObj (self ):
3844 return self .obj
3945
46+ # Actual tests
4047
4148def setFoo (obj , x ):
4249 SINK_F (obj .foo )
4350 obj .foo = x
4451
45-
52+ @ expects ( 2 )
4653def test_example1 ():
4754 myobj = MyObj ("OK" )
4855
Original file line number Diff line number Diff line change @@ -57,6 +57,7 @@ def check_tests_valid(testFile):
5757 check_tests_valid ("variable-capture.nonlocal" )
5858 check_tests_valid ("variable-capture.dict" )
5959 check_tests_valid ("module-initialization.multiphase" )
60+ check_tests_valid ("fieldflow.test" )
6061
6162 # The below will fail unless we use Python 3.10 or newer.
6263 # check_tests_valid("match.test")
You can’t perform that action at this time.
0 commit comments