35 Commits

Author	SHA1	Message	Date
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	48739da565	C#: Update expected test output.	2024-06-12 14:16:31 +02:00
Michael Nebel	5aee35256d	C#: Add member flow example.	2024-06-12 14:16:22 +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	213e3918df	C#: Add some more external flow testcases (one with a spurious result).	2024-06-03 10:40:02 +02:00
Michael Nebel	8b75bb2ba9	C#: The model generator should consider System.Type and System.DateTime as sanitizers.	2024-05-31 12:50:18 +02:00
Michael Nebel	02f9aec517	C#: Add some spurious summary generation examples.	2024-05-31 12:50:14 +02:00
Michael Nebel	ad55744877	C#: Add model generator test case for property.	2024-05-24 12:50:48 +02:00
Michael Nebel	057a420833	C#: Update expected test output.	2024-05-24 12:50:48 +02:00
Michael Nebel	0d397cea9f	C#: Add some model generator tests related to lifting.	2024-05-24 12:50:48 +02:00
Michael Nebel	e198d0105f	C#: Re-factor the model generator tests.	2024-05-17 09:44:58 +02:00
Michael Nebel	adeff8c602	C#: Convert neutral capture test to inline expectation.	2024-05-17 09:44:58 +02:00
Michael Nebel	e3b6ee1aaf	C#: Convert type based summary 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	26f9297d62	C#: Convert source capture test to inline expectation.	2024-05-17 09:44:58 +02:00
Michael Nebel	404b39b6e6	C#: Convert summary capture test to inline expectation.	2024-05-17 09:44:57 +02:00
Michael Nebel	312b96aa8b	C#: Update expected test output.	2024-04-12 11:31:57 +02:00
Michael Nebel	32595b92a2	C#: Add some property test cases.	2024-04-12 11:31:57 +02:00
Michael Nebel	c7045fbb99	C#: Add some test cases for excluding methods for model generation.	2024-01-12 13:35:23 +01:00
Michael Nebel	8702293878	C#: Update expected test output for type based model generator.	2024-01-12 13:35:23 +01:00
Michael Nebel	cdf6b28e13	C#: Base the modelgenerator/dataflow tests on stubs.	2023-12-13 10:07:56 +01:00
Tom Hvitved	6f4311d656	C#: Include type parameters when printing MaD rows with generics	2023-11-09 08:34:06 +01:00
Jami Cogswell	588a62c3a4	C#: update CaptureSinkModels test case	2023-05-16 14:07:20 -04:00
Michael Nebel	87731b2341	C#: Update expected test output for the model generator test.	2023-05-08 16:18:59 +02:00
Michael Nebel	24c525935f	C#: Update model generator expected output.	2023-04-13 09:21:06 +02:00
Michael Nebel	787b4743ee	C#/Java: Rename the directories containing the model generator and tests.	2023-01-11 13:13:33 +01:00