[INFO] fetching crate l_group_validity 0.1.0...
[INFO] testing l_group_validity-0.1.0 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1
[INFO] extracting crate l_group_validity 0.1.0 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate l_group_validity 0.1.0
[INFO] finished tweaking crates.io crate l_group_validity 0.1.0
[INFO] tweaked toml for crates.io crate l_group_validity 0.1.0 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate l_group_validity 0.1.0 on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 3 packages to latest compatible versions
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded l_group_cnf v0.1.0
[INFO] [stderr]   Downloaded truncated_free_groups v0.1.0
[INFO] [stderr]   Downloaded l_group_formulas v0.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 41cd4d0cf0fe92954f8203eea991ce542e199d0652376408397ac6b8800d74f9
[INFO] running `Command { std: "docker" "start" "-a" "41cd4d0cf0fe92954f8203eea991ce542e199d0652376408397ac6b8800d74f9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "41cd4d0cf0fe92954f8203eea991ce542e199d0652376408397ac6b8800d74f9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "41cd4d0cf0fe92954f8203eea991ce542e199d0652376408397ac6b8800d74f9", kill_on_drop: false }`
[INFO] [stdout] 41cd4d0cf0fe92954f8203eea991ce542e199d0652376408397ac6b8800d74f9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 07998404e98d54bcd09836882567af58316a63bd8079fd4f23c64ec00416e905
[INFO] running `Command { std: "docker" "start" "-a" "07998404e98d54bcd09836882567af58316a63bd8079fd4f23c64ec00416e905", kill_on_drop: false }`
[INFO] [stderr]    Compiling l_group_formulas v0.1.0
[INFO] [stderr]    Compiling truncated_free_groups v0.1.0
[INFO] [stderr]    Compiling l_group_cnf v0.1.0
[INFO] [stderr]    Compiling l_group_validity v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.00s
[INFO] running `Command { std: "docker" "inspect" "07998404e98d54bcd09836882567af58316a63bd8079fd4f23c64ec00416e905", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "07998404e98d54bcd09836882567af58316a63bd8079fd4f23c64ec00416e905", kill_on_drop: false }`
[INFO] [stdout] 07998404e98d54bcd09836882567af58316a63bd8079fd4f23c64ec00416e905
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e2dcfe2e93ce61f8217de3d9708859345129b378f24265dc3e705fd3ee590f45
[INFO] running `Command { std: "docker" "start" "-a" "e2dcfe2e93ce61f8217de3d9708859345129b378f24265dc3e705fd3ee590f45", kill_on_drop: false }`
[INFO] [stderr]    Compiling l_group_validity v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.41s
[INFO] running `Command { std: "docker" "inspect" "e2dcfe2e93ce61f8217de3d9708859345129b378f24265dc3e705fd3ee590f45", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e2dcfe2e93ce61f8217de3d9708859345129b378f24265dc3e705fd3ee590f45", kill_on_drop: false }`
[INFO] [stdout] e2dcfe2e93ce61f8217de3d9708859345129b378f24265dc3e705fd3ee590f45
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 50b687d1acbb11bdc45470f634e32149e0ca85653f345c12c46980435ce7f270
[INFO] running `Command { std: "docker" "start" "-a" "50b687d1acbb11bdc45470f634e32149e0ca85653f345c12c46980435ce7f270", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.01s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/l_group_validity-1cb0396fb34dda2e)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test tests::test_commutativity ... ok
[INFO] [stdout] test tests::test_colacito_example_1point3point7 ... ok
[INFO] [stdout] test tests::test_de_morgan ... ok
[INFO] [stdout] test tests::test_metcalfe_exercise18 ... ok
[INFO] [stdout] test tests::test_prelinearity ... ok
[INFO] [stdout] test tests::test_trivial ... ok
[INFO] [stdout] test tests::test_representable_l_groups ... ok
[INFO] [stdout] test tests::test_pyvalidity_bug ... ok
[INFO] [stdout] test tests::test_mul_distributive ... ok
[INFO] [stdout] test tests::test_distributive ... ok
[INFO] [stdout] test tests::test_colacito_example_1point3point6 ... ok
[INFO] [stdout] test tests::test_weakly_abelian ... ok
[INFO] [stdout] test tests::test_representable_l_monoids ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 7.21s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests l_group_validity
[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" "50b687d1acbb11bdc45470f634e32149e0ca85653f345c12c46980435ce7f270", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "50b687d1acbb11bdc45470f634e32149e0ca85653f345c12c46980435ce7f270", kill_on_drop: false }`
[INFO] [stdout] 50b687d1acbb11bdc45470f634e32149e0ca85653f345c12c46980435ce7f270