10 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	fb9fc14f3d	C++: Accept test changes in paths.	2024-04-16 11:09:22 +01:00
Mathias Vorreiter Pedersen	6f08790065	C++: Accept test changes.	2024-04-13 01:00:48 +01:00
Anders Schack-Mulligen	7eb5e1833d	C++: Add empty provenance column to expected files.	2024-02-09 11:32:08 +01:00
Mathias Vorreiter Pedersen	16d62186c0	C++: Use this new predicate everywhere we need to convert an instruction to an expression.	2023-09-01 13:32:25 +01:00
Mathias Vorreiter Pedersen	562f052eb0	C++: Accept test changes.	2022-10-26 17:06:38 +02:00
erik-krogh	66c9705502	fix some more style-guide violations in the alert-messages	2022-10-07 11:19:46 +02:00
erik-krogh	33165f4f55	CPP: update expected output	2022-09-23 14:45:59 +02:00
Geoffrey White	9ad51fbc02	C++: Fix the correct test this time.	2021-09-15 11:03:09 +01:00
Geoffrey White	f2047ee4d0	C++: Actually fix expected files after layout changes.	2021-09-03 09:13:41 +01:00
Geoffrey White	75d367a6c5	C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.	2021-09-02 17:34:45 +01:00