[INFO] cloning repository https://github.com/kingpoem/namiku
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/kingpoem/namiku" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkingpoem%2Fnamiku", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkingpoem%2Fnamiku'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] cb627ed2a178ca95fb51f4908951e2ea738ac08d
[INFO] checking kingpoem/namiku against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6 for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkingpoem%2Fnamiku" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-5-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/kingpoem/namiku
[INFO] finished tweaking git repo https://github.com/kingpoem/namiku
[INFO] tweaked toml for git repo https://github.com/kingpoem/namiku written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/kingpoem/namiku on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/kingpoem/namiku 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" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: missing `[lints]` to inherit `[workspace.lints]`
[INFO] [stderr]   --> compiler/Cargo.toml
[INFO] [stderr]    = note: `cargo::missing_lints_inheritance` is set to `warn` by default
[INFO] [stderr] help: to inherit `workspace.lints, add:
[INFO] [stderr]    |
[INFO] [stderr] 42 ~ path = "src/main.rs"
[INFO] [stderr] 43 + [lints]
[INFO] [stderr] 44 + workspace = true
[INFO] [stderr]    |
[INFO] [stderr] help: to clarify your intent to not inherit, add:
[INFO] [stderr]    |
[INFO] [stderr] 42 ~ path = "src/main.rs"
[INFO] [stderr] 43 + [lints]
[INFO] [stderr]    |
[INFO] [stderr] warning: `lycoris-recompile` (manifest) generated 1 warning
[INFO] [stderr] warning: missing `[lints]` to inherit `[workspace.lints]`
[INFO] [stderr]   --> crates/simple-compiler/Cargo.toml
[INFO] [stderr]    = note: `cargo::missing_lints_inheritance` is set to `warn` by default
[INFO] [stderr] help: to inherit `workspace.lints, add:
[INFO] [stderr]    |
[INFO] [stderr] 12 ~ cranelift-isle = { path = "../../crates/isle/isle", features = ["fancy-errors", "logging"] }
[INFO] [stderr] 13 + [lints]
[INFO] [stderr] 14 + workspace = true
[INFO] [stderr]    |
[INFO] [stderr] help: to clarify your intent to not inherit, add:
[INFO] [stderr]    |
[INFO] [stderr] 12 ~ cranelift-isle = { path = "../../crates/isle/isle", features = ["fancy-errors", "logging"] }
[INFO] [stderr] 13 + [lints]
[INFO] [stderr]    |
[INFO] [stderr] warning: `simple-compiler` (manifest) generated 1 warning
[INFO] [stderr] warning: missing `[lints]` to inherit `[workspace.lints]`
[INFO] [stderr]   --> crates/refkey-utils/Cargo.toml
[INFO] [stderr]    = note: `cargo::missing_lints_inheritance` is set to `warn` by default
[INFO] [stderr] help: to inherit `workspace.lints, add:
[INFO] [stderr]    |
[INFO] [stderr] 12 ~ proc-macro2 = "1.0"
[INFO] [stderr] 13 + [lints]
[INFO] [stderr] 14 + workspace = true
[INFO] [stderr]    |
[INFO] [stderr] help: to clarify your intent to not inherit, add:
[INFO] [stderr]    |
[INFO] [stderr] 12 ~ proc-macro2 = "1.0"
[INFO] [stderr] 13 + [lints]
[INFO] [stderr]    |
[INFO] [stderr] warning: `refkey-utils` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 467814d6b860d895c6829d8d26a59a09a6b913d4aed5e8c2509fbc85e0aaddd9
[INFO] running `Command { std: "docker" "start" "467814d6b860d895c6829d8d26a59a09a6b913d4aed5e8c2509fbc85e0aaddd9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "467814d6b860d895c6829d8d26a59a09a6b913d4aed5e8c2509fbc85e0aaddd9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "467814d6b860d895c6829d8d26a59a09a6b913d4aed5e8c2509fbc85e0aaddd9" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "467814d6b860d895c6829d8d26a59a09a6b913d4aed5e8c2509fbc85e0aaddd9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "467814d6b860d895c6829d8d26a59a09a6b913d4aed5e8c2509fbc85e0aaddd9" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: missing `[lints]` to inherit `[workspace.lints]`
[INFO] [stderr]   --> crates/refkey-utils/Cargo.toml
[INFO] [stderr]    = note: `cargo::missing_lints_inheritance` is set to `warn` by default
[INFO] [stderr] help: to inherit `workspace.lints, add:
[INFO] [stderr]    |
[INFO] [stderr] 12 ~ proc-macro2 = "1.0"
[INFO] [stderr] 13 + [lints]
[INFO] [stderr] 14 + workspace = true
[INFO] [stderr]    |
[INFO] [stderr] help: to clarify your intent to not inherit, add:
[INFO] [stderr]    |
[INFO] [stderr] 12 ~ proc-macro2 = "1.0"
[INFO] [stderr] 13 + [lints]
[INFO] [stderr]    |
[INFO] [stderr] warning: `refkey-utils` (manifest) generated 1 warning
[INFO] [stderr] warning: missing `[lints]` to inherit `[workspace.lints]`
[INFO] [stderr]   --> compiler/Cargo.toml
[INFO] [stderr]    = note: `cargo::missing_lints_inheritance` is set to `warn` by default
[INFO] [stderr] help: to inherit `workspace.lints, add:
[INFO] [stderr]    |
[INFO] [stderr] 42 ~ path = "src/main.rs"
[INFO] [stderr] 43 + [lints]
[INFO] [stderr] 44 + workspace = true
[INFO] [stderr]    |
[INFO] [stderr] help: to clarify your intent to not inherit, add:
[INFO] [stderr]    |
[INFO] [stderr] 42 ~ path = "src/main.rs"
[INFO] [stderr] 43 + [lints]
[INFO] [stderr]    |
[INFO] [stderr] warning: `lycoris-recompile` (manifest) generated 1 warning
[INFO] [stderr] warning: missing `[lints]` to inherit `[workspace.lints]`
[INFO] [stderr]   --> crates/simple-compiler/Cargo.toml
[INFO] [stderr]    = note: `cargo::missing_lints_inheritance` is set to `warn` by default
[INFO] [stderr] help: to inherit `workspace.lints, add:
[INFO] [stderr]    |
[INFO] [stderr] 12 ~ cranelift-isle = { path = "../../crates/isle/isle", features = ["fancy-errors", "logging"] }
[INFO] [stderr] 13 + [lints]
[INFO] [stderr] 14 + workspace = true
[INFO] [stderr]    |
[INFO] [stderr] help: to clarify your intent to not inherit, add:
[INFO] [stderr]    |
[INFO] [stderr] 12 ~ cranelift-isle = { path = "../../crates/isle/isle", features = ["fancy-errors", "logging"] }
[INFO] [stderr] 13 + [lints]
[INFO] [stderr]    |
[INFO] [stderr] warning: `simple-compiler` (manifest) generated 1 warning
[INFO] [stderr]    Compiling proc-macro2 v1.0.95
[INFO] [stderr]    Compiling libc v0.2.174
[INFO] [stderr]     Checking memchr v2.7.5
[INFO] [stderr]     Checking regex-syntax v0.8.5
[INFO] [stderr]     Checking unicode-width v0.1.14
[INFO] [stderr]    Compiling cranelift-isle v0.123.0 (/opt/rustwide/workdir/crates/isle/isle)
[INFO] [stderr]     Checking anstyle v1.0.11
[INFO] [stderr]     Checking anstyle-query v1.1.3
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.1
[INFO] [stderr]     Checking cfg-if v1.0.1
[INFO] [stderr]     Checking bitflags v2.9.1
[INFO] [stderr]     Checking anstream v0.6.19
[INFO] [stderr]     Checking clap_lex v0.7.5
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]     Checking once_cell v1.21.3
[INFO] [stderr]     Checking codespan-reporting v0.11.1
[INFO] [stderr]    Compiling rustix v1.0.8
[INFO] [stderr]     Checking clap_builder v4.5.42
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]    Compiling slotmap v1.0.7
[INFO] [stderr]     Checking unicode-width v0.2.1
[INFO] [stderr]     Checking smawk v0.3.2
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling serde_json v1.0.143
[INFO] [stderr]     Checking linux-raw-sys v0.9.4
[INFO] [stderr]    Compiling syn v2.0.104
[INFO] [stderr]     Checking getrandom v0.3.3
[INFO] [stderr]     Checking is-terminal v0.4.16
[INFO] [stderr]     Checking textwrap v0.16.2
[INFO] [stderr]     Checking jiff v0.2.15
[INFO] [stderr]    Compiling lycoris-recompile v0.1.0 (/opt/rustwide/workdir/compiler)
[INFO] [stderr]     Checking unicode-ident v1.0.18
[INFO] [stderr]     Checking humantime v2.2.0
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]     Checking regex-automata v0.4.9
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stdout] error: missing documentation for a struct field
[INFO] [stdout]   --> crates/isle/isle/src/serialize.rs:64:5
[INFO] [stdout]    |
[INFO] [stdout] 64 |     pub bind_order: Vec<BindingId>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> crates/isle/isle/src/lib.rs:2:9
[INFO] [stdout]    |
[INFO] [stdout]  2 | #![deny(missing_docs)]
[INFO] [stdout]    |         ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a method
[INFO] [stdout]    --> crates/isle/isle/src/trie_again.rs:304:5
[INFO] [stdout]     |
[INFO] [stdout] 304 |     pub fn may_overlap(&self, other: &Rule) -> Overlap {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `cranelift-isle` (lib) due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: missing documentation for a struct field
[INFO] [stdout]   --> crates/isle/isle/src/serialize.rs:64:5
[INFO] [stdout]    |
[INFO] [stdout] 64 |     pub bind_order: Vec<BindingId>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> crates/isle/isle/src/lib.rs:2:9
[INFO] [stdout]    |
[INFO] [stdout]  2 | #![deny(missing_docs)]
[INFO] [stdout]    |         ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: missing documentation for a method
[INFO] [stdout]    --> crates/isle/isle/src/trie_again.rs:304:5
[INFO] [stdout]     |
[INFO] [stdout] 304 |     pub fn may_overlap(&self, other: &Rule) -> Overlap {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `cranelift-isle` (lib) due to 2 previous errors
[INFO] [stderr] error: failed to run custom build command for `lycoris-recompile v0.1.0 (/opt/rustwide/workdir/compiler)`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/lycoris-recompile/a0b4d0060e46ddf3/out/build_script_build` (exit status: 101)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rerun-if-env-changed=CC
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   cargo:rerun-if-env-changed=CMAKE_GENERATOR
[INFO] [stderr]   cargo:rerun-if-env-changed=NUM_JOBS
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/nra_covering_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/fixedpoint_proof_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/nlsat_core_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/nlsat_types_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/equality_broker_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/termination_prover_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/smtlib_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/array_ir_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_program_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/nra_branch_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/fixedpoint_program_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_function_summary_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_memory_proof_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/difference_logic_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/memoization_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/polynomial_interval_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_summary_composer_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/polynomial_substitution_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_transition_system_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/theory_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/difference_atom_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/array_lowering_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/parallel_executor_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/mccormick_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/region_invariant_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/lra_state_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/nra_linearization_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_bounded_execution_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/subresultant_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/api_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/linear_expr_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/algebraic_sign_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/fixedpoint_session_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/num_polynomial_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_session_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/bit_vector_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/abstract_interpreter_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/bv_api_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/portfolio_runner_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_affine_transition_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/ice_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/nra_state_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/ir_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/compiler_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_guard_prover_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_relation_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/polynomial_expr_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_scan_summary_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/nra_projection_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/integer_linear_expr_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/predicate_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_memory_relation_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/support_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_loop_proof_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/nra_bounds_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_index_expr_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_loop_footprint_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_loop_contract_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_memory_pattern_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_region_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_reduction_summary_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_memory_program_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_trip_count_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/shared_term_registry_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/k_induction_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/root_isolation_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/invariant_template_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_alias_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/recursion_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/ranking_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_loop_cfg_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/algebraic_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/pdr_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/engine_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_scalar_lowering_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_recurrence_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_dependence_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/lia_state_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/rational_interval_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/sat_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/difference_graph_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_runtime_memory_summary_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/candidate_miner_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_loop_summary_cache_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/array_api_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/function_summary_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_footprint_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_map_fold_summary_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/recursive_recurrence_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_matrix_power_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/array_axioms_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_trace_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/fixedpoint_cache_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/vc_memory_options_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/nra_interval_propagator_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/houdini_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/tests/unit/abstract_value_tests.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_program.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_lowering.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_pattern.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_lowering.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/summary_composer.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/guard_prover.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_proof.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/matrix_power.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_analysis_cache.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/function_summary.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/footprint.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/matrix.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/monoid.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_verification_options.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/transition_system.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/recurrence.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_proof.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_footprint.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/definedness.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/dependence.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_relation.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_proof_checker.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_cfg.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_ids.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/acceleration_stats.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/diagnostics.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_types.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/trace.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/region.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/sysy_contract.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_contract.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/scan_summary.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_verify.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/scalar_lowering.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_footprint.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/effect.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/bounded_execution.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_session.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/function_summary.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/reduction_summary.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_program.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_proof_checker.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/types.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/affine_transition.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_analysis_cache.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_proof.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/summary_composer.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_contract.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/matrix.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/footprint.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_diagnostics.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/monoid.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_summary_cache.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_summary_cache.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/trip_count.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/trip_count.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_proof_formatter.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/effect.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_proof_formatter.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/scalar_expression.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/runtime_memory_summary.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/scalar_lowering.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/session.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/acceleration_stats.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/relation.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/region.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/sysy_contract.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/counterexample.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_counterexample.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/relation.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/verifier.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_verify.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/acceleration_api.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_session.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/scan_summary.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_cfg.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_pattern.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/program.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/alias.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/program.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/verify_ir.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/termination.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/index_expr.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_proof.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/runtime_memory_summary.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_relation.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/recurrence.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/summary_cache.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_proof_checker.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/summary_cache.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/affine_transition.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/diagnostics.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_verification_options.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_counterexample.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/transition_verify.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/transition_verify.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/dependence.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/alias.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/map_fold_summary.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/acceleration_api.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/verify_ir.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/memory_proof_checker.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/reduction_summary.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/trace.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/transition_system.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/termination.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/scalar_expression.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/session.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/map_fold_summary.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/matrix_power.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/definedness.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/guard_prover.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/verifier.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/ids.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/index_expr.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/acceleration_options.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/loop_diagnostics.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/vc/bounded_execution.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/api/solver.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/api/model.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/api/term_rewriter.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/api/model.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/api/term_rewriter.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/api/context.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/api/solver_options.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/api/solver.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/api/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/api/context.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/parallel/serial_executor.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/parallel/cancellation.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/parallel/tbb_executor.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/parallel/serial_executor.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/parallel/cancellation.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/parallel/native_thread_executor.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/parallel/executor.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/parallel/tbb_executor.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/parallel/native_thread_executor.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/parallel/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/app/smtlib_main.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/app/main.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/app/dimacs_main.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/app/vc_bridge_main.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/app/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/array_lowering.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/bit_blaster.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/cnf.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/purification.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/cnf.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/array_axioms.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/tseitin.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/tseitin.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/purification.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/array_lowering.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/array_axioms.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/compiler/bit_blaster.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/smtlib/session.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/smtlib/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/smtlib/session.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/ir/term.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/ir/term_store.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/ir/sort.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/ir/term_store.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/ir/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/ir/ids.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/polynomial.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/subresultant.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/infinity.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/rational_interval.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/sturm.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/integer.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/algebraic_sign.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/polynomial.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/algebraic_closure.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/rational_interval.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/algebraic_closure.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/rational.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/difference_weight.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/integer.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/root_isolation.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/strict_bound.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/subresultant.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/sturm.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/rational.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/algebraic.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/algebraic_sign.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/algebraic.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/num/root_isolation.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/support/assert.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/support/arena.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/support/logic.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/support/indexed_heap.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/support/error.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/support/strong_id.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/support/support.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/support/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/support/dense_id_map.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/support/rollback_log.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/lra_state.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/lra_state.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/mccormick.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/integer_linear_expr.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/theory_state.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_covering.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/proof_checker.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_branch.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/difference_logic_state.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/integer_linear_expr.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/polynomial_expr.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/difference_atom.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/polynomial_interval.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_covering.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/difference_atom.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nlsat_types.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_bounds.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_projection.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/reason.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/theory_host.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/polynomial_substitution.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/arithmetic_solver.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nlsat_cache.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_linearization.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/polynomial_substitution.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/euf_state.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_state.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/polynomial_expr.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nlsat_core.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/theory_action.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/difference_graph.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/theory_host.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nlsat_types.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/arithmetic_solver.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/euf_state.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/difference_graph.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_projection.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/difference_logic_state.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/proof_checker.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_interval_propagator.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/theory_solver.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/proof_formatter.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_bounds.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/mccormick.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/linear_expr.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/linear_expr.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/stop_token.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/theory_action.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_interval_propagator.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/polynomial_interval.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/proof_formatter.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/theory_solver.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_linearization.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nlsat_cache.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nlsat_core.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_branch.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/theory/nra_state.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/portfolio/portfolio_runner.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/portfolio/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/region_invariant.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/builder.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/pdr.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/cache.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/proof_checker.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/option_adapters.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/proof.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/candidate_miner.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/function_summary_solver.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/memoization.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/option_adapters.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/invariant_solver.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/cache.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/segment_contract.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/recursive_recurrence.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/k_induction.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/termination_prover.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/function_summary_solver.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/termination_prover.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/replay.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/memoization.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/segment_contract.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/pdr.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/recursive_recurrence.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/abstract_interpreter.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/frame.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/abstract_value.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/k_induction.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/recursion.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/session.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/stats.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/function_relation.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/options.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/ice.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/replay.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/ranking.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/template.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/proof.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/template.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/abstract_state.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/sort.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/predicate.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/proof_checker.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/program.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/program.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/proof_formatter.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/recursion.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/invariant_solver.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/region_invariant.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/function_relation.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/predicate.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/diagnostics.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/builder.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/abstract_state.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/houdini.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/frame.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/houdini.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/abstract_value.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/ranking.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/options.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/candidate_miner.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/session.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/abstract_interpreter.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/stats.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/proof_formatter.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/ice.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/fixedpoint/ids.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/model_validator.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/check_result.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/worker_solver.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/combined_model_validator.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/solver_engine.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/combined_model_validator.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/model_validator.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/model_snapshot.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/shared_term_registry.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/worker_solver.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/compiled_problem.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/portfolio_backend.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/equality_broker.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/equality_broker.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/compiled_problem.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/solver_engine.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/shared_term_registry.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/engine/portfolio_backend.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/propagator.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/cdcl_solver.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/cdcl_solver.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/propagator.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/assignment.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/literal.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/clause.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/assignment.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/clause_arena.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/clause_arena.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/sat/ids.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.hpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/src/bv/CMakeLists.txt
[INFO] [stderr]   cargo:rerun-if-changed=/opt/rustwide/workdir/compiler/support/smt/CMakeLists.txt
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' (431) panicked at compiler/build.rs:70:9:
[INFO] [stderr]   failed to build bundled SMT backend with "cmake" "--build" "/opt/rustwide/target/debug/build/lycoris-recompile/a1c7e78875985449/out/smt-build" "--target" "smt_vc_bridge" "--parallel" "8"
[INFO] [stderr]   stdout:
[INFO] [stderr]   [  1%] Building CXX object src/bv/CMakeFiles/smt_bv.dir/bit_vector.cpp.o
[INFO] [stderr]   [  3%] Building CXX object src/parallel/CMakeFiles/smt_parallel.dir/native_thread_executor.cpp.o
[INFO] [stderr]   [  3%] Building CXX object src/parallel/CMakeFiles/smt_parallel.dir/cancellation.cpp.o
[INFO] [stderr]   [  4%] Building CXX object src/num/CMakeFiles/smt_num.dir/algebraic.cpp.o
[INFO] [stderr]   [  4%] Building CXX object src/num/CMakeFiles/smt_num.dir/integer.cpp.o
[INFO] [stderr]   [  4%] Building CXX object src/num/CMakeFiles/smt_num.dir/algebraic_closure.cpp.o
[INFO] [stderr]   [  4%] Building CXX object src/parallel/CMakeFiles/smt_parallel.dir/serial_executor.cpp.o
[INFO] [stderr]   [  5%] Building CXX object src/num/CMakeFiles/smt_num.dir/algebraic_sign.cpp.o
[INFO] [stderr]   [  6%] Building CXX object src/num/CMakeFiles/smt_num.dir/polynomial.cpp.o
[INFO] [stderr]   [  7%] Building CXX object src/num/CMakeFiles/smt_num.dir/rational.cpp.o
[INFO] [stderr]   [  7%] Building CXX object src/num/CMakeFiles/smt_num.dir/rational_interval.cpp.o
[INFO] [stderr]   [  8%] Building CXX object src/num/CMakeFiles/smt_num.dir/root_isolation.cpp.o
[INFO] [stderr]   [  8%] Building CXX object src/num/CMakeFiles/smt_num.dir/sturm.cpp.o
[INFO] [stderr]   [  9%] Linking CXX static library libsmt_bv.a
[INFO] [stderr]   [  9%] Built target smt_bv
[INFO] [stderr]   [ 10%] Building CXX object src/num/CMakeFiles/smt_num.dir/subresultant.cpp.o
[INFO] [stderr]   [ 11%] Linking CXX static library libsmt_parallel.a
[INFO] [stderr]   [ 11%] Built target smt_parallel
[INFO] [stderr]   [ 12%] Building CXX object src/sat/CMakeFiles/smt_sat.dir/cdcl_solver.cpp.o
[INFO] [stderr]   [ 12%] Building CXX object src/sat/CMakeFiles/smt_sat.dir/assignment.cpp.o
[INFO] [stderr]   [ 13%] Building CXX object src/sat/CMakeFiles/smt_sat.dir/propagator.cpp.o
[INFO] [stderr]   [ 13%] Building CXX object src/sat/CMakeFiles/smt_sat.dir/clause_arena.cpp.o
[INFO] [stderr]   [ 13%] Linking CXX static library libsmt_num.a
[INFO] [stderr]   [ 13%] Built target smt_num
[INFO] [stderr]   [ 14%] Building CXX object src/ir/CMakeFiles/smt_ir.dir/term_store.cpp.o
[INFO] [stderr]   [ 15%] Linking CXX static library libsmt_sat.a
[INFO] [stderr]   [ 15%] Built target smt_sat
[INFO] [stderr]   [ 15%] Linking CXX static library libsmt_ir.a
[INFO] [stderr]   [ 15%] Built target smt_ir
[INFO] [stderr]   [ 16%] Building CXX object src/compiler/CMakeFiles/smt_compiler.dir/array_lowering.cpp.o
[INFO] [stderr]   [ 16%] Building CXX object src/compiler/CMakeFiles/smt_compiler.dir/array_axioms.cpp.o
[INFO] [stderr]   [ 17%] Building CXX object src/compiler/CMakeFiles/smt_compiler.dir/purification.cpp.o
[INFO] [stderr]   [ 18%] Building CXX object src/compiler/CMakeFiles/smt_compiler.dir/cnf.cpp.o
[INFO] [stderr]   [ 18%] Building CXX object src/compiler/CMakeFiles/smt_compiler.dir/bit_blaster.cpp.o
[INFO] [stderr]   [ 18%] Building CXX object src/compiler/CMakeFiles/smt_compiler.dir/tseitin.cpp.o
[INFO] [stderr]   [ 19%] Linking CXX static library libsmt_compiler.a
[INFO] [stderr]   [ 19%] Built target smt_compiler
[INFO] [stderr]   [ 20%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/arithmetic_solver.cpp.o
[INFO] [stderr]   [ 20%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/difference_atom.cpp.o
[INFO] [stderr]   [ 20%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/difference_logic_state.cpp.o
[INFO] [stderr]   [ 21%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/difference_graph.cpp.o
[INFO] [stderr]   [ 23%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/lia_state.cpp.o
[INFO] [stderr]   [ 23%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/euf_state.cpp.o
[INFO] [stderr]   [ 25%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/linear_expr.cpp.o
[INFO] [stderr]   [ 25%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/integer_linear_expr.cpp.o
[INFO] [stderr]   [ 25%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/lra_state.cpp.o
[INFO] [stderr]   [ 26%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/mccormick.cpp.o
[INFO] [stderr]   [ 26%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/nra_bounds.cpp.o
[INFO] [stderr]   [ 27%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/nra_branch.cpp.o
[INFO] [stderr]   [ 27%] Building CXX object src/theory/CMakeFiles/smt_theory.dir/nra_covering.cpp.o
[INFO] [stderr] 
[INFO] [stderr]   stderr:
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/polynomial.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/algebraic.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/algebraic_closure.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/algebraic_closure.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/polynomial.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/algebraic.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/algebraic.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/polynomial.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/algebraic.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/algebraic_sign.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/algebraic_sign.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/polynomial.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/polynomial.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp: In member function 'smt::support::Result<smt::bv::BitVector> smt::bv::BitVector::add(const smt::bv::BitVector&) const':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp:252:14: warning: ISO C++ does not support '__int128' for 'carry' [-Wpedantic]
[INFO] [stderr]     252 |     unsigned __int128 carry = 0;
[INFO] [stderr]         |              ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp:254:24: warning: ISO C++ does not support '__int128' for 'sum' [-Wpedantic]
[INFO] [stderr]     254 |         const unsigned __int128 sum = static_cast<unsigned __int128>(limbs_[index]) +
[INFO] [stderr]         |                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp:254:60: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]     254 |         const unsigned __int128 sum = static_cast<unsigned __int128>(limbs_[index]) +
[INFO] [stderr]         |                                                            ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp:255:60: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]     255 |                                       static_cast<unsigned __int128>(rhs.limbs_[index]) + carry;
[INFO] [stderr]         |                                                            ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp: In member function 'smt::support::Result<smt::bv::BitVector> smt::bv::BitVector::mul(const smt::bv::BitVector&) const':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp:279:18: warning: ISO C++ does not support '__int128' for 'carry' [-Wpedantic]
[INFO] [stderr]     279 |         unsigned __int128 carry = 0;
[INFO] [stderr]         |                  ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp:282:28: warning: ISO C++ does not support '__int128' for 'product' [-Wpedantic]
[INFO] [stderr]     282 |             const unsigned __int128 product =
[INFO] [stderr]         |                            ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp:283:38: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]     283 |                 static_cast<unsigned __int128>(limbs_[lhs_index]) *
[INFO] [stderr]         |                                      ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp:284:42: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]     284 |                     static_cast<unsigned __int128>(rhs.limbs_[rhs_index]) +
[INFO] [stderr]         |                                          ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/bv/bit_vector.cpp:285:38: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]     285 |                 static_cast<unsigned __int128>(result.limbs_[out_index]) + carry;
[INFO] [stderr]         |                                      ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/num/rational.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/polynomial.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/sturm.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/sturm.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational_interval.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/rational_interval.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational_interval.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/root_isolation.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/root_isolation.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/polynomial.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/../num/subresultant.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/num/subresultant.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/num/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/ir/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/ir/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/ir/term_store.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/ir/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/ir/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/ir/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/ir/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/ir/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../compiler/array_lowering.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/array_lowering.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../compiler/bit_blaster.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/bit_blaster.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../compiler/tseitin.hpp:6,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../compiler/purification.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/purification.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/../compiler/tseitin.hpp:6,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/compiler/tseitin.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/compiler/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/difference_weight.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/difference_graph.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/difference_graph.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/linear_expr.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/linear_expr.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/difference_atom.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/difference_atom.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/integer_linear_expr.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/integer_linear_expr.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../compiler/tseitin.hpp:6,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/lia_state.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../compiler/tseitin.hpp:6,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/difference_logic_state.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/difference_logic_state.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../compiler/tseitin.hpp:6,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/arithmetic_solver.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/arithmetic_solver.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../compiler/tseitin.hpp:6,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/euf_state.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/euf_state.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/integer_linear_expr.cpp: In function 'std::optional<long int> smt::theory::{anonymous}::checkedMul(smt::num::Integer, smt::num::Integer)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/integer_linear_expr.cpp:30:38: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      30 |     const auto product = static_cast<__int128>(lhs) * static_cast<__int128>(rhs);
[INFO] [stderr]         |                                      ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/integer_linear_expr.cpp:30:67: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      30 |     const auto product = static_cast<__int128>(lhs) * static_cast<__int128>(rhs);
[INFO] [stderr]         |                                                                   ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/integer_linear_expr.cpp:31:31: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      31 |     if (product < static_cast<__int128>(std::numeric_limits<num::Integer>::min()) ||
[INFO] [stderr]         |                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/integer_linear_expr.cpp:32:31: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      32 |         product > static_cast<__int128>(std::numeric_limits<num::Integer>::max())) {
[INFO] [stderr]         |                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp: At global scope:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:25:58: warning: ISO C++ does not support '__int128' for 'value' [-Wpedantic]
[INFO] [stderr]      25 | [[nodiscard]] std::optional<num::Integer> checkedInteger(__int128 value) noexcept
[INFO] [stderr]         |                                                          ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp: In function 'std::optional<long int> smt::theory::{anonymous}::checkedInteger(__int128)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:27:29: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      27 |     if (value < static_cast<__int128>(std::numeric_limits<num::Integer>::min()) ||
[INFO] [stderr]         |                             ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:28:29: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      28 |         value > static_cast<__int128>(std::numeric_limits<num::Integer>::max())) {
[INFO] [stderr]         |                             ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp: In function 'std::optional<long int> smt::theory::{anonymous}::checkedMul(smt::num::Integer, smt::num::Integer)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:36:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      36 |     return checkedInteger(static_cast<__int128>(lhs) * static_cast<__int128>(rhs));
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:36:68: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      36 |     return checkedInteger(static_cast<__int128>(lhs) * static_cast<__int128>(rhs));
[INFO] [stderr]         |                                                                    ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term.hpp:5,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../ir/term_store.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../compiler/tseitin.hpp:6,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/lra_state.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/lra_state.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp: In static member function 'static std::optional<long int> smt::theory::LiaState::floorDiv(smt::num::Integer, smt::num::Integer)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1342:28: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1342 |     auto num = static_cast<__int128>(numerator);
[INFO] [stderr]         |                            ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1343:28: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1343 |     auto den = static_cast<__int128>(denominator);
[INFO] [stderr]         |                            ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1354:32: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1354 |     if (quotient < static_cast<__int128>(std::numeric_limits<num::Integer>::min()) ||
[INFO] [stderr]         |                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1355:32: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1355 |         quotient > static_cast<__int128>(std::numeric_limits<num::Integer>::max())) {
[INFO] [stderr]         |                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp: In static member function 'static std::optional<long int> smt::theory::LiaState::ceilDiv(smt::num::Integer, smt::num::Integer)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1366:28: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1366 |     auto num = static_cast<__int128>(numerator);
[INFO] [stderr]         |                            ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1367:28: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1367 |     auto den = static_cast<__int128>(denominator);
[INFO] [stderr]         |                            ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1378:32: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1378 |     if (quotient < static_cast<__int128>(std::numeric_limits<num::Integer>::min()) ||
[INFO] [stderr]         |                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1379:32: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1379 |         quotient > static_cast<__int128>(std::numeric_limits<num::Integer>::max())) {
[INFO] [stderr]         |                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp: In static member function 'static std::optional<long int> smt::theory::LiaState::floorRational(smt::num::Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1455:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1455 |     const auto numerator = static_cast<__int128>(value.numerator());
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1456:42: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1456 |     const auto denominator = static_cast<__int128>(value.denominator());
[INFO] [stderr]         |                                          ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1462:32: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1462 |     if (quotient < static_cast<__int128>(std::numeric_limits<num::Integer>::min()) ||
[INFO] [stderr]         |                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1463:32: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1463 |         quotient > static_cast<__int128>(std::numeric_limits<num::Integer>::max())) {
[INFO] [stderr]         |                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp: In static member function 'static std::optional<long int> smt::theory::LiaState::ceilRational(smt::num::Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1471:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1471 |     const auto numerator = static_cast<__int128>(value.numerator());
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1472:42: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1472 |     const auto denominator = static_cast<__int128>(value.denominator());
[INFO] [stderr]         |                                          ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1478:32: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1478 |     if (quotient < static_cast<__int128>(std::numeric_limits<num::Integer>::min()) ||
[INFO] [stderr]         |                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/lia_state.cpp:1479:32: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]    1479 |         quotient > static_cast<__int128>(std::numeric_limits<num::Integer>::max())) {
[INFO] [stderr]         |                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/mccormick.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/mccormick.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational_interval.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/nra_bounds.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/nra_bounds.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/nra_branch.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/nra_branch.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   In file included from /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/polynomial.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/algebraic.hpp:3,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/nlsat_types.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/../theory/nra_covering.hpp:4,
[INFO] [stderr]                    from /opt/rustwide/workdir/compiler/support/smt/src/theory/nra_covering.cpp:1:
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp: In function 'constexpr std::strong_ordering smt::num::operator<=>(Rational, Rational)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:39: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                       ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:78:79: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      78 |         const auto left = static_cast<__int128>(lhs.numerator_) * static_cast<__int128>(rhs.denominator_);
[INFO] [stderr]         |                                                                               ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:40: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                        ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/../num/rational.hpp:79:80: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      79 |         const auto right = static_cast<__int128>(rhs.numerator_) * static_cast<__int128>(lhs.denominator_);
[INFO] [stderr]         |                                                                                ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/nra_branch.cpp: In function 'std::optional<long int> smt::theory::{anonymous}::exactIntegerSqrt(smt::num::Integer)':
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/nra_branch.cpp:44:41: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      44 |         const auto square = static_cast<__int128>(mid) * static_cast<__int128>(mid);
[INFO] [stderr]         |                                         ^~~~~~~~
[INFO] [stderr]   /opt/rustwide/workdir/compiler/support/smt/src/theory/nra_branch.cpp:44:70: warning: ISO C++ does not support '__int128' for 'type name' [-Wpedantic]
[INFO] [stderr]      44 |         const auto square = static_cast<__int128>(mid) * static_cast<__int128>(mid);
[INFO] [stderr]         |                                                                      ^~~~~~~~
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [src/theory/CMakeFiles/smt_theory.dir/build.make:121: src/theory/CMakeFiles/smt_theory.dir/difference_logic_state.cpp.o] Error 1
[INFO] [stderr]   gmake[3]: *** Waiting for unfinished jobs....
[INFO] [stderr]   c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   gmake[3]: *** [src/theory/CMakeFiles/smt_theory.dir/build.make:163: src/theory/CMakeFiles/smt_theory.dir/lia_state.cpp.o] Error 1
[INFO] [stderr]   gmake[2]: *** [CMakeFiles/Makefile2:639: src/theory/CMakeFiles/smt_theory.dir/all] Error 2
[INFO] [stderr]   gmake[1]: *** [CMakeFiles/Makefile2:1000: src/app/CMakeFiles/smt_vc_bridge.dir/rule] Error 2
[INFO] [stderr]   gmake: *** [Makefile:319: smt_vc_bridge] Error 2
[INFO] [stderr] 
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x5dd2b6f02fe1 - std[3164a59e47d3bde]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]      1:     0x5dd2b6f02fe1 - std[3164a59e47d3bde]::backtrace_rs::backtrace::trace_unsynchronized::<std[3164a59e47d3bde]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]      2:     0x5dd2b6f02fe1 - std[3164a59e47d3bde]::sys::backtrace::_print_fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]      3:     0x5dd2b6f02fe1 - <<std[3164a59e47d3bde]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[934024a1e6126fb4]::fmt::Display>::fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]      4:     0x5dd2b6f15b3a - <core[934024a1e6126fb4]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]      5:     0x5dd2b6f15b3a - core[934024a1e6126fb4]::fmt::write
[INFO] [stderr]      6:     0x5dd2b6f080fc - core[934024a1e6126fb4]::io::write::default_write_fmt::<std[3164a59e47d3bde]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/io/write.rs:402:11
[INFO] [stderr]      7:     0x5dd2b6f080fc - <std[3164a59e47d3bde]::sys::stdio::unix::Stderr as core[934024a1e6126fb4]::io::write::Write>::write_fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/io/write.rs:335:13
[INFO] [stderr]      8:     0x5dd2b6ee5606 - <std[3164a59e47d3bde]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]      9:     0x5dd2b6ee5606 - std[3164a59e47d3bde]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:289:27
[INFO] [stderr]     10:     0x5dd2b6efeb81 - std[3164a59e47d3bde]::panicking::default_hook
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:316:9
[INFO] [stderr]     11:     0x5dd2b6efed3b - std[3164a59e47d3bde]::panicking::panic_with_hook
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:811:13
[INFO] [stderr]     12:     0x5dd2b6ee56b2 - std[3164a59e47d3bde]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:685:13
[INFO] [stderr]     13:     0x5dd2b6ede409 - std[3164a59e47d3bde]::sys::backtrace::__rust_end_short_backtrace::<std[3164a59e47d3bde]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]     14:     0x5dd2b6ee5e7d - __rustc[2e7b49d4226056d3]::rust_begin_unwind
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:676:5
[INFO] [stderr]     15:     0x5dd2b6f1626c - core[934024a1e6126fb4]::panicking::panic_fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/panicking.rs:80:14
[INFO] [stderr]     16:     0x5dd2b6ecf72a - build_script_build[cabecf760d045845]::run
[INFO] [stderr]     17:     0x5dd2b6ecffd5 - build_script_build[cabecf760d045845]::main
[INFO] [stderr]     18:     0x5dd2b6ed2bf3 - <fn() as core[934024a1e6126fb4]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]     19:     0x5dd2b6ece6ee - std[3164a59e47d3bde]::sys::backtrace::__rust_begin_short_backtrace::<fn(), ()>
[INFO] [stderr]     20:     0x5dd2b6eceb59 - std[3164a59e47d3bde]::rt::lang_start::<()>::{closure#0}
[INFO] [stderr]     21:     0x5dd2b6efdff8 - <&dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe as core[934024a1e6126fb4]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/ops/function.rs:287:21
[INFO] [stderr]     22:     0x5dd2b6efdff8 - std[3164a59e47d3bde]::panicking::catch_unwind::do_call::<&dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe, i32>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:573:43
[INFO] [stderr]     23:     0x5dd2b6efdff8 - std[3164a59e47d3bde]::panicking::catch_unwind::<i32, &dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:541:19
[INFO] [stderr]     24:     0x5dd2b6efdff8 - std[3164a59e47d3bde]::panic::catch_unwind::<&dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe, i32>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panic.rs:359:14
[INFO] [stderr]     25:     0x5dd2b6efdff8 - std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/rt.rs:175:24
[INFO] [stderr]     26:     0x5dd2b6efdff8 - std[3164a59e47d3bde]::panicking::catch_unwind::do_call::<std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:573:43
[INFO] [stderr]     27:     0x5dd2b6efdff8 - std[3164a59e47d3bde]::panicking::catch_unwind::<isize, std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:541:19
[INFO] [stderr]     28:     0x5dd2b6efdff8 - std[3164a59e47d3bde]::panic::catch_unwind::<std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panic.rs:359:14
[INFO] [stderr]     29:     0x5dd2b6efdff8 - std[3164a59e47d3bde]::rt::lang_start_internal
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/rt.rs:171:5
[INFO] [stderr]     30:     0x5dd2b6ece551 - std[3164a59e47d3bde]::rt::lang_start::<()>
[INFO] [stderr]     31:     0x5dd2b6ed2ea5 - main
[INFO] [stderr]     32:     0x7465ed7b6601 - <unknown>
[INFO] [stderr]     33:     0x7465ed7b6718 - __libc_start_main
[INFO] [stderr]     34:     0x5dd2b6ecd075 - _start
[INFO] [stderr]     35:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "467814d6b860d895c6829d8d26a59a09a6b913d4aed5e8c2509fbc85e0aaddd9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "467814d6b860d895c6829d8d26a59a09a6b913d4aed5e8c2509fbc85e0aaddd9", kill_on_drop: false }`
[INFO] [stdout] 467814d6b860d895c6829d8d26a59a09a6b913d4aed5e8c2509fbc85e0aaddd9
