C#: Increase fieldFlowBranchLimit in test

68014fd3bf means that more accessors are properly
extracted, and consequently the calls to `get_Item` in the test have more dispatch
targets. Increasing `fieldFlowBranchLimit` makes the test pass again.
This commit is contained in:
Tom Hvitved
2020-10-15 10:40:19 +02:00
parent 91806da2fa
commit 8728017328

View File

@@ -16,6 +16,8 @@ class Conf extends DataFlow::Configuration {
mc.getAnArgument() = sink.asExpr()
)
}
override int fieldFlowBranchLimit() { result = 10 }
}
from DataFlow::PathNode source, DataFlow::PathNode sink, Conf conf