Skip to content

Also use `solve_vals_compare_safe` in TWP case of `wp_pure`.

Robbert Krebbers requested to merge robbert/twp_vals_compare_safe into master

This is a bug. The WP case of the same tactic already used solve_vals_compare_safe, as it should.

Edited by Robbert Krebbers

Merge request reports