[INFO] fetching crate eqmap 0.9.6...
[INFO] testing eqmap-0.9.6 against 1.97.0-beta.6 for beta-1.98-1
[INFO] extracting crate eqmap 0.9.6 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate eqmap 0.9.6
[INFO] finished tweaking crates.io crate eqmap 0.9.6
[INFO] tweaked toml for crates.io crate eqmap 0.9.6 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate eqmap 0.9.6 on toolchain 1.97.0-beta.6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate eqmap 0.9.6 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.97.0-beta.6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded toml v0.9.12+spec-1.1.0
[INFO] [stderr]   Downloaded sv-parser v0.13.5
[INFO] [stderr]   Downloaded toml_datetime v0.7.5+spec-1.1.0
[INFO] [stderr]   Downloaded nom-tracable-macros v0.9.1
[INFO] [stderr]   Downloaded nom-recursive v0.5.1
[INFO] [stderr]   Downloaded nom-greedyerror v0.5.0
[INFO] [stderr]   Downloaded funty v2.0.0
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.118
[INFO] [stderr]   Downloaded coin_cbc_sys v0.1.2
[INFO] [stderr]   Downloaded flussab v0.3.1
[INFO] [stderr]   Downloaded coin_cbc v0.1.8
[INFO] [stderr]   Downloaded symbol_table v0.4.0
[INFO] [stderr]   Downloaded str-concat v0.2.0
[INFO] [stderr]   Downloaded sv-parser-error v0.13.5
[INFO] [stderr]   Downloaded unit-prefix v0.5.2
[INFO] [stderr]   Downloaded nom-recursive-macros v0.5.1
[INFO] [stderr]   Downloaded radium v0.7.0
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.118
[INFO] [stderr]   Downloaded nom-tracable v0.9.1
[INFO] [stderr]   Downloaded nom-packrat v0.7.0
[INFO] [stderr]   Downloaded nom-packrat-macros v0.7.0
[INFO] [stderr]   Downloaded highs v2.0.0
[INFO] [stderr]   Downloaded sv-parser-macros v0.13.5
[INFO] [stderr]   Downloaded num-conv v0.2.1
[INFO] [stderr]   Downloaded symbolic_expressions v5.0.3
[INFO] [stderr]   Downloaded simplelog v0.12.2
[INFO] [stderr]   Downloaded fixedbitset v0.5.7
[INFO] [stderr]   Downloaded bytecount v0.6.9
[INFO] [stderr]   Downloaded safety-pass v0.4.1
[INFO] [stderr]   Downloaded nl-compiler v0.1.19
[INFO] [stderr]   Downloaded zwohash v0.1.2
[INFO] [stderr]   Downloaded pkg-config v0.3.33
[INFO] [stderr]   Downloaded ctrlc v3.5.2
[INFO] [stderr]   Downloaded sv-parser-pp v0.13.5
[INFO] [stderr]   Downloaded wyz v0.5.1
[INFO] [stderr]   Downloaded tap v1.0.1
[INFO] [stderr]   Downloaded flussab-aiger v0.1.1
[INFO] [stderr]   Downloaded cmake v0.1.58
[INFO] [stderr]   Downloaded nom_locate v4.2.0
[INFO] [stderr]   Downloaded clap_derive v4.6.1
[INFO] [stderr]   Downloaded console v0.16.3
[INFO] [stderr]   Downloaded quanta v0.12.6
[INFO] [stderr]   Downloaded sv-parser-syntaxtree v0.13.5
[INFO] [stderr]   Downloaded env_logger v0.9.3
[INFO] [stderr]   Downloaded clap v4.6.1
[INFO] [stderr]   Downloaded encode_unicode v1.0.0
[INFO] [stderr]   Downloaded safety-net v0.7.0
[INFO] [stderr]   Downloaded allocator-api2 v0.2.21
[INFO] [stderr]   Downloaded indicatif v0.18.4
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.118
[INFO] [stderr]   Downloaded good_lp v1.15.1
[INFO] [stderr]   Downloaded itoap v1.0.1
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.118
[INFO] [stderr]   Downloaded winnow v1.0.2
[INFO] [stderr]   Downloaded js-sys v0.3.95
[INFO] [stderr]   Downloaded cc v1.2.60
[INFO] [stderr]   Downloaded raw-cpuid v11.6.0
[INFO] [stderr]   Downloaded hashbrown v0.17.0
[INFO] [stderr]   Downloaded sv-parser-parser v0.13.5
[INFO] [stderr]   Downloaded egg v0.11.0
[INFO] [stderr]   Downloaded itertools v0.13.0
[INFO] [stderr]   Downloaded portable-atomic v1.13.1
[INFO] [stderr]   Downloaded bitvec v1.0.1
[INFO] [stderr]   Downloaded unicode-width v0.2.2
[INFO] [stderr]   Downloaded bindgen v0.72.1
[INFO] [stderr]   Downloaded nix v0.31.2
[INFO] [stderr]   Downloaded web-sys v0.3.95
[INFO] [stderr]   Downloaded petgraph v0.8.3
[INFO] [stderr]   Downloaded libc v0.2.185
[INFO] [stderr]   Downloaded highs-sys v1.14.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d
[INFO] running `Command { std: "docker" "start" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d", 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" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling libc v0.2.185
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling bytecount v0.6.9
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling foldhash v0.1.5
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling hashbrown v0.17.0
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling nom_locate v4.2.0
[INFO] [stderr]    Compiling nom-greedyerror v0.5.0
[INFO] [stderr]    Compiling str-concat v0.2.0
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling bitflags v2.11.1
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling cfg_aliases v0.2.1
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling itoap v1.0.1
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling flussab v0.3.1
[INFO] [stderr]    Compiling petgraph v0.8.3
[INFO] [stderr]    Compiling nix v0.31.2
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling time-core v0.1.8
[INFO] [stderr]    Compiling num-conv v0.2.1
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling powerfmt v0.2.0
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling zwohash v0.1.2
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling portable-atomic v1.13.1
[INFO] [stderr]    Compiling zmij v1.0.21
[INFO] [stderr]    Compiling rand_core v0.10.1
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling itoa v1.0.18
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling deranged v0.5.8
[INFO] [stderr]    Compiling time-macros v0.2.27
[INFO] [stderr]    Compiling sv-parser-syntaxtree v0.13.5
[INFO] [stderr]    Compiling raw-cpuid v11.6.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling cpufeatures v0.3.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling winnow v1.0.2
[INFO] [stderr]    Compiling num_threads v0.1.7
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling time v0.3.47
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling console v0.16.3
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling sv-parser-macros v0.13.5
[INFO] [stderr]    Compiling nom-packrat-macros v0.7.0
[INFO] [stderr]    Compiling nom-tracable-macros v0.9.1
[INFO] [stderr]    Compiling nom-recursive-macros v0.5.1
[INFO] [stderr]    Compiling nom-tracable v0.9.1
[INFO] [stderr]    Compiling nom-recursive v0.5.1
[INFO] [stderr]    Compiling nom-packrat v0.7.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling sv-parser-error v0.13.5
[INFO] [stderr]    Compiling safety-net v0.7.0
[INFO] [stderr]    Compiling quanta v0.12.6
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling toml_parser v1.1.2+spec-1.1.0
[INFO] [stderr]    Compiling chacha20 v0.10.0
[INFO] [stderr]    Compiling flussab-aiger v0.1.1
[INFO] [stderr]    Compiling toml_datetime v0.7.5+spec-1.1.0
[INFO] [stderr]    Compiling serde_spanned v1.1.1
[INFO] [stderr]    Compiling symbol_table v0.4.0
[INFO] [stderr]    Compiling env_logger v0.9.3
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling unit-prefix v0.5.2
[INFO] [stderr]    Compiling symbolic_expressions v5.0.3
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling winnow v0.7.15
[INFO] [stderr]    Compiling toml_writer v1.1.1+spec-1.1.0
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling rustc-hash v2.1.2
[INFO] [stderr]    Compiling egg v0.11.0
[INFO] [stderr]    Compiling simplelog v0.12.2
[INFO] [stderr]    Compiling indicatif v0.18.4
[INFO] [stderr]    Compiling ctrlc v3.5.2
[INFO] [stderr]    Compiling rand v0.10.1
[INFO] [stderr]    Compiling toml v0.9.12+spec-1.1.0
[INFO] [stderr]    Compiling sv-parser-parser v0.13.5
[INFO] [stderr]    Compiling sv-parser-pp v0.13.5
[INFO] [stderr]    Compiling sv-parser v0.13.5
[INFO] [stderr]    Compiling nl-compiler v0.1.19
[INFO] [stderr]    Compiling safety-pass v0.4.1
[INFO] [stderr]    Compiling eqmap v0.9.6 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3m 50s
[INFO] running `Command { std: "docker" "inspect" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling eqmap v0.9.6 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 21.55s
[INFO] running `Command { std: "docker" "inspect" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d", 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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d" "/opt/rustwide/cargo-home/bin/cargo" "+1.97.0-beta.6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.50s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/eqmap-e4ba25496bd900fc)
[INFO] [stdout] 
[INFO] [stdout] running 55 tests
[INFO] [stdout] test lut::tests::test_empty_expr ... ok
[INFO] [stdout] test lut::tests::test_clone_subexpression ... ok
[INFO] [stdout] test lut::tests::test_bad_cells ... ok
[INFO] [stdout] test netlist::tests::test_consts ... ok
[INFO] [stdout] test netlist::tests::test_and_gate ... ok
[INFO] [stdout] test netlist::tests::test_divider ... ok
[INFO] [stdout] test netlist::tests::test_divider_r2r ... ok
[INFO] [stdout] test netlist::tests::test_and_flip ... ok
[INFO] [stdout] test tests::test_bad_var ... ok
[INFO] [stdout] test tests::test_assignment_emission ... ok
[INFO] [stdout] test tests::test_bus_type ... ok
[INFO] [stdout] test tests::test_bad_bus ... ok
[INFO] [stdout] test tests::test_canonical ... ok
[INFO] [stdout] test tests::test_analysis ... ok
[INFO] [stdout] test tests::test_celllang ... ok
[INFO] [stdout] test tests::test_circuit_stats ... ok
[INFO] [stdout] test rewrite::test_parse_rules ... ok
[INFO] [stdout] test tests::test_check_equiv ... ok
[INFO] [stdout] test tests::test_cycle ... ok
[INFO] [stdout] test tests::test_cycle_verify ... ok
[INFO] [stdout] test tests::test_dominance ... ok
[INFO] [stdout] test tests::test_assignment_verilog ... ok
[INFO] [stdout] test tests::test_dont_care ... ok
[INFO] [stdout] test tests::test_duplicate_assignment ... ok
[INFO] [stdout] test tests::test_emit_celllang ... ok
[INFO] [stdout] test tests::test_emit_gates ... ok
[INFO] [stdout] test tests::test_cell_parse_and ... ok
[INFO] [stdout] test tests::test_cell_parse ... ok
[INFO] [stdout] test tests::test_emit_reg ... ok
[INFO] [stdout] test tests::test_get_lut_count ... ok
[INFO] [stdout] test tests::test_get_lut_k_count ... ok
[INFO] [stdout] test tests::test_input_lists ... ok
[INFO] [stdout] test tests::test_interface_count ... ok
[INFO] [stdout] test tests::test_lut_too_big ... ok
[INFO] [stdout] test tests::test_cell_area ... ok
[INFO] [stdout] test tests::test_double_inverter ... ok
[INFO] [stdout] test tests::test_principal_inputs ... ok
[INFO] [stdout] test tests::test_not_equiv ... ok
[INFO] [stdout] test tests::test_program_formats ... ok
[INFO] [stdout] test tests::test_swap ... ok
[INFO] [stdout] test tests::test_swap2 ... ok
[INFO] [stdout] test tests::test_verilog_emitter ... ok
[INFO] [stdout] test tests::test_constant_parse ... ok
[INFO] [stdout] test tests::test_reg ... ok
[INFO] [stdout] test tests::test_missing_program ... ok
[INFO] [stdout] test tests::test_gate_parse ... ok
[INFO] [stdout] test verilog::test_cellang_emission ... ok
[INFO] [stdout] test verilog::test_verilog_literals ... ok
[INFO] [stdout] test verilog::test_primitive_connections ... ok
[INFO] [stdout] test tests::test_constant_verilog ... ok
[INFO] [stdout] test tests::test_verilog_roundtrip ... ok
[INFO] [stdout] test tests::test_verilog_to_expr ... ok
[INFO] [stdout] test tests::test_fdre_verilog ... ok
[INFO] [stdout] test verilog::test_parse_verilog ... ok
[INFO] [stderr]      Running unittests src/bin/emit-verilog.rs (/opt/rustwide/target/debug/deps/emit_verilog-bfe4323d113a6b2e)
[INFO] [stdout] test rewrite::decomp::test_decomp ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 6.74s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/eqmap_asic.rs (/opt/rustwide/target/debug/deps/eqmap_asic-beb938905a099003)
[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] [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/bin/eqmap_fpga.rs (/opt/rustwide/target/debug/deps/eqmap_fpga-82c3beff0dbd4d3f)
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/nl_opt.rs (/opt/rustwide/target/debug/deps/nl_opt-db4081e92909709d)
[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/bin/opt.rs (/opt/rustwide/target/debug/deps/opt-666e457ab6ea54ba)
[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] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test test_eval ... ok
[INFO] [stdout] test test_dsd ... ok
[INFO] [stdout] test test_exploration ... ok
[INFO] [stdout] test test_args_egraphs ... ok
[INFO] [stdout] test test_greedy_folds ... ok
[INFO] [stdout] test test_incorrect_dsd ... ok
[INFO] [stdout] test simple_tests ... ok
[INFO] [stdout] test redundant_inputs ... ok
[INFO] [stdout] test test_proof_generation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.83s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/optcell.rs (/opt/rustwide/target/debug/deps/optcell-06da370021441d19)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test cell_rpt ... ok
[INFO] [stderr]      Running unittests src/bin/parse-verilog.rs (/opt/rustwide/target/debug/deps/parse_verilog-df4ff23e268dd9ea)
[INFO] [stdout] test simple_tests ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stderr]    Doc-tests eqmap
[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] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d", kill_on_drop: false }`
[INFO] [stdout] 44ce22b210b39000fdc6e854ee89a2866520180f0153a5f54cb1d721ba547c6d
