27 Commits

Author	SHA1	Message	Date
Michael Nebel	e9c9519d90	C#: Address review comments.	2024-11-06 16:29:20 +01:00
Michael Nebel	55cfbccd43	C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.	2024-11-06 16:29:19 +01:00
Michael Nebel	395cababb3	C#: Add some model generator examples for higher order methods.	2024-11-06 16:29:14 +01:00
Michael Nebel	5d4ceeebb5	Shared: Only generate df summary model in the mixed query in case no context sensitive model exist.	2024-10-09 13:04:32 +02:00
Michael Nebel	0b39c5b982	C#/Java: Update model generator expected output.	2024-09-27 09:22:29 +02:00
Michael Nebel	3d1a403655	C#: Add example of content based summary on private method.	2024-09-27 09:22:20 +02:00
Michael Nebel	9a923d62ad	C#/Java: Updated expected test output.	2024-09-26 13:00:52 +02:00
Michael Nebel	0cd4ccb790	C#/Java: Update model generator expected test output.	2024-09-26 12:49:18 +02:00
Michael Nebel	aae8660acc	C#/Java: Add some examples of missing synthetic field element flow.	2024-09-26 12:00:29 +02:00
Michael Nebel	58513cadbf	C#/Java: Add model generator test examples.	2024-09-26 12:00:25 +02:00
Michael Nebel	0abc08c773	C#: Add some synthetic field content based examples.	2024-09-10 15:24:00 +02:00
Michael Nebel	b94940b6d9	C#: Adjust existing model generator tests and update expected output.	2024-09-10 15:23:57 +02:00
Michael Nebel	6e8941ea9d	C#: Add a couple more testcases.	2024-09-03 12:58:09 +02:00
Michael Nebel	4123876343	C#: Add content based summary generation test.	2024-09-03 12:58:06 +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	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	404b39b6e6	C#: Convert summary capture test to inline expectation.	2024-05-17 09:44:57 +02:00
Michael Nebel	32595b92a2	C#: Add some property test cases.	2024-04-12 11:31:57 +02:00
Michael Nebel	787b4743ee	C#/Java: Rename the directories containing the model generator and tests.	2023-01-11 13:13:33 +01:00