[INFO] fetching crate maxpre 0.2.5...
[INFO] testing maxpre-0.2.5 against 1.91.0 for beta-1.92-2
[INFO] extracting crate maxpre 0.2.5 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate maxpre 0.2.5
[INFO] finished tweaking crates.io crate maxpre 0.2.5
[INFO] tweaked toml for crates.io crate maxpre 0.2.5 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate maxpre 0.2.5 on toolchain 1.91.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.91.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate maxpre 0.2.5 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.91.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded cpu-time v1.0.0
[INFO] [stderr]   Downloaded cc v1.2.19
[INFO] [stderr]   Downloaded openssl-sys v0.9.107
[INFO] [stderr]   Downloaded libssh2-sys v0.3.1
[INFO] [stderr]   Downloaded rustsat v0.7.1
[INFO] [stderr]   Downloaded git2 v0.20.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 164c3e1c995444e5a484767377c424d44b0fbdea33a7eae25dad113aabeba3f0
[INFO] running `Command { std: "docker" "start" "-a" "164c3e1c995444e5a484767377c424d44b0fbdea33a7eae25dad113aabeba3f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "164c3e1c995444e5a484767377c424d44b0fbdea33a7eae25dad113aabeba3f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "164c3e1c995444e5a484767377c424d44b0fbdea33a7eae25dad113aabeba3f0", kill_on_drop: false }`
[INFO] [stdout] 164c3e1c995444e5a484767377c424d44b0fbdea33a7eae25dad113aabeba3f0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4b8b701ca6665108b6262e55d627dd2ba734cb0e46908b52ae8b188652a3ac0e
[INFO] running `Command { std: "docker" "start" "-a" "4b8b701ca6665108b6262e55d627dd2ba734cb0e46908b52ae8b188652a3ac0e", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.171
[INFO] [stderr]    Compiling stable_deref_trait v1.2.0
[INFO] [stderr]    Compiling icu_locid_transform_data v1.5.1
[INFO] [stderr]    Compiling writeable v0.5.5
[INFO] [stderr]    Compiling litemap v0.7.5
[INFO] [stderr]    Compiling icu_properties_data v1.5.1
[INFO] [stderr]    Compiling icu_normalizer_data v1.5.1
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling write16 v1.0.0
[INFO] [stderr]    Compiling utf16_iter v1.0.5
[INFO] [stderr]    Compiling smallvec v1.15.0
[INFO] [stderr]    Compiling utf8_iter v1.0.4
[INFO] [stderr]    Compiling percent-encoding v2.3.1
[INFO] [stderr]    Compiling getrandom v0.3.2
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling form_urlencoded v1.2.1
[INFO] [stderr]    Compiling rustix v1.0.5
[INFO] [stderr]    Compiling bitflags v2.9.0
[INFO] [stderr]    Compiling linux-raw-sys v0.9.4
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling openssl-probe v0.1.6
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling glob v0.3.2
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling jobserver v0.1.33
[INFO] [stderr]    Compiling cpu-time v1.0.0
[INFO] [stderr]    Compiling cc v1.2.19
[INFO] [stderr]    Compiling openssl-sys v0.9.107
[INFO] [stderr]    Compiling libz-sys v1.1.22
[INFO] [stderr]    Compiling libssh2-sys v0.3.1
[INFO] [stderr]    Compiling libgit2-sys v0.18.1+1.9.0
[INFO] [stderr]    Compiling synstructure v0.13.1
[INFO] [stderr]    Compiling tempfile v3.19.1
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.7.5
[INFO] [stderr]    Compiling zerovec-derive v0.10.3
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling icu_provider_macros v1.5.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.7.5
[INFO] [stderr]    Compiling zerovec v0.10.4
[INFO] [stderr]    Compiling rustsat v0.7.1
[INFO] [stderr]    Compiling tinystr v0.7.6
[INFO] [stderr]    Compiling icu_collections v1.5.0
[INFO] [stderr]    Compiling icu_locid v1.5.0
[INFO] [stderr]    Compiling icu_provider v1.5.0
[INFO] [stderr]    Compiling icu_locid_transform v1.5.0
[INFO] [stderr]    Compiling icu_properties v1.5.1
[INFO] [stderr]    Compiling icu_normalizer v1.5.0
[INFO] [stderr]    Compiling idna_adapter v1.2.0
[INFO] [stderr]    Compiling idna v1.0.3
[INFO] [stderr]    Compiling url v2.5.4
[INFO] [stderr]    Compiling git2 v0.20.1
[INFO] [stderr]    Compiling maxpre v0.2.5 (/opt/rustwide/workdir)
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:616:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'void maxPreprocessor::Preprocessor::genIndex(std::vector<std::vector<int> >&, std::vector<std::vector<int> >&, int, int, int, int&, std::vector<int>&, std::vector<int>&, std::vector<int>&, std::vector<int>&, int)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:105:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   105 |                 random_shuffle(ne.begin(), ne.begin() + g[x].size());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /usr/include/c++/13/algorithm:61,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:3:
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:106:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   106 |                 random_shuffle(ne.begin() + g[x].size(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:109:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   109 |                 random_shuffle(ne.begin(), ne.begin() + rg[x].size());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:110:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   110 |                 random_shuffle(ne.begin() + rg[x].size(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:113:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   113 |                 random_shuffle(ne.begin(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'int maxPreprocessor::Preprocessor::tryBIG(int, bool)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:313:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<int*, vector<int> >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   313 |                 random_shuffle(perm.begin(), perm.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:623:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp: In member function 'int maxPreprocessor::Preprocessor::tryModelCuttingRED()':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp:733:47: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<int*, vector<int> >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   733 |                                 random_shuffle(lits.begin(), lits.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:14:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp: In member function 'void maxPreprocessor::PreprocessorInterface::getInstanceClausesAndLabels(std::vector<std::vector<int> >&, std::vector<int>&)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:90:37: warning: unused variable 'lit0' [-Wunused-variable]
[INFO] [stderr] warning: maxpre@0.2.5:    90 |                                 int lit0 = lit;
[INFO] [stderr] warning: maxpre@0.2.5:       |                                     ^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:104:48: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::vector<int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: maxpre@0.2.5:   104 |                                 for (int i=0; i<preprocessedInstance.clauses.size(); ++i) {
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:87:21: warning: unused variable 'i' [-Wunused-variable]
[INFO] [stderr] warning: maxpre@0.2.5:    87 |                 int i=0;
[INFO] [stderr] warning: maxpre@0.2.5:       |                     ^
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:6:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:33,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.cc:34:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.hpp:8,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/cpreprocessorinterface.cpp:1:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 43s
[INFO] running `Command { std: "docker" "inspect" "4b8b701ca6665108b6262e55d627dd2ba734cb0e46908b52ae8b188652a3ac0e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4b8b701ca6665108b6262e55d627dd2ba734cb0e46908b52ae8b188652a3ac0e", kill_on_drop: false }`
[INFO] [stdout] 4b8b701ca6665108b6262e55d627dd2ba734cb0e46908b52ae8b188652a3ac0e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0eeb577beadbdfa0bc26e7ed2d7a316e1dd7b3915f06a3cf1c68d2c2b1c39253
[INFO] running `Command { std: "docker" "start" "-a" "0eeb577beadbdfa0bc26e7ed2d7a316e1dd7b3915f06a3cf1c68d2c2b1c39253", kill_on_drop: false }`
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:616:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'void maxPreprocessor::Preprocessor::genIndex(std::vector<std::vector<int> >&, std::vector<std::vector<int> >&, int, int, int, int&, std::vector<int>&, std::vector<int>&, std::vector<int>&, std::vector<int>&, int)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:105:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   105 |                 random_shuffle(ne.begin(), ne.begin() + g[x].size());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /usr/include/c++/13/algorithm:61,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:3:
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:106:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   106 |                 random_shuffle(ne.begin() + g[x].size(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:109:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   109 |                 random_shuffle(ne.begin(), ne.begin() + rg[x].size());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:110:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   110 |                 random_shuffle(ne.begin() + rg[x].size(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:113:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   113 |                 random_shuffle(ne.begin(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'int maxPreprocessor::Preprocessor::tryBIG(int, bool)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:313:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<int*, vector<int> >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   313 |                 random_shuffle(perm.begin(), perm.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:623:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp: In member function 'int maxPreprocessor::Preprocessor::tryModelCuttingRED()':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp:733:47: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<int*, vector<int> >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   733 |                                 random_shuffle(lits.begin(), lits.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:14:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp: In member function 'void maxPreprocessor::PreprocessorInterface::getInstanceClausesAndLabels(std::vector<std::vector<int> >&, std::vector<int>&)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:90:37: warning: unused variable 'lit0' [-Wunused-variable]
[INFO] [stderr] warning: maxpre@0.2.5:    90 |                                 int lit0 = lit;
[INFO] [stderr] warning: maxpre@0.2.5:       |                                     ^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:104:48: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::vector<int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: maxpre@0.2.5:   104 |                                 for (int i=0; i<preprocessedInstance.clauses.size(); ++i) {
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:87:21: warning: unused variable 'i' [-Wunused-variable]
[INFO] [stderr] warning: maxpre@0.2.5:    87 |                 int i=0;
[INFO] [stderr] warning: maxpre@0.2.5:       |                     ^
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:6:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:33,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.cc:34:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.hpp:8,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/cpreprocessorinterface.cpp:1:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr]    Compiling maxpre v0.2.5 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.01s
[INFO] running `Command { std: "docker" "inspect" "0eeb577beadbdfa0bc26e7ed2d7a316e1dd7b3915f06a3cf1c68d2c2b1c39253", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0eeb577beadbdfa0bc26e7ed2d7a316e1dd7b3915f06a3cf1c68d2c2b1c39253", kill_on_drop: false }`
[INFO] [stdout] 0eeb577beadbdfa0bc26e7ed2d7a316e1dd7b3915f06a3cf1c68d2c2b1c39253
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+1.91.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 626e022990a491228fc55146f904decbcd0e47ea997c4f6ff8e7cafc4d958761
[INFO] running `Command { std: "docker" "start" "-a" "626e022990a491228fc55146f904decbcd0e47ea997c4f6ff8e7cafc4d958761", kill_on_drop: false }`
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:616:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'void maxPreprocessor::Preprocessor::genIndex(std::vector<std::vector<int> >&, std::vector<std::vector<int> >&, int, int, int, int&, std::vector<int>&, std::vector<int>&, std::vector<int>&, std::vector<int>&, int)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:105:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   105 |                 random_shuffle(ne.begin(), ne.begin() + g[x].size());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /usr/include/c++/13/algorithm:61,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:3:
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:106:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   106 |                 random_shuffle(ne.begin() + g[x].size(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:109:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   109 |                 random_shuffle(ne.begin(), ne.begin() + rg[x].size());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:110:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   110 |                 random_shuffle(ne.begin() + rg[x].size(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:113:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<pair<int, int>*, vector<pair<int, int> > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   113 |                 random_shuffle(ne.begin(), ne.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'int maxPreprocessor::Preprocessor::tryBIG(int, bool)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:313:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<int*, vector<int> >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   313 |                 random_shuffle(perm.begin(), perm.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:623:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp: In member function 'int maxPreprocessor::Preprocessor::tryModelCuttingRED()':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp:733:47: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator<int*, vector<int> >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations]
[INFO] [stderr] warning: maxpre@0.2.5:   733 |                                 random_shuffle(lits.begin(), lits.end());
[INFO] [stderr] warning: maxpre@0.2.5:       |                                 ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here
[INFO] [stderr] warning: maxpre@0.2.5:  4581 |     random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last)
[INFO] [stderr] warning: maxpre@0.2.5:       |     ^~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:14:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp: In member function 'void maxPreprocessor::PreprocessorInterface::getInstanceClausesAndLabels(std::vector<std::vector<int> >&, std::vector<int>&)':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:90:37: warning: unused variable 'lit0' [-Wunused-variable]
[INFO] [stderr] warning: maxpre@0.2.5:    90 |                                 int lit0 = lit;
[INFO] [stderr] warning: maxpre@0.2.5:       |                                     ^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:104:48: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::vector<int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: maxpre@0.2.5:   104 |                                 for (int i=0; i<preprocessedInstance.clauses.size(); ++i) {
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:87:21: warning: unused variable 'i' [-Wunused-variable]
[INFO] [stderr] warning: maxpre@0.2.5:    87 |                 int i=0;
[INFO] [stderr] warning: maxpre@0.2.5:       |                     ^
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:6:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:33,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.cc:34:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.hpp:8,
[INFO] [stderr] warning: maxpre@0.2.5:                  from /opt/rustwide/workdir/cppsrc/src/cpreprocessorinterface.cpp:1:
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator<T>::operator[](Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    63 |     T&       operator[](Ref r)       { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator<T>::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    64 |     const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator<T>::lea(Ref) [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    66 |     T*       lea       (Ref r)       { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator<T>::lea(Ref) const [with T = unsigned int; Ref = unsigned int]':
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91:   required from here
[INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits]
[INFO] [stderr] warning: maxpre@0.2.5:    67 |     const T* lea       (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; }
[INFO] [stderr] warning: maxpre@0.2.5:       |                                               ~~^~~~
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.16s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/maxpre-8e7c5dd83b565ac0)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test base::tests::construct ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests maxpre
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "626e022990a491228fc55146f904decbcd0e47ea997c4f6ff8e7cafc4d958761", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "626e022990a491228fc55146f904decbcd0e47ea997c4f6ff8e7cafc4d958761", kill_on_drop: false }`
[INFO] [stdout] 626e022990a491228fc55146f904decbcd0e47ea997c4f6ff8e7cafc4d958761
