13 Commits

Author	SHA1	Message	Date
Rasmus Wriedt Larsen	ebafe65ac2	C#: Fixup test expectations from using stdin	2024-08-15 15:45:20 +02:00
Michael Nebel	e05f835683	C#: Update model generator expected output.	2024-07-02 07:52:30 +01:00
Michael Nebel	70494d339d	C#: Re-write some of the existing source model generation tests and introduce a new one for ToString.	2024-07-02 07:52:22 +01: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	99907471b2	C#: Update model generator expected output.	2024-06-19 14:10:52 +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	adeff8c602	C#: Convert neutral capture test to inline expectation.	2024-05-17 09:44:58 +02:00
Michael Nebel	26f9297d62	C#: Convert source 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