Michael Nebel 61151d8980 Java: Update workflows and scripts usages to only generate summaries and sinks.

2022-05-30 13:53:44 +02:00

..

consistency-queries

Autoformat

2022-05-19 15:18:10 +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

lib

Java: Generate models without sources.

2022-05-30 13:40:14 +02:00

src

Java: Update workflows and scripts usages to only generate summaries and sinks.

2022-05-30 13:53:44 +02:00

test

Merge pull request #9213 from smowton/smowton/fix/inherited-single-abstract-method

2022-05-24 18:22:55 +01:00