6 Commits

Author	SHA1	Message	Date
Tom Hvitved	243b92b28c	C#: Avoid CIL instructions with multiple types	2021-12-06 14:42:41 +01:00
Tom Hvitved	60c0bcf8f7	C#: Include dup instructions in CIL ExprMissingType consistency test	2021-12-06 14:37:07 +01:00
Tom Hvitved	28607927ee	C#: Update CIL tests	2020-10-28 10:57:01 +01:00
Tom Hvitved	de4ed59f62	C#: Simplify toString() for CIL entities	2020-10-27 20:58:40 +01:00
Calum Grant	9715d8849a	C#: Disable a CIL consistency check that seems to be invalid.	2019-11-08 16:50:51 +00:00
Tom Hvitved	481bf77d5f	CIL: Speedup consistency tests ... - Make `InstructionViolation` abstract to avoid computing `getInstructionsUpTo()` for all instructions in the database. - Enable `consistency.ql`, which reports all consistency violations, and remove all other specialized tests.	2019-06-27 13:40:07 +02:00