11 Commits

Author	SHA1	Message	Date
Michael Nebel	12008b4b4e	C++: Update all test util paths to point to the new location.	2024-12-12 13:21:34 +01:00
Anders Schack-Mulligen	bf6cfd3bef	Rangeanalysis: Simplify api.	2023-11-13 10:35:44 +01:00
Anders Schack-Mulligen	7c3684dbb7	RangeAnalysis: Rename semExprModulus to exprModulus.	2023-11-02 08:19:23 +01:00
Anders Schack-Mulligen	400910e4d3	C++: Fix modulus analysis test.	2023-11-02 08:19:23 +01:00
Jeroen Ketema	2276890cec	C++: Rewrite inline expectation tests to use the parameterized module	2023-05-24 11:10:05 +02:00
Mathias Vorreiter Pedersen	d833850850	C++: another 'fix test after module rename'.	2023-04-17 17:48:22 +01:00
Mathias Vorreiter Pedersen	aa337c72c2	C++: Update import paths in tests and experimental queries.	2023-04-03 15:17:37 +01:00
Mathias Vorreiter Pedersen	61bafd358a	C++: Fix another place that assumed that 'Expr' was always 'Instruction'.	2023-03-23 13:27:24 +00:00
Robert Marsh	623e39031c	C++: fix ModulusAnalysis test	2023-03-14 16:46:09 -04:00
Robert Marsh	938176c9da	C++: update test QL for modulus and sign analysis ... These now instantiate their respective parameterized modules. No results change.	2023-01-12 16:38:56 -05:00
Dave Bartolomeo	f53a66b52a	Add working sign and modulus analysis	2022-03-15 05:16:23 -04:00