Tom Hvitved 60fe370f2a Merge pull request #10744 from hvitved/dataflow/has-flow-to-no-fast-tc ...

Data flow: Avoid call to `pathSuccPlus` in `Configuration::hasFlowTo(Expr)`

2022-10-10 14:02:39 +02:00

..

consistency-queries

Avoid using count(...) = 0

2022-10-06 12:57:56 +01:00

examples

Use EqualityTest for either value or ref comparions, and ReferenceEqualityTest for strictly ref comparison.

2022-05-10 19:51:17 +01:00

integration-tests

Remove accidentally duplicated test

2022-10-06 16:00:56 +01:00

lib

Data flow: Sync files

2022-10-09 19:48:45 +02:00

src

Merge pull request #10718 from tamasvajk/kotlin-internal-repr

2022-10-10 13:58:55 +02:00

test

Merge pull request #10718 from tamasvajk/kotlin-internal-repr

2022-10-10 13:58:55 +02:00