10 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	e942ec9964	C++: Fix annotations after #19311.	2025-04-28 10:39:11 +01:00
Mathias Vorreiter Pedersen	6466a5dbaf	Merge branch 'main' into add-missing-predicate-to-mad-generation	2025-04-28 10:33:24 +01:00
Michael Nebel	a589014243	C++: Update model generator tests.	2025-04-25 15:50:10 +02:00
Mathias Vorreiter Pedersen	79c03100f8	C++: Accept test changes.	2025-04-25 12:29:38 +01:00
Mathias Vorreiter Pedersen	63b0dd68c9	C++: Add a test with missing summaries.	2025-04-25 12:18:42 +01:00
Mathias Vorreiter Pedersen	9e9a580d02	C++: Add MaD generation test with union content.	2025-04-23 11:11:17 +01:00
Mathias Vorreiter Pedersen	3fd760c632	C++: Move 'InlineMadTest.qll' out of 'lib/utils/test' and into 'test' since C++ has no external packs depending on MaD testing.	2025-04-20 16:49:02 +01:00
Mathias Vorreiter Pedersen	6fcf56e6e1	C++: Add more tests.	2025-04-20 16:49:00 +01:00
Mathias Vorreiter Pedersen	1465058da0	C++: Add copy-pasted files from C#.	2025-04-20 16:48:47 +01:00
Mathias Vorreiter Pedersen	f241e4b537	C++: Add tests that will soon succeed.	2025-04-20 16:48:43 +01:00