Michael Nebel a412c955e7 Java: One implementation of the interface has no flow (which seems unsound and contradicting our assumptions on interface 'contracts') - this now yields a negative summary.

2022-08-24 09:58:54 +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

Kotlin: don't extract private setters of external classes

2022-07-01 15:44:17 +01:00

lib

C#/Java/Ruby/Swift: Address review comments.

2022-08-24 09:58:54 +02:00

src

C#/Java/Ruby/Swift: Address review comments.

2022-08-24 09:58:54 +02:00

test

Java: One implementation of the interface has no flow (which seems unsound and contradicting our assumptions on interface 'contracts') - this now yields a negative summary.

2022-08-24 09:58:54 +02:00