https://github.com/NASA-SW-VnV/ikos/blob/ac7f7c1738976cabc58c6a53413df6e458995c38/core/include/ikos/core/value/numeric/gauge.hpp#L170 should probably be `this->_cst = std::move(n);`
ikos/core/include/ikos/core/value/numeric/gauge.hpp
Line 170 in ac7f7c1
should probably be
this->_cst = std::move(n);