10 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	3efe60fdd2	C++: Accept test changes.	2021-10-28 12:35:01 +01:00
Cornelius Riemenschneider	b632ca40b4	C++: Port dataflow/taint-tests to inline expectations test.	2020-11-30 17:32:54 +01:00
Dave Bartolomeo	40cd96eb1d	Merge from main	2020-10-17 15:14:26 -04:00
Dave Bartolomeo	14ac9859c1	Remove more ODR violations from test code. ... PrintAST now works on `library-tests/dataflow/taint-tests`.	2020-10-16 10:26:42 -04:00
Geoffrey White	4363f08b45	C++: Model std::set::emplace and emplace_hint.	2020-10-12 11:01:09 +01:00
Geoffrey White	5d87117dc7	C++: Model std::set::lower_bound, upper_bound, equal_range.	2020-10-12 10:10:40 +01:00
Geoffrey White	fc19bba0bd	C++: Model std::set::merge and correct test annotations.	2020-10-12 10:01:57 +01:00
Geoffrey White	cafd320953	C++: Add set/map constructor models.	2020-09-30 17:41:06 +01:00
Geoffrey White	6520f9d0fb	C++: Add basic std::set models.	2020-09-30 17:23:56 +01:00
Geoffrey White	5bc7d3a9b2	C++: Add tests for std::set and std::unordered_set.	2020-09-30 17:23:56 +01:00