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

fixup unit tests

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-02-27 17:18:53 -08:00
parent b784b748d4
commit ec93972356
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
genaisrc/myai.genai.mts
View file

@ -199,10 +199,11 @@ export async function invokeLLMOpt(code: string) {
Please modify the original code in <CODE> to ensure that it uses best practices for optimal code execution. Please modify the original code in <CODE> to ensure that it uses best practices for optimal code execution.
- do use for loops of the form for (auto const& x : container) { ... } instead of for (it = container.begin(); it != container.end(); ++it) { ... }.
- do not use assert. Instead use SASSERT. - do not use assert. Instead use SASSERT.
- do not change function signatures. - do not change function signatures.
- do not use std::vector. - do not use std::vector.
- do not add new comments. - do not add new comments.
- do not split functions into multiple functions.` - do not split functions into multiple functions.`
}, { }, {
system: [], system: [],

3
src/math/lp/lar_core_solver.h
View file

@ -82,9 +82,8 @@ public:
void backup_x() { m_backup_x = m_r_x; } void backup_x() { m_backup_x = m_r_x; }
void restore_x() { void restore_x() {
m_r_x = m_backup_x;
m_r_x.reserve(m_m()); m_r_x.reserve(m_m());
for (unsigned i = 0; i < std::min(m_m(), m_backup_x.size()); ++i)
m_r_x[i] = m_backup_x[i];
} }
vector<impq> const& r_x() const { return m_r_x; } vector<impq> const& r_x() const { return m_r_x; }