Python: Add explorative test

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

@@ -0,0 +1,13 @@
+/**
+ * @kind path-problem
+ */
+
+import experimental.dataflow.testConfig
+import DataFlow::PartialPathGraph
+
+from TestConfiguration config, DataFlow::PartialPathNode source, DataFlow::PartialPathNode sink
+where
+  config.hasPartialFlow(source, sink, _) and
+  source.hasLocationInfo(_, 45, _, _, _) and
+  config.isSink(sink.getNode())
+select sink.getNode(), source, sink, "<message>"

python/ql/test/experimental/dataflow/testConfig.qll

@@ -43,4 +43,6 @@ class TestConfiguration extends DataFlow::Configuration {
       node.(DataFlow::CfgNode).getNode() = call.getAnArg()
     )
   }
+
+  override int explorationLimit() { result = 4 }
 }