16 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	6f79480b40	C#: Add example of missing sink generation.	2024-08-14 09:50:13 +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	f7ce4f39ea	C#: Update expected source/sink model generator expected test output.	2024-06-27 10:42:37 +02:00
Michael Nebel	3180d8f752	C#: Add some source/sink examples where lifting is applied.	2024-06-27 10:27:50 +02:00
Michael Nebel	854674a71c	C#: Update expected test output.	2024-06-24 13:07:30 +02:00
Michael Nebel	2657e7f56d	C#: Add some source and sink modelling examples where a neutral exist.	2024-06-24 13:05:35 +02:00
Michael Nebel	dfaa40a1d2	C#: Update expected test output from model generation.	2024-06-18 13:05:17 +02:00
Michael Nebel	031e44b157	C#: Add some source/sink model generator test examples.	2024-06-18 13:05:07 +02:00
Michael Nebel	48739da565	C#: Update expected test output.	2024-06-12 14:16:31 +02:00
Michael Nebel	4b62cb64ed	C#: Update expected test output.	2024-06-12 14:16:17 +02:00
Michael Nebel	0bbf131fdb	C#: Add some compound sink examples.	2024-06-12 14:16:12 +02:00
Michael Nebel	adeff8c602	C#: Convert neutral capture test to inline expectation.	2024-05-17 09:44:58 +02:00
Michael Nebel	a5fd433c20	C#: Convert sink capture test to inline expectation.	2024-05-17 09:44:58 +02:00
Michael Nebel	787b4743ee	C#/Java: Rename the directories containing the model generator and tests.	2023-01-11 13:13:33 +01:00