8 Commits

Author	SHA1	Message	Date
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	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