Michael Nebel e8d726606b C#/Java: Add descriptive comment on negative summaries in ExternalFlow.

2022-08-29 14:29:32 +02:00

..

consistency-queries

rename all occurrences of XML to Xml

2022-08-22 14:08:31 +02: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

Make *.ql non-executable

2022-08-24 16:55:11 +01:00

lib

C#/Java: Add descriptive comment on negative summaries in ExternalFlow.

2022-08-29 14:29:32 +02:00

src

Java: Exclude static initializers from model generation.

2022-08-29 14:29:32 +02:00

test

Java: Add negative model CSV validation test.

2022-08-29 14:29:32 +02:00