[Draft] Combine multiple range checks to handle noncontiguous ranges#3362

Closed

adpaco-aws wants to merge 3 commits intomodel-checking:mainfrom adpaco-aws:check-char-surrogate

+106-65

Commits on Jul 15, 2024

Check two ranges for char values
adpaco-aws
committed

Commits on Jul 19, 2024