13 Commits

Author	SHA1	Message	Date
Asger F	c958702830	JS: Accept some unproblematic consistency warnings	2025-02-17 20:30:07 +01:00
Asger F	33e8bd5032	JS: Update testUtilities import	2024-12-19 15:25:39 +01:00
Asger F	0ce1fe767d	JS: Deprecate ConsistencyChecking to avoid deprecation warnings	2024-12-03 14:30:23 +01:00
Asger F	6349903110	JS: Move FlowSummary/Summaries.qll into testUtilities	2024-11-29 14:23:52 +01:00
Asger F	805fd0b46e	JS: Refine speculative step definition	2024-11-26 15:56:56 +01:00
Asger F	8818fcc207	JS: Benign test output changes	2024-11-26 15:47:13 +01:00
Asger F	4473e6d977	JS: Update test with some post-update consistency checks gone ... For a constructor call, the return value acts as the post-update node for the 'this' argument. The fact that constructor calls are sometimes PostUpdateNodes causes some of these harmless alerts. The warnings have disappeared in some cases because we no longer target getALocalSource() so the target is no longer the constructor call.	2024-10-29 08:32:01 +01:00
Asger F	e0ca1b0482	JS: Benign test updates	2024-09-10 13:07:24 +02:00
Asger F	acdc896c04	JS: Support for dynamic args to flow summaries	2024-08-27 11:35:21 +02:00
Asger F	5c7e623c47	JS: Add some tests for missing handling of dynamic args in flow summaries	2024-08-27 11:35:19 +02:00
Asger F	c04f0beb8a	Update DataFlowConsistency.expected	2024-08-27 11:35:18 +02:00
Asger F	14fc790617	Update DataFlowConsistency.expected	2024-06-28 13:08:09 +02:00
Asger F	92812eee78	JS: Add test for flow summaries	2023-10-13 13:15:06 +02:00