15 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	f30dad7705	Dataflow: Update test expected outputs.	2021-09-07 13:02:20 +02:00
Tamas Vajk	b7f13a7e1f	C#: Change generic method names to include <> and type args/params	2021-09-06 11:48:22 +02:00
Tamas Vajk	5e2770339f	Add adjusted expected files	2021-07-01 16:09:11 +02:00
Tamas Vajk	03d1a3e0ad	Trim test files + remove duplicate newlines	2021-07-01 16:09:11 +02:00
Tamas Vajk	c29d11087b	C#: Start using 'options' files in tests	2021-07-01 16:08:47 +02:00
Tom Hvitved	c5c80204d5	C#: Rework flow summary implementation	2021-03-24 11:27:01 +01:00
Tom Hvitved	6d6150d051	C#: Change some data-flow toString()s	2021-03-23 16:42:58 +01:00
Tom Hvitved	d48a6a5555	C#: Update expected test output	2020-10-16 09:04:58 +02:00
Tom Hvitved	8728017328	C#: Increase fieldFlowBranchLimit in test ... 68014fd3bf means that more accessors are properly extracted, and consequently the calls to `get_Item` in the test have more dispatch targets. Increasing `fieldFlowBranchLimit` makes the test pass again.	2020-10-15 10:40:19 +02:00
Tom Hvitved	5d1a5920c7	C#: Reimplement flow-summary compilation	2020-10-14 14:15:34 +02:00
Tom Hvitved	795c5784b0	C#: Precise data flow for collections	2020-06-26 13:40:05 +02:00
Tom Hvitved	6efbd5f9d1	C#: Add data-flow test for List.Clear()	2020-06-26 11:44:08 +02:00
Tom Hvitved	3f91aa3b55	C#: More data-flow collection tests	2020-06-25 09:48:52 +02:00
Tom Hvitved	e186c9ddd1	C#: Update data-flow collection test method names	2020-04-20 09:29:51 +02:00
Tom Hvitved	161093bd57	C#: Rename arrays data-flow test to collections	2020-04-20 09:20:42 +02:00