search

prove-rs / z3.rs

Rust bindings for the Z3 solver.
337 stars 105 forks source link

sort: fix array_range and array_domain lifetimes #280

Closed Philipp15b closed 8 months ago

Philipp15b commented 8 months ago

Fixes the lifetimes on array_domain and array_range functions on Sort. The lifetime should be 'ctx, not the lifetime of self.

waywardmonkeys commented 8 months ago

The test failure is due to some of the tests now using a more recent Z3 (partly because I pushed an updated version of Z3 into vcpkg). I'll submit my fix for that test failure in the next day or two. I'll review this separate from that.