Changes in version 4.11.0:
Z3_FALSEfrom the API. Use
z3++.hno longer includes
<sstream>as it did not use it.
smt.arith.dump_lemmas. It is replaced by
The klee and opam builds are simple rebuilds due to an soname change in the z3 library.
sudo dnf upgrade --refresh --advisory=FEDORA-2022-ebc70f7a15
Please login to add feedback.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for stable by bodhi