17 Commits

Author	SHA1	Message	Date
Geoffrey White	c2123f2c9b	Swift: More detailed models for pointers.	2023-12-08 16:51:53 +00:00
Geoffrey White	6e291711ac	Swift: Update just enough tests to prove that that source labels are working.	2023-11-13 11:47:24 +00:00
Geoffrey White	0d7943031c	Swift: Generalize subscript assignment storeStep.	2023-11-03 14:53:37 +00:00
Mathias Vorreiter Pedersen	1c298e6001	Swift: Fix 'parameter' -> 'argument' flow into closures.	2023-10-24 15:28:01 +01:00
Nora Dimitrijević	af49a3aa64	Swift: accept new results in old tests	2023-10-24 13:56:31 +01:00
Geoffrey White	0509c0fdf3	Swift: Effect on dataflow tests.	2023-10-16 18:28:50 +01:00
Robert Marsh	603f2cd3b2	Swift: fix test expectation properly	2023-09-07 19:35:02 +00:00
Robert Marsh	0fff540add	Swift: update a test expectation for dictionary flow	2023-09-07 16:14:23 +00:00
Geoffrey White	86a73fa0e7	Swift: Accept fixed spurious test results.	2023-08-17 19:41:21 +01:00
Geoffrey White	c95432457d	Swift: Correct a test case (but preserve the original as well since it's interesting).	2023-08-08 10:41:21 +01:00
Geoffrey White	6ccf47ece9	Swift: Accept test changes resulting from merge.	2023-08-08 10:28:29 +01:00
Geoffrey White	d24db3fcd3	Swift: Use .ArrayElement in the models, where appropriate.	2023-08-04 09:18:37 +01:00
Geoffrey White	b41d47b910	Swift: Array.withUnsafeBytes doesn't reliably match ContiguousBytes, so define models there as well.	2023-08-04 09:18:36 +01:00
Geoffrey White	664dc01c48	Swift: Add closure function models.	2023-08-04 09:18:36 +01:00
Geoffrey White	49d1556c29	Swift: Model update(repeating:), to support the tests.	2023-08-04 09:18:36 +01:00
Geoffrey White	feadd7127b	Swift: Add tests with some different container types.	2023-08-04 09:18:35 +01:00
Geoffrey White	63c71f0b77	Swift: Add tests of with* closure methods.	2023-08-04 09:18:34 +01:00