[INFO] cloning repository https://github.com/Bram-Hub/aris [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Bram-Hub/aris" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBram-Hub%2Faris", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBram-Hub%2Faris'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 9b40e881c169197e246ba32f4b12216dec36e8e4 [INFO] testing Bram-Hub/aris against beta-2025-01-12 for beta-1.85-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBram-Hub%2Faris" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Bram-Hub/aris on toolchain beta-2025-01-12 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-01-12" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Bram-Hub/aris [INFO] finished tweaking git repo https://github.com/Bram-Hub/aris [INFO] tweaked toml for git repo https://github.com/Bram-Hub/aris written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/Bram-Hub/aris 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" "+beta-2025-01-12" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded varisat-internal-macros v0.2.2 [INFO] [stderr] Downloaded varisat v0.2.2 [INFO] [stderr] Downloaded gloo-dialogs v0.1.1 [INFO] [stderr] Downloaded partial_ref v0.3.3 [INFO] [stderr] Downloaded gloo-file v0.2.3 [INFO] [stderr] Downloaded prokio v0.1.0 [INFO] [stderr] Downloaded ego-tree v0.6.3 [INFO] [stderr] Downloaded gloo-history v0.1.5 [INFO] [stderr] Downloaded scraper v0.14.0 [INFO] [stderr] Downloaded tokio-stream v0.1.17 [INFO] [stderr] Downloaded anymap2 v0.13.0 [INFO] [stderr] Downloaded yew-macro v0.20.0 [INFO] [stderr] Downloaded yew v0.20.0 [INFO] [stderr] Downloaded jni v0.10.2 [INFO] [stderr] Downloaded cbindgen v0.24.5 [INFO] [stderr] Downloaded implicit-clone v0.3.9 [INFO] [stderr] Downloaded syn v2.0.91 [INFO] [stderr] Downloaded gloo-worker v0.2.1 [INFO] [stderr] Downloaded pinned v0.1.0 [INFO] [stderr] Downloaded varisat-dimacs v0.2.2 [INFO] [stderr] Downloaded varisat-formula v0.2.2 [INFO] [stderr] Downloaded varisat-internal-proof v0.2.2 [INFO] [stderr] Downloaded gloo-net v0.3.1 [INFO] [stderr] Downloaded gloo-render v0.1.1 [INFO] [stderr] Downloaded yew-octicons v0.4.0 [INFO] [stderr] Downloaded gloo-console v0.2.3 [INFO] [stderr] Downloaded boolinator v2.4.0 [INFO] [stderr] Downloaded partial_ref_derive v0.3.3 [INFO] [stderr] Downloaded gloo-storage v0.2.2 [INFO] [stderr] Downloaded gloo-utils v0.1.7 [INFO] [stderr] Downloaded varisat-checker v0.2.2 [INFO] [stderr] Downloaded vec_mut_scan v0.3.0 [INFO] [stderr] Downloaded gloo-events v0.1.2 [INFO] [stderr] Downloaded gloo v0.8.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:86ea7c7af713d31e8cfdb68a6d0db50b5cf7cbeecde3d112f9f257f747318d36" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-01-12" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 30937d11f8efe90d0eb922df8b263d917d8cfd30aab3ae2af7bda70c95522d93 [INFO] running `Command { std: "docker" "start" "-a" "30937d11f8efe90d0eb922df8b263d917d8cfd30aab3ae2af7bda70c95522d93", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "30937d11f8efe90d0eb922df8b263d917d8cfd30aab3ae2af7bda70c95522d93", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "30937d11f8efe90d0eb922df8b263d917d8cfd30aab3ae2af7bda70c95522d93", kill_on_drop: false }` [INFO] [stdout] 30937d11f8efe90d0eb922df8b263d917d8cfd30aab3ae2af7bda70c95522d93 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:86ea7c7af713d31e8cfdb68a6d0db50b5cf7cbeecde3d112f9f257f747318d36" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-01-12" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 05dbecb4a1d4dda84fc147b39fae8669b5fe8de3f93f57b00ed1786a4dca06ab [INFO] running `Command { std: "docker" "start" "-a" "05dbecb4a1d4dda84fc147b39fae8669b5fe8de3f93f57b00ed1786a4dca06ab", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.92 [INFO] [stderr] Compiling unicode-ident v1.0.14 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling libc v0.2.169 [INFO] [stderr] Compiling serde v1.0.216 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling once_cell v1.20.2 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling itoa v1.0.14 [INFO] [stderr] Compiling ryu v1.0.18 [INFO] [stderr] Compiling serde_json v1.0.134 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.99 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling bumpalo v3.16.0 [INFO] [stderr] Compiling siphasher v0.3.11 [INFO] [stderr] Compiling wasm-bindgen v0.2.99 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling smallvec v1.13.2 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling itoa v0.4.8 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling anyhow v1.0.95 [INFO] [stderr] Compiling phf_shared v0.8.0 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Compiling rustversion v1.0.18 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling bitflags v1.3.2 [INFO] [stderr] Compiling proc-macro-hack v0.5.20+deprecated [INFO] [stderr] Compiling futures-core v0.3.31 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling pin-project-lite v0.2.15 [INFO] [stderr] Compiling varisat-formula v0.2.2 [INFO] [stderr] Compiling new_debug_unreachable v1.0.6 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling futures-sink v0.3.31 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling futures-channel v0.3.31 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling mac v0.1.1 [INFO] [stderr] Compiling futf v0.1.5 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling syn v2.0.91 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling dtoa v1.0.9 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling varisat-internal-proof v0.2.2 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling varisat v0.2.2 [INFO] [stderr] Compiling parking_lot v0.12.3 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling utf-8 v0.7.6 [INFO] [stderr] Compiling rand_pcg v0.2.1 [INFO] [stderr] Compiling tendril v0.4.3 [INFO] [stderr] Compiling dtoa-short v0.3.5 [INFO] [stderr] Compiling phf v0.10.1 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling leb128 v0.2.5 [INFO] [stderr] Compiling fixedbitset v0.4.2 [INFO] [stderr] Compiling percent-encoding v2.3.1 [INFO] [stderr] Compiling futures-io v0.3.31 [INFO] [stderr] Compiling matches v0.1.10 [INFO] [stderr] Compiling rustix v0.38.42 [INFO] [stderr] Compiling stable_deref_trait v1.2.0 [INFO] [stderr] Compiling vec_mut_scan v0.3.0 [INFO] [stderr] Compiling pin-utils v0.1.0 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Compiling cpufeatures v0.2.16 [INFO] [stderr] Compiling nodrop v0.1.14 [INFO] [stderr] Compiling futures-task v0.3.31 [INFO] [stderr] Compiling servo_arc v0.1.1 [INFO] [stderr] Compiling form_urlencoded v1.2.1 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Compiling base64 v0.21.7 [INFO] [stderr] Compiling prettyplease v0.1.25 [INFO] [stderr] Compiling indexmap v2.7.0 [INFO] [stderr] Compiling object v0.36.7 [INFO] [stderr] Compiling bitflags v2.6.0 [INFO] [stderr] Compiling unicode-width v0.1.14 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling ordered-float v2.10.1 [INFO] [stderr] Compiling petgraph v0.6.5 [INFO] [stderr] Compiling frunk_core v0.4.3 [INFO] [stderr] Compiling thin-slice v0.1.1 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling maplit v1.0.2 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling linux-raw-sys v0.4.14 [INFO] [stderr] Compiling os_str_bytes v6.6.1 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling bytes v1.9.0 [INFO] [stderr] Compiling strum v0.24.1 [INFO] [stderr] Compiling xml-rs v0.8.24 [INFO] [stderr] Compiling getopts v0.2.21 [INFO] [stderr] Compiling sha2 v0.10.8 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling clap_lex v0.2.4 [INFO] [stderr] Compiling tokio v1.42.0 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling http v0.2.12 [INFO] [stderr] Compiling textwrap v0.16.1 [INFO] [stderr] Compiling cbindgen v0.24.5 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stderr] Compiling adler2 v2.0.0 [INFO] [stderr] Compiling ego-tree v0.6.3 [INFO] [stderr] Compiling gimli v0.31.1 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling strsim v0.10.0 [INFO] [stderr] Compiling anymap2 v0.13.0 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling miniz_oxide v0.8.2 [INFO] [stderr] Compiling clap v3.2.25 [INFO] [stderr] Compiling num_cpus v1.16.0 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling tracing-core v0.1.33 [INFO] [stderr] Compiling rustc-demangle v0.1.24 [INFO] [stderr] Compiling void v1.0.2 [INFO] [stderr] Compiling boolinator v2.4.0 [INFO] [stderr] Compiling unreachable v1.0.0 [INFO] [stderr] Compiling jni v0.10.2 [INFO] [stderr] Compiling implicit-clone v0.3.9 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling tempfile v3.14.0 [INFO] [stderr] Compiling ascii v0.9.3 [INFO] [stderr] Compiling cesu8 v1.1.0 [INFO] [stderr] Compiling jni-sys v0.3.0 [INFO] [stderr] Compiling tokio-stream v0.1.17 [INFO] [stderr] Compiling combine v3.8.1 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling partial_ref_derive v0.3.3 [INFO] [stderr] Compiling cssparser v0.27.2 [INFO] [stderr] Compiling html5ever v0.26.0 [INFO] [stderr] Compiling strum_macros v0.24.3 [INFO] [stderr] Compiling yew-macro v0.20.0 [INFO] [stderr] Compiling addr2line v0.24.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling varisat-internal-macros v0.2.2 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.99 [INFO] [stderr] Compiling partial_ref v0.3.3 [INFO] [stderr] Compiling backtrace v0.3.74 [INFO] [stderr] Compiling serde_derive v1.0.216 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling cssparser-macros v0.6.1 [INFO] [stderr] Compiling futures-macro v0.3.31 [INFO] [stderr] Compiling pin-project-internal v1.1.7 [INFO] [stderr] Compiling derive_more v0.99.18 [INFO] [stderr] Compiling tracing-attributes v0.1.28 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.99 [INFO] [stderr] Compiling zerocopy v0.7.35 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.99 [INFO] [stderr] Compiling futures-util v0.3.31 [INFO] [stderr] Compiling pin-project v1.1.7 [INFO] [stderr] Compiling varisat-dimacs v0.2.2 [INFO] [stderr] Compiling tracing v0.1.41 [INFO] [stderr] Compiling ppv-lite86 v0.2.20 [INFO] [stderr] Compiling varisat-checker v0.2.2 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling phf_generator v0.10.0 [INFO] [stderr] Compiling phf_codegen v0.10.0 [INFO] [stderr] Compiling string_cache_codegen v0.5.2 [INFO] [stderr] Compiling phf_generator v0.8.0 [INFO] [stderr] Compiling phf_codegen v0.8.0 [INFO] [stderr] Compiling phf_macros v0.8.0 [INFO] [stderr] Compiling selectors v0.22.0 [INFO] [stderr] Compiling markup5ever v0.11.0 [INFO] [stderr] Compiling phf v0.8.0 [INFO] [stderr] Compiling futures v0.3.31 [INFO] [stderr] Compiling pinned v0.1.0 [INFO] [stderr] Compiling prokio v0.1.0 [INFO] [stderr] Compiling string_cache v0.8.7 [INFO] [stderr] Compiling bincode v1.3.3 [INFO] [stderr] Compiling serde_urlencoded v0.7.1 [INFO] [stderr] Compiling toml v0.5.11 [INFO] [stderr] Compiling scraper v0.14.0 [INFO] [stderr] Compiling js-sys v0.3.76 [INFO] [stderr] Compiling console_error_panic_hook v0.1.7 [INFO] [stderr] Compiling yew-octicons v0.4.0 [INFO] [stderr] Compiling aris v0.1.0 (/opt/rustwide/workdir/aris) [INFO] [stderr] Compiling aris-c v0.1.0 (/opt/rustwide/workdir/bindings/c) [INFO] [stderr] Compiling web-sys v0.3.76 [INFO] [stderr] Compiling wasm-bindgen-futures v0.4.49 [INFO] [stderr] Compiling serde-wasm-bindgen v0.5.0 [INFO] [stderr] Compiling gloo-timers v0.2.6 [INFO] [stderr] Compiling aris-js v0.1.0 (/opt/rustwide/workdir/bindings/js) [INFO] [stderr] Compiling aris-java v0.1.0 (/opt/rustwide/workdir/bindings/java) [INFO] [stderr] Compiling aris-auto-grader v0.1.0 (/opt/rustwide/workdir/auto-grader) [INFO] [stderr] Compiling gloo-utils v0.1.7 [INFO] [stderr] Compiling gloo-events v0.1.2 [INFO] [stderr] Compiling gloo-render v0.1.1 [INFO] [stderr] Compiling gloo-dialogs v0.1.1 [INFO] [stderr] Compiling gloo-file v0.2.3 [INFO] [stderr] Compiling gloo-console v0.2.3 [INFO] [stderr] Compiling gloo-history v0.1.5 [INFO] [stderr] Compiling gloo-net v0.3.1 [INFO] [stderr] Compiling gloo-storage v0.2.2 [INFO] [stderr] Compiling gloo-worker v0.2.1 [INFO] [stderr] Compiling gloo v0.8.1 [INFO] [stderr] Compiling yew v0.20.0 [INFO] [stderr] Compiling aris-web-app v0.1.0 (/opt/rustwide/workdir/web-app) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 47s [INFO] running `Command { std: "docker" "inspect" "05dbecb4a1d4dda84fc147b39fae8669b5fe8de3f93f57b00ed1786a4dca06ab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "05dbecb4a1d4dda84fc147b39fae8669b5fe8de3f93f57b00ed1786a4dca06ab", kill_on_drop: false }` [INFO] [stdout] 05dbecb4a1d4dda84fc147b39fae8669b5fe8de3f93f57b00ed1786a4dca06ab [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:86ea7c7af713d31e8cfdb68a6d0db50b5cf7cbeecde3d112f9f257f747318d36" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-01-12" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e93a0aed581af43af1c41a938051e4516acef6722f7b6619bb34b4a68bc34e00 [INFO] running `Command { std: "docker" "start" "-a" "e93a0aed581af43af1c41a938051e4516acef6722f7b6619bb34b4a68bc34e00", kill_on_drop: false }` [INFO] [stderr] Compiling aris-js v0.1.0 (/opt/rustwide/workdir/bindings/js) [INFO] [stderr] Compiling aris-auto-grader v0.1.0 (/opt/rustwide/workdir/auto-grader) [INFO] [stderr] Compiling aris v0.1.0 (/opt/rustwide/workdir/aris) [INFO] [stderr] Compiling aris-web-app v0.1.0 (/opt/rustwide/workdir/web-app) [INFO] [stderr] Compiling aris-c v0.1.0 (/opt/rustwide/workdir/bindings/c) [INFO] [stderr] Compiling aris-java v0.1.0 (/opt/rustwide/workdir/bindings/java) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 10.21s [INFO] running `Command { std: "docker" "inspect" "e93a0aed581af43af1c41a938051e4516acef6722f7b6619bb34b4a68bc34e00", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e93a0aed581af43af1c41a938051e4516acef6722f7b6619bb34b4a68bc34e00", kill_on_drop: false }` [INFO] [stdout] e93a0aed581af43af1c41a938051e4516acef6722f7b6619bb34b4a68bc34e00 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:86ea7c7af713d31e8cfdb68a6d0db50b5cf7cbeecde3d112f9f257f747318d36" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-01-12" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 9455f55bf575d7e38499564285b0222e15af538e30e1e28d4a6f9dc08dcb9804 [INFO] running `Command { std: "docker" "start" "-a" "9455f55bf575d7e38499564285b0222e15af538e30e1e28d4a6f9dc08dcb9804", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.27s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/aris-037a99e02cd28ecf) [INFO] [stdout] [INFO] [stdout] running 74 tests [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_biconelim ... ok [INFO] [stdout] test expr::tests::test_subst ... ok [INFO] [stdout] test proofs::pooledproof::tests::test_pooledproof_mutating_lines ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_biconintro ... ok [INFO] [stdout] test expr::tests::test_combine_associative_ops_bool ... ok [INFO] [stdout] test proofs::pooledproof::tests::prettyprint_pool ... ok [INFO] [stdout] test expr::tests::test_unify ... ok [INFO] [stdout] test proofs::lined_proof::tests::test_from_proof ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_equivintro ... ok [INFO] [stdout] test expr::tests::test_gen_var ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_notintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_orelim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_forallelim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_impintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_andintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_bicon_contraposition ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_bicon_elim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_annihilation ... ok [INFO] [stdout] test equivs::tests::bruteforce_equivalence_truthtables ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_andelim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_bicon_elim_negation ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_association_bicon ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_association_bool ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_equivelim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_forallintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_adjacency ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_absorption ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_bicon_intro_negation ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_bicon_intro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_commutation_bicon ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_commutation_bool ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_con_elim_negation ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_con_intro_negation ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_excluded_middle ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_constructive_dilemma ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_disjunctive_syllogism ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_contelim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_destructive_dilemma ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_hypothetical_syllogism ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_halfdemorgan ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_exclusion ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_empty_rule ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_contradictionintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_existselim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_existsintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_doublenegation ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_orintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_inverse ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_notelim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_identity ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_modus_tollens ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_strengthen_antecedent ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_resolution ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_impelim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_reiteration ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_reduction ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_idempotence ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_weaken_consequent ... ok [INFO] [stdout] test zipper_vec::test_zippervec_pop ... ok [INFO] [stdout] test proofs::xml_interop::tests::test_xml3 ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_truth_func_conseq ... ok [INFO] [stdout] test rewrite_rules::tests::test_reduce_pattern ... ok [INFO] [stdout] test rewrite_rules::tests::test_permute_ops ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_demorgan ... ok [INFO] [stdout] test rules::tests::test_either_order ... ok [INFO] [stdout] test proofs::xml_interop::tests::test_xml2 ... ok [INFO] [stdout] test zipper_vec::test_zippervec_insert_relative ... ok [INFO] [stdout] test proofs::xml_interop::tests::test_xml ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_strong_induction ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_complement ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_weak_induction ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_distribution ... ok [INFO] [stdout] test parser::test_parser ... ok [INFO] [stdout] test expr::tests::test_expressions_for_depth ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 74 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.13s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/aris_auto_grader-e6eb1caeedd83977) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/aris_c-8e8e7f92460b8770) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/aris_java-0a913bf58251f472) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/aris_js-bed602d3c251e241) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/aris_web_app-2094f29f26440f18) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests aris [INFO] [stdout] [INFO] [stdout] running 26 tests [INFO] [stdout] test aris/src/equivs.rs - equivs::define_rewrite_rule (line 7) ... ignored [INFO] [stdout] test aris/src/expr.rs - expr::NnfExpr::bicon (line 1739) ... FAILED [INFO] [stdout] test aris/src/expr.rs - expr::NnfExpr::not (line 1781) ... FAILED [INFO] [stdout] test aris/src/expr.rs - expr::Expr::into_nnf (line 1633) ... FAILED [INFO] [stdout] test aris/src/expr.rs - expr::NnfExpr::implies (line 1709) ... FAILED [INFO] [stdout] test aris/src/expr.rs - expr::NnfExpr::var (line 1725) ... FAILED [INFO] [stdout] test aris/src/proofs.rs - proofs (line 118) - compile fail ... ok [INFO] [stdout] test aris/src/expr.rs - expr::CnfExpr::literal (line 1836) ... FAILED [INFO] [stdout] test aris/src/proofs.rs - proofs (line 30) ... FAILED [INFO] [stdout] test aris/src/proofs.rs - proofs (line 57) ... FAILED [INFO] [stdout] test aris/src/expr.rs - expr (line 7) ... ok [INFO] [stdout] test aris/src/expr.rs - expr (line 14) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::NnfExpr::into_cnf (line 1757) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::CnfExpr (line 166) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::CnfExpr::and (line 1861) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::CnfExpr::contra (line 1821) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::CnfExpr::var (line 1849) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::CnfExpr::taut (line 1807) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::CnfExpr::to_varisat (line 1905) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::CnfExpr::or (line 1879) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::Expr::into_cnf (line 1612) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::NnfExpr::contra (line 1694) ... ok [INFO] [stdout] test aris/src/macros.rs - macros::expand (line 9) ... ok [INFO] [stdout] test aris/src/expr.rs - expr::NnfExpr::taut (line 1680) ... ok [INFO] [stdout] test aris/src/rules.rs - rules::EmptyRule (line 224) ... ok [INFO] [stdout] test aris/src/proofs.rs - proofs (line 88) ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- aris/src/expr.rs - expr::NnfExpr::bicon (line 1739) stdout ---- [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcRbUNIp/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/{libaris-bcf3bee088e3605c.rlib,libstrum-1c4e15504d531528.rlib,libvarisat-3112cd7e12f41bfb.rlib,libleb128-7759971397ea6ba0.rlib,libordered_float-f57cd7a0118953d9.rlib,libnum_traits-9ae3bd34902b5896.rlib,libvec_mut_scan-79a8e93fee3de8d2.rlib,libvarisat_checker-aff5295f34e52f22.rlib,liblog-9a3ff67864b30e2c.rlib,libsmallvec-5dc15f12cdebef01.rlib,librustc_hash-d7c4a66f98a2548f.rlib,libvarisat_internal_proof-d3d8380cbb852824.rlib,libvarisat_dimacs-458efbaef197ad3b.rlib,libitoa-968a9d3f706bae82.rlib,libvarisat_formula-3361678135ed1844.rlib,libthiserror-4336268353b82b44.rlib,libanyhow-a56f4d42ed1c4051.rlib,libpartial_ref-c66aba675770fd39.rlib,libpetgraph-2c7b218a886a3c1a.rlib,libindexmap-b55b2e765400ecfc.rlib,libequivalent-487f93f8f6ab5e5b.rlib,libhashbrown-acdfbba63b345327.rlib,libfixedbitset-9fb76a17080ec2ce.rlib,libsha2-b470b5cd4c412ddf.rlib,libcpufeatures-2e2ebae977353a9d.rlib,libcfg_if-3e7fc4e38d4a72b5.rlib,libdigest-5a4b6dd744fb2678.rlib,libblock_buffer-38c9df5ac7fcce0f.rlib,libcrypto_common-f28820e30da6394a.rlib,libgeneric_array-1b50d99765d5dfd0.rlib,libtypenum-c2fff0d6cd29fbbc.rlib,libbase64-13144a1f1e192158.rlib,libxml-753b95d1827881af.rlib,libfrunk_core-788fa0b356012e4d.rlib,libnom-1439968240cd6607.rlib,libmemchr-53b28fca1243bcf4.rlib,libserde-043afa3aae8e82df.rlib,libmaplit-f141af93a08d6c7e.rlib,libitertools-f4793563c6e425d1.rlib,libeither-b4418dba5a443acb.rlib,liblazy_static-3674be3f4245d19b.rlib}" "/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-2e6eca6bf1681754.rlib,libpanic_unwind-6419b8734ab2f0cb.rlib,libobject-784ada497c5d935e.rlib,libmemchr-9267ffe866ca370f.rlib,libaddr2line-36f3ec5f8f15f213.rlib,libgimli-a0a71c3c5fe00164.rlib,librustc_demangle-95f237535246c825.rlib,libstd_detect-e0bd23c2b0917c59.rlib,libhashbrown-22a7802a8abbef9e.rlib,librustc_std_workspace_alloc-eb0228d54dd99343.rlib,libminiz_oxide-e6c6f516ce70276d.rlib,libadler-af73ed2b2e212982.rlib,libunwind-0000b4ce778574a2.rlib,libcfg_if-1a94dbdc43bc518f.rlib,liblibc-b957950176a614bc.rlib,liballoc-2b137d666ae9b5cb.rlib,librustc_std_workspace_core-4cf833632aafa84c.rlib,libcore-65c2c6d2d6ae570b.rlib,libcompiler_builtins-678c764df5f831e4.rlib}" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestk6J3D1/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- aris/src/expr.rs - expr::NnfExpr::not (line 1781) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- aris/src/expr.rs - expr::Expr::into_nnf (line 1633) stdout ---- [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustc9Ay1vw/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/{libaris-bcf3bee088e3605c.rlib,libstrum-1c4e15504d531528.rlib,libvarisat-3112cd7e12f41bfb.rlib,libleb128-7759971397ea6ba0.rlib,libordered_float-f57cd7a0118953d9.rlib,libnum_traits-9ae3bd34902b5896.rlib,libvec_mut_scan-79a8e93fee3de8d2.rlib,libvarisat_checker-aff5295f34e52f22.rlib,liblog-9a3ff67864b30e2c.rlib,libsmallvec-5dc15f12cdebef01.rlib,librustc_hash-d7c4a66f98a2548f.rlib,libvarisat_internal_proof-d3d8380cbb852824.rlib,libvarisat_dimacs-458efbaef197ad3b.rlib,libitoa-968a9d3f706bae82.rlib,libvarisat_formula-3361678135ed1844.rlib,libthiserror-4336268353b82b44.rlib,libanyhow-a56f4d42ed1c4051.rlib,libpartial_ref-c66aba675770fd39.rlib,libpetgraph-2c7b218a886a3c1a.rlib,libindexmap-b55b2e765400ecfc.rlib,libequivalent-487f93f8f6ab5e5b.rlib,libhashbrown-acdfbba63b345327.rlib,libfixedbitset-9fb76a17080ec2ce.rlib,libsha2-b470b5cd4c412ddf.rlib,libcpufeatures-2e2ebae977353a9d.rlib,libcfg_if-3e7fc4e38d4a72b5.rlib,libdigest-5a4b6dd744fb2678.rlib,libblock_buffer-38c9df5ac7fcce0f.rlib,libcrypto_common-f28820e30da6394a.rlib,libgeneric_array-1b50d99765d5dfd0.rlib,libtypenum-c2fff0d6cd29fbbc.rlib,libbase64-13144a1f1e192158.rlib,libxml-753b95d1827881af.rlib,libfrunk_core-788fa0b356012e4d.rlib,libnom-1439968240cd6607.rlib,libmemchr-53b28fca1243bcf4.rlib,libserde-043afa3aae8e82df.rlib,libmaplit-f141af93a08d6c7e.rlib,libitertools-f4793563c6e425d1.rlib,libeither-b4418dba5a443acb.rlib,liblazy_static-3674be3f4245d19b.rlib}" "/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-2e6eca6bf1681754.rlib,libpanic_unwind-6419b8734ab2f0cb.rlib,libobject-784ada497c5d935e.rlib,libmemchr-9267ffe866ca370f.rlib,libaddr2line-36f3ec5f8f15f213.rlib,libgimli-a0a71c3c5fe00164.rlib,librustc_demangle-95f237535246c825.rlib,libstd_detect-e0bd23c2b0917c59.rlib,libhashbrown-22a7802a8abbef9e.rlib,librustc_std_workspace_alloc-eb0228d54dd99343.rlib,libminiz_oxide-e6c6f516ce70276d.rlib,libadler-af73ed2b2e212982.rlib,libunwind-0000b4ce778574a2.rlib,libcfg_if-1a94dbdc43bc518f.rlib,liblibc-b957950176a614bc.rlib,liballoc-2b137d666ae9b5cb.rlib,librustc_std_workspace_core-4cf833632aafa84c.rlib,libcore-65c2c6d2d6ae570b.rlib,libcompiler_builtins-678c764df5f831e4.rlib}" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestLoOHgF/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- aris/src/expr.rs - expr::NnfExpr::implies (line 1709) stdout ---- [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcvYvjW8/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/{libaris-bcf3bee088e3605c.rlib,libstrum-1c4e15504d531528.rlib,libvarisat-3112cd7e12f41bfb.rlib,libleb128-7759971397ea6ba0.rlib,libordered_float-f57cd7a0118953d9.rlib,libnum_traits-9ae3bd34902b5896.rlib,libvec_mut_scan-79a8e93fee3de8d2.rlib,libvarisat_checker-aff5295f34e52f22.rlib,liblog-9a3ff67864b30e2c.rlib,libsmallvec-5dc15f12cdebef01.rlib,librustc_hash-d7c4a66f98a2548f.rlib,libvarisat_internal_proof-d3d8380cbb852824.rlib,libvarisat_dimacs-458efbaef197ad3b.rlib,libitoa-968a9d3f706bae82.rlib,libvarisat_formula-3361678135ed1844.rlib,libthiserror-4336268353b82b44.rlib,libanyhow-a56f4d42ed1c4051.rlib,libpartial_ref-c66aba675770fd39.rlib,libpetgraph-2c7b218a886a3c1a.rlib,libindexmap-b55b2e765400ecfc.rlib,libequivalent-487f93f8f6ab5e5b.rlib,libhashbrown-acdfbba63b345327.rlib,libfixedbitset-9fb76a17080ec2ce.rlib,libsha2-b470b5cd4c412ddf.rlib,libcpufeatures-2e2ebae977353a9d.rlib,libcfg_if-3e7fc4e38d4a72b5.rlib,libdigest-5a4b6dd744fb2678.rlib,libblock_buffer-38c9df5ac7fcce0f.rlib,libcrypto_common-f28820e30da6394a.rlib,libgeneric_array-1b50d99765d5dfd0.rlib,libtypenum-c2fff0d6cd29fbbc.rlib,libbase64-13144a1f1e192158.rlib,libxml-753b95d1827881af.rlib,libfrunk_core-788fa0b356012e4d.rlib,libnom-1439968240cd6607.rlib,libmemchr-53b28fca1243bcf4.rlib,libserde-043afa3aae8e82df.rlib,libmaplit-f141af93a08d6c7e.rlib,libitertools-f4793563c6e425d1.rlib,libeither-b4418dba5a443acb.rlib,liblazy_static-3674be3f4245d19b.rlib}" "/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-2e6eca6bf1681754.rlib,libpanic_unwind-6419b8734ab2f0cb.rlib,libobject-784ada497c5d935e.rlib,libmemchr-9267ffe866ca370f.rlib,libaddr2line-36f3ec5f8f15f213.rlib,libgimli-a0a71c3c5fe00164.rlib,librustc_demangle-95f237535246c825.rlib,libstd_detect-e0bd23c2b0917c59.rlib,libhashbrown-22a7802a8abbef9e.rlib,librustc_std_workspace_alloc-eb0228d54dd99343.rlib,libminiz_oxide-e6c6f516ce70276d.rlib,libadler-af73ed2b2e212982.rlib,libunwind-0000b4ce778574a2.rlib,libcfg_if-1a94dbdc43bc518f.rlib,liblibc-b957950176a614bc.rlib,liballoc-2b137d666ae9b5cb.rlib,librustc_std_workspace_core-4cf833632aafa84c.rlib,libcore-65c2c6d2d6ae570b.rlib,libcompiler_builtins-678c764df5f831e4.rlib}" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestb658NL/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- aris/src/expr.rs - expr::NnfExpr::var (line 1725) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- aris/src/expr.rs - expr::CnfExpr::literal (line 1836) stdout ---- [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcizLvME/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/{libaris-bcf3bee088e3605c.rlib,libstrum-1c4e15504d531528.rlib,libvarisat-3112cd7e12f41bfb.rlib,libleb128-7759971397ea6ba0.rlib,libordered_float-f57cd7a0118953d9.rlib,libnum_traits-9ae3bd34902b5896.rlib,libvec_mut_scan-79a8e93fee3de8d2.rlib,libvarisat_checker-aff5295f34e52f22.rlib,liblog-9a3ff67864b30e2c.rlib,libsmallvec-5dc15f12cdebef01.rlib,librustc_hash-d7c4a66f98a2548f.rlib,libvarisat_internal_proof-d3d8380cbb852824.rlib,libvarisat_dimacs-458efbaef197ad3b.rlib,libitoa-968a9d3f706bae82.rlib,libvarisat_formula-3361678135ed1844.rlib,libthiserror-4336268353b82b44.rlib,libanyhow-a56f4d42ed1c4051.rlib,libpartial_ref-c66aba675770fd39.rlib,libpetgraph-2c7b218a886a3c1a.rlib,libindexmap-b55b2e765400ecfc.rlib,libequivalent-487f93f8f6ab5e5b.rlib,libhashbrown-acdfbba63b345327.rlib,libfixedbitset-9fb76a17080ec2ce.rlib,libsha2-b470b5cd4c412ddf.rlib,libcpufeatures-2e2ebae977353a9d.rlib,libcfg_if-3e7fc4e38d4a72b5.rlib,libdigest-5a4b6dd744fb2678.rlib,libblock_buffer-38c9df5ac7fcce0f.rlib,libcrypto_common-f28820e30da6394a.rlib,libgeneric_array-1b50d99765d5dfd0.rlib,libtypenum-c2fff0d6cd29fbbc.rlib,libbase64-13144a1f1e192158.rlib,libxml-753b95d1827881af.rlib,libfrunk_core-788fa0b356012e4d.rlib,libnom-1439968240cd6607.rlib,libmemchr-53b28fca1243bcf4.rlib,libserde-043afa3aae8e82df.rlib,libmaplit-f141af93a08d6c7e.rlib,libitertools-f4793563c6e425d1.rlib,libeither-b4418dba5a443acb.rlib,liblazy_static-3674be3f4245d19b.rlib}" "/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-2e6eca6bf1681754.rlib,libpanic_unwind-6419b8734ab2f0cb.rlib,libobject-784ada497c5d935e.rlib,libmemchr-9267ffe866ca370f.rlib,libaddr2line-36f3ec5f8f15f213.rlib,libgimli-a0a71c3c5fe00164.rlib,librustc_demangle-95f237535246c825.rlib,libstd_detect-e0bd23c2b0917c59.rlib,libhashbrown-22a7802a8abbef9e.rlib,librustc_std_workspace_alloc-eb0228d54dd99343.rlib,libminiz_oxide-e6c6f516ce70276d.rlib,libadler-af73ed2b2e212982.rlib,libunwind-0000b4ce778574a2.rlib,libcfg_if-1a94dbdc43bc518f.rlib,liblibc-b957950176a614bc.rlib,liballoc-2b137d666ae9b5cb.rlib,librustc_std_workspace_core-4cf833632aafa84c.rlib,libcore-65c2c6d2d6ae570b.rlib,libcompiler_builtins-678c764df5f831e4.rlib}" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2025-01-12-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestQs8Jwc/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- aris/src/proofs.rs - proofs (line 30) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- aris/src/proofs.rs - proofs (line 57) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] aris/src/expr.rs - expr::CnfExpr::literal (line 1836) [INFO] [stdout] aris/src/expr.rs - expr::Expr::into_nnf (line 1633) [INFO] [stdout] aris/src/expr.rs - expr::NnfExpr::bicon (line 1739) [INFO] [stdout] aris/src/expr.rs - expr::NnfExpr::implies (line 1709) [INFO] [stdout] aris/src/expr.rs - expr::NnfExpr::not (line 1781) [INFO] [stdout] aris/src/expr.rs - expr::NnfExpr::var (line 1725) [INFO] [stdout] aris/src/proofs.rs - proofs (line 30) [INFO] [stdout] aris/src/proofs.rs - proofs (line 57) [INFO] [stdout] [INFO] [stdout] test result: FAILED. 17 passed; 8 failed; 1 ignored; 0 measured; 0 filtered out; finished in 8.68s [INFO] [stdout] [INFO] [stderr] error: doctest failed, to rerun pass `-p aris --doc` [INFO] running `Command { std: "docker" "inspect" "9455f55bf575d7e38499564285b0222e15af538e30e1e28d4a6f9dc08dcb9804", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9455f55bf575d7e38499564285b0222e15af538e30e1e28d4a6f9dc08dcb9804", kill_on_drop: false }` [INFO] [stdout] 9455f55bf575d7e38499564285b0222e15af538e30e1e28d4a6f9dc08dcb9804