mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Avoid broken stack at few places (#7353)

Browse source 
* Avoid broken stack by degree_lit_num_lt

* Avoid broken stack by fix_dl_var_tactic

---------

Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Kirill A. Korinsky 2024-08-26 19:02:54 +02:00 committed by GitHub
parent 6a68cc55bb
commit cff1e9233f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/nlsat/nlsat_solver.cpp
View file

@ -2835,7 +2835,7 @@ namespace nlsat {
struct degree_lit_num_lt { struct degree_lit_num_lt {
unsigned_vector & m_degrees; unsigned_vector & m_degrees;
unsigned_vector & m_lit_num; unsigned_vector & m_lit_num;
degree_lit_num_lt(unsigned_vector & ds, unsigned_vector ln) : degree_lit_num_lt(unsigned_vector & ds, unsigned_vector & ln) :
m_degrees(ds), m_degrees(ds),
m_lit_num(ln) { m_lit_num(ln) {
} }