11 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	74b433ef59	C++: Add range analysis tests	2025-11-14 12:26:22 +01:00
Simon Friis Vindum	69e70d7cbc	Reapply "Merge pull request #20645 from paldepind/cpp/range-analysis-measure" ... This reverts commit e7c029ae7d.	2025-11-14 12:26:21 +01:00
Enrico Steffinlongo	e7c029ae7d	Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-measure" ... This reverts commit a0a6f288b5, reversing changes made to 32f21d6d49.	2025-11-07 16:49:47 +00:00
Simon Friis Vindum	99103a5741	C++: Add additional test for range analysis	2025-10-16 15:05:45 +02:00
Simon Friis Vindum	7eacd87343	C++: Apply widening based on number of bounds measure	2025-10-16 15:05:42 +02:00
Simon Friis Vindum	e9f2a8b017	C++: Extend nested ternary test with two more terms in the addition	2025-01-13 13:54:05 +01:00
Simon Friis Vindum	847f3f1fc2	C++: Add test for nested ternary expressions of literals	2025-01-13 12:08:50 +01:00
Anders Fugmann	c110508b4e	C++: Add tests to expose potential improvements available to SimpleRangeAnalysis	2021-09-02 21:20:33 +02:00
Jonas Jensen	911dec6f86	C++: SimpleRangeAnalysis (bool)x and !x support	2020-09-08 16:59:35 +02:00
Jonas Jensen	1b6da062cf	C++: RangeAnalysis tests for bool conversions	2020-09-08 16:58:35 +02:00
Robert Marsh	a06a20dbab	C++: move SimpleRangeAnalysis tests	2019-01-08 09:34:23 -08:00