Bug: m_binspr is assigned twice successively on line 102 and 103.

[ustchcs-bugfinder]

z3/src/sat/sat_config.cpp

Line 103 in 8439057

m_binspr = false; // prevent adventurous users from trying feature that isn't ready

m_binspr is assigned twice successively on line 102 and 103.

        m_local_search_dbg_flips = p.local_search_dbg_flips();
        m_binspr            = p.binspr();     //Line 102
        m_binspr            = false;     // prevent adventurous users from trying feature that isn't ready  //Line 103
        m_anf_simplify      = p.anf();
        m_anf_delay         = p.anf_delay();
        m_anf_exlin         = p.anf_exlin();
        m_cut_simplify      = p.cut();
        m_cut_delay         = p.cut_delay();

Reported by: USTCHCS Analysis Toolsuite Bugfinder
(bugfinder-2.7: A variable should not be assigned values twice successively.)