2 Commits

Author	SHA1	Message	Date
Chris Smowton	b33dc38a65	Fix hasBranchEdge for switch exprs with an internal CFG and incoming edges from a passing case guard	2023-11-30 11:24:06 +00:00
Anders Schack-Mulligen	0e12df0a15	Java: Add SwitchExpr support in Guards.qll	2019-06-04 16:03:23 +02:00