18 Commits

Author	SHA1	Message	Date
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