5 Commits

Author	SHA1	Message	Date
Michael Nebel	76c12a5c69	C#: Convert tests for cs/dereferenced-value-may-be-null to use inline expectations.	2025-06-03 13:24:54 +02:00
Michael Nebel	46c02e7fa8	C#: Convert tests for cs/dereferenced-value-is-always-null to use inline expectations.	2025-06-03 13:24:52 +02:00
Tamas Vajk	03d1a3e0ad	Trim test files + remove duplicate newlines	2021-07-01 16:09:11 +02:00
Tom Hvitved	80144a00c8	C#: Update nullness analyses ... Port the SSA-based logic from the Java nullness analyses.	2018-11-30 17:41:31 +01:00
Tom Hvitved	d2a431e6f3	C#: Add more nullness tests ... Port many of the nullness test from Java, as well as add new tests.	2018-11-30 17:02:05 +01:00