12 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	eb37c413f2	Java: Accept revised CFG.	2026-02-23 15:10:00 +01:00
Anders Schack-Mulligen	106a9d479f	Java: Accept reduced precision from no longer nesting completions in YieldCompletions.	2026-02-23 15:09:59 +01:00
Anders Schack-Mulligen	a844d60174	Java: Accept new CFG nodes.	2026-02-23 15:09:54 +01:00
Anders Schack-Mulligen	6ac8c4f544	Java: Accept test changes due to pruned CFG, after-nodes, and reduced exception precision.	2026-02-23 15:09:54 +01:00
Anders Schack-Mulligen	12b9999289	Java: Adjust BasicBlock-based qltests.	2026-02-23 15:09:52 +01:00
Anders Schack-Mulligen	273429d14a	Java: Accept qltest output	2025-08-05 10:32:53 +02:00
Anders Schack-Mulligen	e7a6259bd7	Java: Accept test changes.	2025-07-17 11:21:26 +02:00
Anders Schack-Mulligen	db01828717	Java: Deprecate redundant basic block predicates.	2025-05-21 09:01:46 +02:00
Owen Mansel-Chan	4978a6eb37	Fix getasuccessor kotlin ... The change in results shows that there are now fewer control flow nodes. We have removed precisely those with no successor or predecessor.	2024-12-10 15:26:20 +00:00
Owen Mansel-Chan	5e0c3ab715	Fix kotlin tests	2024-12-10 15:26:19 +00:00
Ian Lynagh	918bee07dd	Kotlin: Accept Kotlin 1 test changes 1.9.0 -> 2.0.0	2024-06-03 15:26:51 +01:00
Ian Lynagh	f48cc1a526	Kotlin: Move tests from test/kotlin to test-kotlin1 ... Matches test-kotlin2	2023-11-21 15:28:12 +00:00