Files
Taus 09a11f4166 Python: Update ImpliesDataflow test
Turns out that now we can resolve the convoluted imports. Hurray!
2021-11-26 14:47:25 +00:00
..
2020-03-30 11:59:10 +02:00
2020-03-30 11:59:10 +02:00
2020-07-07 17:01:17 +02:00
2020-03-30 11:59:10 +02:00

Dataflow, points-to, call-graph and type-inference tests.

Since dataflow, points-to, call-graph and type-inference are all interlinked it makes sense to test them together.

The test code.

The test code is all under the code/ subdirectory and all test files are named \w_name, supporting files do have an underscore as their second character. This allows tests to be applied to a subset of the test data and test/data combinations to be turned on/off easily for debugging.

Be aware that here are two __init__.py, so the results are interleaved.