v2.16.0
This release adds automatic predicate-to-explicit switching strategies for product domains, and fixes havocs for enum variables.
This release adds automatic predicate-to-explicit switching strategies for product domains, and fixes havocs for enum variables.