Replace write access to options by a local variable (#7207)
authorGereon Kremer <nafur42@gmail.com>
Fri, 17 Sep 2021 18:14:24 +0000 (20:14 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Sep 2021 18:14:24 +0000 (18:14 +0000)
commit1f51aa7fe56076c6db970f0ed392ff55a6038a6a
treed5c7ec02320f0939528c1d04e22394805a6f2c89
parentd4544c5484e85ae75387124c3826531474e15c26
Replace write access to options by a local variable (#7207)

This PR replaces a write to the options object by a local variable in the simplex procedure base class. The write was used to temporarily lower a limit for a single simplex call.
src/theory/arith/dual_simplex.cpp
src/theory/arith/fc_simplex.cpp
src/theory/arith/simplex.h
src/theory/arith/soi_simplex.cpp
src/theory/arith/theory_arith_private.cpp