2 Commits

Author	SHA1	Message	Date
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
Michael Nebel	120fb25702	Java: Sync files and model generator and tests.	2022-08-24 09:58:52 +02:00