30 Commits

Author	SHA1	Message	Date
Michael Nebel	37677142b9	C#: Update QL tests.	2024-03-07 09:40:33 +01:00
Michael Nebel	d7dc73e18b	C#: Remove the CIL related parts of the Disposal tests.	2024-03-07 09:40:32 +01:00
Tom Hvitved	b72f34591d	C#: Use {get,has}FullyQualifiedName throughout	2023-11-10 08:46:15 +01:00
Tom Hvitved	3c173df69e	C#: Update expected test output	2023-05-15 09:35:20 +02:00
Michael Nebel	59993ea347	C#: Update expected test output.	2023-05-11 11:12:24 +02:00
Mathias Vorreiter Pedersen	177dd76da6	C#: Accept consistency changes.	2023-05-03 20:30:06 +01:00
Michael Nebel	27efb0d843	C#: Rename -> for .	2022-12-06 13:53:50 +01:00
Michael Nebel	29ccac8e93	C#: Address review comments.	2022-12-06 12:05:48 +01:00
Michael Nebel	6b35098fb7	C#: Replace more uses of getQualifiedName/0.	2022-12-06 11:59:13 +01:00
Michael Nebel	38e906f854	C#: Use hasQualifiedName instead of getQualifiedName.	2022-12-06 11:59:13 +01:00
Erik Krogh Kristensen	ff73dbc35c	delete redundant imports	2022-04-22 12:55:28 +02:00
Michael Nebel	6487b546dc	C#: Update TargetFramework testcases expected files as well, as these also uses the string representation of the attributes.	2022-02-04 13:05:08 +01: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
Tamas Vajk	6205ec233c	Fix more failing tests	2021-03-02 09:21:24 +01:00
Tom Hvitved	51f71d4e1d	C#: Fix CFG for assertions with multiple assertion arguments	2020-10-29 15:44:13 +01:00
Tamas Vajk	52bdd8bf99	C#: Add support for custom assert methods ([DoesNotReturnIf(true/false)])	2020-10-16 12:25:03 +02:00
Tom Hvitved	b7484e63ee	C#: Recognize Code Contract assertions	2019-12-11 16:54:42 +01:00
Tom Hvitved	5429448eeb	C#: Add tests for Code Contracts	2019-12-11 16:51:42 +01:00
Calum Grant	b65ab15d46	C#: Delete unused file.	2019-11-13 12:16:05 +00:00
Calum Grant	e12a33d4e0	C#: Disposal tests do not depend on external DLLs.	2019-11-08 16:22:47 +00:00
Tom Hvitved	40fafc5fda	C#: Teach comparison library about dynamic comparison operations	2019-09-20 09:51:35 +02:00
Tom Hvitved	c923cc6378	C#: Add tests for dynamic comparisons	2019-09-20 09:19:03 +02:00
Tom Hvitved	a1d7382a67	C#: Update expected test output	2019-06-17 20:07:54 +02:00
Tom Hvitved	231465143d	C#: Autoformat QL tests	2018-12-20 10:19:59 +01:00
Tom Hvitved	665173692c	C#: Fix whitespaces	2018-10-30 13:15:46 +01:00
Tom Hvitved	b233961a9a	C#: Add assertion tests	2018-10-19 14:05:30 +02:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00