9 Commits

Author	SHA1	Message	Date
Geoffrey White	7664fd16e7	C++: Add more test cases for guards.	2025-01-24 17:51:45 +00:00
Mathias Vorreiter Pedersen	eadccf27ef	C++: Add test cases with missing inferred equalities.	2025-01-17 13:01:03 +00:00
Mathias Vorreiter Pedersen	d5b31eb98c	C++: Add more tests.	2025-01-16 17:25:39 +00:00
Mathias Vorreiter Pedersen	54faba21ba	C++: Add more tests.	2025-01-16 16:44:29 +00:00
Mathias Vorreiter Pedersen	d76700497b	C++: Add testcases using the builtin expect operation.	2024-06-10 12:47:45 +01:00
Mathias Vorreiter Pedersen	0298755975	C++: Add a test.	2024-06-06 16:22:23 +01:00
Mathias Vorreiter Pedersen	bf61114284	C++: Add a test with pointer comparisons and float comparisons.	2024-04-26 16:17:45 +01:00
Mathias Vorreiter Pedersen	704f1fad46	C++: Add switches as testcases for guard conditions.	2024-03-15 17:02:32 +00:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00