[code-reflection] Integrated: Change the model of the default label of switch

Mourad Abbay mabbay at openjdk.org
Sat Sep 7 02:40:17 UTC 2024


On Fri, 6 Sep 2024 07:58:44 GMT, Mourad Abbay <mabbay at openjdk.org> wrote:

> Model the default label of switch as a body that yield true, this makes the modeling consistent for all labels.

This pull request has now been integrated.

Changeset: b836dba3
Author:    Mourad Abbay <mabbay at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/b836dba369084c7458d8f4fcb37e07982b15c666
Stats:     196 lines in 7 files changed: 63 ins; 0 del; 133 mod

Change the model of the default label of switch

Reviewed-by: psandoz

-------------

PR: https://git.openjdk.org/babylon/pull/223


More information about the babylon-dev mailing list