15 Commits

Author	SHA1	Message	Date
Michael Nebel	eaf4f5eeab	C#/Java: Update model generation expected output.	2024-08-14 09:57:49 +02:00
Michael Nebel	046018fa25	Java: Add example of missing sink generation.	2024-08-14 09:50:34 +02:00
Michael Nebel	2796597d1a	Code quality improvements.	2024-07-19 09:36:17 +02:00
Michael Nebel	0bf1ed1d96	C#/Java: Update model generator expected output.	2024-07-18 16:35:40 +02:00
Michael Nebel	c9832df3c0	C#/Java: Add test for missing neutral summary generation.	2024-07-18 16:29:34 +02:00
Michael Nebel	9cb7018215	Java: Update the model generator expected test output.	2024-06-27 11:35:07 +02:00
Michael Nebel	22e9ae2793	Java: Add some source/sink examples where lifting is applied.	2024-06-27 11:15:06 +02:00
Michael Nebel	24685a07c0	Java: Update model generator test expected output.	2024-06-24 13:07:42 +02:00
Michael Nebel	30249e4f2b	Java: Add some spurious source and sink examples.	2024-06-24 13:07:34 +02:00
Michael Nebel	aa962f9b03	Java: Update expected output of model generation.	2024-06-19 14:10:59 +02:00
Michael Nebel	1185e28ea2	Java: Add some spurious source and sink model generation examples.	2024-06-19 14:10:56 +02:00
Michael Nebel	7f7c5d7c94	Java: Update model generator expected test output.	2024-06-13 10:57:15 +02:00
Michael Nebel	e56c185f32	Java: Add some model generator sink examples.	2024-06-13 10:49:57 +02:00
Michael Nebel	a8549d2e23	Java: Convert remaining tests to inline flow tests.	2024-05-06 15:54:01 +02:00
Michael Nebel	787b4743ee	C#/Java: Rename the directories containing the model generator and tests.	2023-01-11 13:13:33 +01:00