[INFO] cloning repository https://github.com/plotnick/minuet
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/plotnick/minuet" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fplotnick%2Fminuet", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fplotnick%2Fminuet'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8402b4ee07ac625960e9ceb0c77fb33176998f41
[INFO] testing plotnick/minuet against nightly-2025-01-18+rustflags=-Zrandomize-layout for randomize-layout-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fplotnick%2Fminuet" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/plotnick/minuet on toolchain nightly-2025-01-18
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/plotnick/minuet
[INFO] finished tweaking git repo https://github.com/plotnick/minuet
[INFO] tweaked toml for git repo https://github.com/plotnick/minuet written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/plotnick/minuet 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" "+nightly-2025-01-18" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 95d38249c53af0e1553e67c43bd3beb3ddaa73cc17208d16249e09f7c4b27c96
[INFO] running `Command { std: "docker" "start" "-a" "95d38249c53af0e1553e67c43bd3beb3ddaa73cc17208d16249e09f7c4b27c96", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "95d38249c53af0e1553e67c43bd3beb3ddaa73cc17208d16249e09f7c4b27c96", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "95d38249c53af0e1553e67c43bd3beb3ddaa73cc17208d16249e09f7c4b27c96", kill_on_drop: false }`
[INFO] [stdout] 95d38249c53af0e1553e67c43bd3beb3ddaa73cc17208d16249e09f7c4b27c96
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b12e7d560e17072a2b15f5046de572257e4793ba741acb6a7ccca95a6f436fce
[INFO] running `Command { std: "docker" "start" "-a" "b12e7d560e17072a2b15f5046de572257e4793ba741acb6a7ccca95a6f436fce", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.71
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling thiserror v1.0.52
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling anyhow v1.0.82
[INFO] [stderr]    Compiling gray-codes v0.1.1
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling syn v2.0.43
[INFO] [stderr]    Compiling minuet-syntax v0.0.1 (/opt/rustwide/workdir/syntax)
[INFO] [stderr]    Compiling thiserror-impl v1.0.52
[INFO] [stderr]    Compiling bitmask-enum v2.2.3
[INFO] [stderr]    Compiling minuet-tracer v0.0.1 (/opt/rustwide/workdir/tracer)
[INFO] [stderr]    Compiling minuet-ground v0.0.1 (/opt/rustwide/workdir/ground)
[INFO] [stderr]    Compiling minuet-solver v0.0.1 (/opt/rustwide/workdir/solver)
[INFO] [stderr]    Compiling minuet-macro v0.0.1 (/opt/rustwide/workdir/macro)
[INFO] [stderr]    Compiling minuet-semantics v0.0.1 (/opt/rustwide/workdir/semantics)
[INFO] [stderr]    Compiling minuet-command v0.0.1 (/opt/rustwide/workdir/command)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.17s
[INFO] running `Command { std: "docker" "inspect" "b12e7d560e17072a2b15f5046de572257e4793ba741acb6a7ccca95a6f436fce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b12e7d560e17072a2b15f5046de572257e4793ba741acb6a7ccca95a6f436fce", kill_on_drop: false }`
[INFO] [stdout] b12e7d560e17072a2b15f5046de572257e4793ba741acb6a7ccca95a6f436fce
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] de9088eef27661e8174b83e018c11efe5d15e1f178c2af222727a38f35c76ef2
[INFO] running `Command { std: "docker" "start" "-a" "de9088eef27661e8174b83e018c11efe5d15e1f178c2af222727a38f35c76ef2", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.193
[INFO] [stderr]    Compiling minuet-macro v0.0.1 (/opt/rustwide/workdir/macro)
[INFO] [stderr]    Compiling serde_json v1.0.109
[INFO] [stderr]    Compiling trybuild v1.0.86
[INFO] [stderr]    Compiling serde_derive v1.0.193
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling minuet-solver v0.0.1 (/opt/rustwide/workdir/solver)
[INFO] [stderr]    Compiling minuet-tracer v0.0.1 (/opt/rustwide/workdir/tracer)
[INFO] [stderr]    Compiling minuet-ground v0.0.1 (/opt/rustwide/workdir/ground)
[INFO] [stderr]    Compiling minuet-syntax v0.0.1 (/opt/rustwide/workdir/syntax)
[INFO] [stderr]    Compiling minuet-semantics v0.0.1 (/opt/rustwide/workdir/semantics)
[INFO] [stderr]    Compiling basic-toml v0.1.7
[INFO] [stderr]    Compiling minuet-command v0.0.1 (/opt/rustwide/workdir/command)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 11.90s
[INFO] running `Command { std: "docker" "inspect" "de9088eef27661e8174b83e018c11efe5d15e1f178c2af222727a38f35c76ef2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "de9088eef27661e8174b83e018c11efe5d15e1f178c2af222727a38f35c76ef2", kill_on_drop: false }`
[INFO] [stdout] de9088eef27661e8174b83e018c11efe5d15e1f178c2af222727a38f35c76ef2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] fd5b26a0c87d238403301f446da85e827c28f71ebdd316fc3546e114bf30edd2
[INFO] running `Command { std: "docker" "start" "-a" "fd5b26a0c87d238403301f446da85e827c28f71ebdd316fc3546e114bf30edd2", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests minuet.rs (/opt/rustwide/target/debug/deps/minuet-72b30a37d5477998)
[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 ground.rs (/opt/rustwide/target/debug/deps/minuet_ground-a7b6d12a02bdc7bc)
[INFO] [stdout] 
[INFO] [stdout] running 21 tests
[INFO] [stdout] test combinations::test::combinations_0 ... ok
[INFO] [stdout] test combinations::test::combinations_3_0_mixed ... ok
[INFO] [stdout] test combinations::test::combinations_3_mixed ... ok
[INFO] [stdout] test exhaustive::test::ground_0 ... ok
[INFO] [stdout] test combinations::test::combinations_2 ... ok
[INFO] [stdout] test combinations::test::combinations_3 ... ok
[INFO] [stdout] test combinations::test::combinations_1 ... ok
[INFO] [stdout] test exhaustive::test::ground_2 ... ok
[INFO] [stdout] test values::test::abs ... ok
[INFO] [stdout] test exhaustive::test::ground_1 ... ok
[INFO] [stdout] test values::test::add ... ok
[INFO] [stdout] test values::test::not ... ignored, no classical negation yet
[INFO] [stdout] test values::test::exp ... ok
[INFO] [stdout] test values::test::neg ... ok
[INFO] [stdout] test values::test::rem ... ok
[INFO] [stdout] test values::test::sub ... ok
[INFO] [stdout] test values::test::mul ... ok
[INFO] [stdout] test values::test::div ... ok
[INFO] [stdout] test values::test::cmp ... ok
[INFO] [stdout] test values::test::set ... ok
[INFO] [stdout] test values::test::int ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests macro.rs (/opt/rustwide/target/debug/deps/minuet_macro-8421ed003a20ad3b)
[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 tests/test.rs (/opt/rustwide/target/debug/deps/test-da40a3a644194d77)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test ok ... ok
[INFO] [stderr]    Compiling proc-macro2 v1.0.71
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling thiserror v1.0.52
[INFO] [stderr]    Compiling anyhow v1.0.82
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]     Checking nom v7.1.3
[INFO] [stderr]     Checking quote v1.0.33
[INFO] [stderr]    Compiling syn v2.0.43
[INFO] [stderr]    Compiling minuet-syntax v0.0.1 (/opt/rustwide/workdir/syntax)
[INFO] [stderr]    Compiling thiserror-impl v1.0.52
[INFO] [stderr]    Compiling minuet-ground v0.0.1 (/opt/rustwide/workdir/ground)
[INFO] [stderr]    Compiling minuet-macro v0.0.1 (/opt/rustwide/workdir/macro)
[INFO] [stderr]     Checking minuet-macro-tests v0.0.0 (/opt/rustwide/target/tests/trybuild/minuet-macro)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.24s
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] test tests/err/unexpected_punctuation.rs ... ok
[INFO] [stderr] test tests/err/unsafe_variable.rs ... ok
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stdout] test err ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 10.52s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests semantics.rs (/opt/rustwide/target/debug/deps/minuet_semantics-80b4aac3bb737125)
[INFO] [stdout] 
[INFO] [stdout] running 87 tests
[INFO] [stdout] test clause::test::cnf_dnf ... ignored, needs a simplifier
[INFO] [stdout] test clause::test::clause ... ok
[INFO] [stdout] test compiler::test::arithmetic_0 ... ok
[INFO] [stdout] test compiler::test::arithmetic_1 ... ok
[INFO] [stdout] test compiler::test::alviano_dodaro_example_1 ... ok
[INFO] [stdout] test compiler::test::arg_0 ... ok
[INFO] [stdout] test compiler::test::arg_2 ... ok
[INFO] [stdout] test clause::test::dnf ... ok
[INFO] [stdout] test clause::test::cnf ... ok
[INFO] [stdout] test compiler::test::arg_1 ... ok
[INFO] [stdout] test compiler::test::arithmetic_1s ... ok
[INFO] [stdout] test compiler::test::arithmetic_1a ... ok
[INFO] [stdout] test compiler::test::asp_1_2 ... ignored, needs a proper grounder
[INFO] [stdout] test compiler::test::arithmetic_2 ... ok
[INFO] [stdout] test compiler::test::arithmetic_4a ... ok
[INFO] [stdout] test compiler::test::asp_4_13 ... ok
[INFO] [stdout] test compiler::test::arithmetic_2s ... ok
[INFO] [stdout] test compiler::test::arithmetic_4b ... ok
[INFO] [stdout] test compiler::test::asp_5_1 ... ok
[INFO] [stdout] test compiler::test::asp_5_14 ... ok
[INFO] [stdout] test compiler::test::asp_4_3 ... ok
[INFO] [stdout] test compiler::test::asp_4_34 ... ok
[INFO] [stdout] test compiler::test::arithmetic_3 ... ok
[INFO] [stdout] test compiler::test::asp_2_7 ... ok
[INFO] [stdout] test compiler::test::asp_5_19 ... ok
[INFO] [stdout] test compiler::test::asp_5_20 ... ok
[INFO] [stdout] test compiler::test::asp_5_2 ... ok
[INFO] [stdout] test compiler::test::asp_5_17 ... ok
[INFO] [stdout] test compiler::test::asp_5_15 ... ok
[INFO] [stdout] test compiler::test::asp_5_35 ... ok
[INFO] [stdout] test compiler::test::asp_5_8 ... ok
[INFO] [stdout] test compiler::test::asp_5_18 ... ok
[INFO] [stdout] test compiler::test::choice_1 ... ok
[INFO] [stdout] test compiler::test::choice_2 ... ok
[INFO] [stdout] test compiler::test::choice_3 ... ok
[INFO] [stdout] test compiler::test::choice_4a ... ok
[INFO] [stdout] test compiler::test::constraint_1 ... ok
[INFO] [stdout] test compiler::test::asp_5_21 ... ok
[INFO] [stdout] test compiler::test::circular_1 ... ok
[INFO] [stdout] test compiler::test::disjunctive_1 ... ok
[INFO] [stdout] test compiler::test::excluded_middle ... ok
[INFO] [stdout] test compiler::test::felicitous_3 ... ok
[INFO] [stdout] test compiler::test::gelfond_lifschitz_5_3 ... ok
[INFO] [stdout] test compiler::test::gelfond_lifschitz_5 ... ok
[INFO] [stdout] test compiler::test::disjunctive_2 ... ok
[INFO] [stdout] test compiler::test::interval_0 ... ok
[INFO] [stdout] test compiler::test::gelfond_lifschitz_6 ... ok
[INFO] [stdout] test compiler::test::interval_1 ... ok
[INFO] [stdout] test compiler::test::choice_4b ... ok
[INFO] [stdout] test compiler::test::no_values ... ok
[INFO] [stdout] test compiler::test::interval_3 ... ok
[INFO] [stdout] test compiler::test::potassco_start ... ok
[INFO] [stdout] test compiler::test::interval_2 ... ok
[INFO] [stdout] test compiler::test::relational_2 ... ok
[INFO] [stdout] test compiler::test::symbolic_function_2 ... ignored, needs a proper grounder
[INFO] [stdout] test compiler::test::symbolic_function_0 ... ok
[INFO] [stdout] test compiler::test::trivial ... ok
[INFO] [stdout] test compiler::test::relational_1 ... ok
[INFO] [stdout] test compiler::test::unsatisfiable ... ok
[INFO] [stdout] test compiler::test::symbolic_function_1 ... ok
[INFO] [stdout] test compiler::test::relational_0 ... ok
[INFO] [stdout] test formula::test::eval_atom ... ok
[INFO] [stdout] test compiler::test::two_rules ... ok
[INFO] [stdout] test image::test::asp_5_21 ... ok
[INFO] [stdout] test image::test::asp_5_22 ... ok
[INFO] [stdout] test image::test::asp_5_7 ... ok
[INFO] [stdout] test program::test::dodaro_example_10 ... ok
[INFO] [stdout] test program::test::excluded_middle ... ok
[INFO] [stdout] test program::test::ground_gelfond_lifschitz_5 ... ok
[INFO] [stdout] test formula::test::eval_literal ... ok
[INFO] [stdout] test program::test::ground_trivial_1 ... ok
[INFO] [stdout] test program::test::alviano_dodaro_example_1 ... ok
[INFO] [stdout] test program::test::normalize_choice ... ok
[INFO] [stdout] test program::test::asp_5_2 ... ok
[INFO] [stdout] test program::test::ground_trivial_0 ... ok
[INFO] [stdout] test program::test::normalize_constraint ... ok
[INFO] [stdout] test program::test::preprocess_constraint ... ok
[INFO] [stdout] test program::test::preprocess_trivial_0 ... ok
[INFO] [stdout] test program::test::normalize_choices ... ok
[INFO] [stdout] test program::test::preprocess_trivial_1 ... ok
[INFO] [stdout] test image::test::atomic_image ... ok
[INFO] [stdout] test program::test::shift_head_negation ... ok
[INFO] [stdout] test program::test::shift_disjunctive_rule ... ok
[INFO] [stdout] test program::test::shift_double_head_negation ... ok
[INFO] [stdout] test compiler::test::choice_4c ... ok
[INFO] [stdout] test compiler::test::asp_5_22 ... ok
[INFO] [stdout] test compiler::test::asp_5_23 ... ok
[INFO] [stderr]      Running unittests solver.rs (/opt/rustwide/target/debug/deps/minuet_solver-6105002d6443bd18)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 84 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.92s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test id::test::id_vec ... ok
[INFO] [stdout] test domain::test::sparse_integer_set ... ok
[INFO] [stdout] test id::test::id ... ok
[INFO] [stdout] test test::toy_xc ... ok
[INFO] [stdout] test domain::test::deleted ... ok
[INFO] [stdout] test test::invalid_xcc ... ok
[INFO] [stdout] test test::trivial_xc_0 ... ok
[INFO] [stdout] test test::trivial_xc_1a ... ok
[INFO] [stdout] test test::toy_xcc ... ok
[INFO] [stdout] test test::trivial_xc_2 ... ok
[INFO] [stdout] test test::trivial_xc_3 ... ok
[INFO] [stdout] test test::trivial_xc_1b ... ok
[INFO] [stdout] test test::extreme_xc ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 19.49s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests syntax.rs (/opt/rustwide/target/debug/deps/minuet_syntax-1a4eed40dbf06327)
[INFO] [stdout] 
[INFO] [stdout] running 24 tests
[INFO] [stdout] test lexer::test::symbol ... ok
[INFO] [stdout] test asp_core2::lexer::test::asp_core2_lexer ... ok
[INFO] [stdout] test lexer::test::string ... ok
[INFO] [stdout] test lexer::test::integer ... ok
[INFO] [stdout] test minuet1::parser::test::abs ... ok
[INFO] [stdout] test minuet1::parser::test::add ... ok
[INFO] [stdout] test minuet1::parser::test::add_add ... ok
[INFO] [stdout] test minuet1::parser::test::add_mul ... ok
[INFO] [stdout] test minuet1::parser::test::app ... ok
[INFO] [stdout] test minuet1::parser::test::add_sub ... ok
[INFO] [stdout] test minuet1::parser::test::exp ... ok
[INFO] [stdout] test minuet1::parser::test::app_app ... ok
[INFO] [stdout] test minuet1::lexer::test::minuet1_lexer ... ok
[INFO] [stdout] test minuet1::parser::test::add_neg ... ok
[INFO] [stdout] test minuet1::parser::test::add_mul_add ... ok
[INFO] [stdout] test minuet1::parser::test::eq ... ok
[INFO] [stdout] test minuet1::parser::test::exp_add ... ok
[INFO] [stdout] test minuet1::parser::test::exp_mul ... ok
[INFO] [stdout] test minuet1::parser::test::exp_exp ... ok
[INFO] [stdout] test minuet1::parser::test::int ... ok
[INFO] [stdout] test minuet1::parser::test::neg ... ok
[INFO] [stdout] test minuet1::parser::test::mul_add ... ok
[INFO] [stdout] test minuet1::parser::test::neg_int ... ok
[INFO] [stdout] test minuet1::parser::test::not ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 24 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests tracer.rs (/opt/rustwide/target/debug/deps/minuet_tracer-12d7c62a5e62b0fa)
[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 minuet_ground
[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 minuet_macro
[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 minuet_semantics
[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 minuet_solver
[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 minuet_syntax
[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 minuet_tracer
[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" "fd5b26a0c87d238403301f446da85e827c28f71ebdd316fc3546e114bf30edd2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fd5b26a0c87d238403301f446da85e827c28f71ebdd316fc3546e114bf30edd2", kill_on_drop: false }`
[INFO] [stdout] fd5b26a0c87d238403301f446da85e827c28f71ebdd316fc3546e114bf30edd2
