{ [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2m 32s [INFO] running `"docker" "inspect" "a740cfccc0879bfa986e279f1be03b9a140f43d837b8f30fb5efc7db97648aa8"` [INFO] running `"docker" "rm" "-f" "a740cfccc0879bfa986e279f1be03b9a140f43d837b8f30fb5efc7db97648aa8"` [INFO] [stdout] a740cfccc0879bfa986e279f1be03b9a140f43d837b8f30fb5efc7db97648aa8 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen" "--no-run"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 9a4235d4e7feedea6955854baf0dc6fbffd0a3fe2c11beda6f11d12a91429d41 [INFO] running `"docker" "start" "-a" "9a4235d4e7feedea6955854baf0dc6fbffd0a3fe2c11beda6f11d12a91429d41"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling libaris-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: associated function is never used: `increment_indices` [INFO] [stderr] --> src/proofs/pooledproof.rs:231:8 [INFO] [stderr] | [INFO] [stderr] 231 | fn increment_indices(&mut self, i: PremKey, j: JustKey, k: SubKey) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `add_pools` [INFO] [stderr] --> src/proofs/pooledproof.rs:255:8 [INFO] [stderr] | [INFO] [stderr] 255 | fn add_pools(&mut self, other: &Self) -> (PremKey, JustKey, SubKey) { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `new` [INFO] [stderr] --> src/solver_integration/solver.rs:34:8 [INFO] [stderr] | [INFO] [stderr] 34 | fn new() -> SatProofBuilder
{ [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `increment_indices` [INFO] [stderr] --> src/proofs/pooledproof.rs:231:8 [INFO] [stderr] | [INFO] [stderr] 231 | fn increment_indices(&mut self, i: PremKey, j: JustKey, k: SubKey) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `add_pools` [INFO] [stderr] --> src/proofs/pooledproof.rs:255:8 [INFO] [stderr] | [INFO] [stderr] 255 | fn add_pools(&mut self, other: &Self) -> (PremKey, JustKey, SubKey) { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 2 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 22.25s [INFO] running `"docker" "inspect" "9a4235d4e7feedea6955854baf0dc6fbffd0a3fe2c11beda6f11d12a91429d41"` [INFO] running `"docker" "rm" "-f" "9a4235d4e7feedea6955854baf0dc6fbffd0a3fe2c11beda6f11d12a91429d41"` [INFO] [stdout] 9a4235d4e7feedea6955854baf0dc6fbffd0a3fe2c11beda6f11d12a91429d41 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen"` [INFO] [stdout] 1a9f7f67e4a2bc29aba1100484ff97111b4689685a740dabcfa383ed766510dc [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `"docker" "start" "-a" "1a9f7f67e4a2bc29aba1100484ff97111b4689685a740dabcfa383ed766510dc"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] warning: associated function is never used: `increment_indices` [INFO] [stderr] --> src/proofs/pooledproof.rs:231:8 [INFO] [stderr] | [INFO] [stderr] 231 | fn increment_indices(&mut self, i: PremKey, j: JustKey, k: SubKey) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `add_pools` [INFO] [stderr] --> src/proofs/pooledproof.rs:255:8 [INFO] [stderr] | [INFO] [stderr] 255 | fn add_pools(&mut self, other: &Self) -> (PremKey, JustKey, SubKey) { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 2 warnings emitted [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `increment_indices` [INFO] [stderr] --> src/proofs/pooledproof.rs:231:8 [INFO] [stderr] | [INFO] [stderr] 231 | fn increment_indices(&mut self, i: PremKey, j: JustKey, k: SubKey) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `add_pools` [INFO] [stderr] --> src/proofs/pooledproof.rs:255:8 [INFO] [stderr] | [INFO] [stderr] 255 | fn add_pools(&mut self, other: &Self) -> (PremKey, JustKey, SubKey) { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `new` [INFO] [stderr] --> src/solver_integration/solver.rs:34:8 [INFO] [stderr] | [INFO] [stderr] 34 | fn new() -> SatProofBuilder
{ [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.26s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/libaris-ddfdbb8e69499ec1 [INFO] [stdout] [INFO] [stdout] running 74 tests [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_andelim ... ok [INFO] [stdout] test combinatorics::test_cartesian_product ... ok [INFO] [stdout] test combinatorics::test_combinate ... ok [INFO] [stdout] test proofs::pooledproof::test_pooledproof_mutating_lines ... ok [INFO] [stdout] test proofs::pooledproof::prettyprint_pool ... ok [INFO] [stdout] test expression::test_subst ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_annihilation ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_andintro ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_contelim ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_association ... ok [INFO] [stdout] test expression::test_unify ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_idempotence ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_commutation ... ok [INFO] [stdout] test expression::test_combine_associative_ops ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_inverse ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_doublenegation ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_adjacency ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_impelim ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_absorption ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_orintro ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_contradictionintro ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_reit ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_resolution ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_biconelim ... 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_equivintro ... ok [INFO] [stdout] test proofs::lined_proof::test_from_proof ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_identity ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_biconintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_forallelim ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_notelim ... ok [INFO] [stdout] test equivalences::bruteforce_equivalence_truthtables ... 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_subproofless_rules_on_pooledproof::test_andintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_impintro ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_demorgan ... 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_andelim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_association ... 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_contradictionintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_existselim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_commutation ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_annihilation ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_complement ... 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_absorption ... 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_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_reit ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_orintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_forallintro ... ok [INFO] [stdout] test proofs::treeproof_tests::demo_prettyprinting ... ok [INFO] [stdout] test proofs::xml_interop::test_xml2 ... ok [INFO] [stdout] test proofs::xml_interop::test_xml3 ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_doublenegation ... ok [INFO] [stdout] test rewrite_rules::test_permute_ops ... ok [INFO] [stdout] test solver_integration::solver::test_generate_proof ... ok [INFO] [stdout] test zipper_vec::test_zippervec_pop ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_resolution ... ok [INFO] [stdout] test zipper_vec::test_zippervec_insert_relative ... ok [INFO] [stdout] test proofs::xml_interop::test_xml ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_demorgan ... 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_adjacency ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_complement ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_distribution ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_distribution ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_reduction ... ok [INFO] [stdout] test parser::test_parser ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_reduction ... ok [INFO] [stdout] test expression::test_expressions_for_depth ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 74 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] Running /opt/rustwide/target/debug/deps/auto_grader-28dbaadde288d1e0 [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 [INFO] [stdout] [INFO] [stderr] Doc-tests libaris [INFO] [stdout] [INFO] [stdout] running 8 tests [INFO] [stdout] test src/lib.rs - proofs (line 152) ... ok [INFO] [stdout] test src/lib.rs - expression (line 37) ... ok [INFO] [stdout] test src/lib.rs - expression (line 44) ... ok [INFO] [stdout] test src/rewrite_rules.rs - rewrite_rules::reduce_pattern (line 161) ... ok [INFO] [stdout] test src/lib.rs - expression (line 59) ... ok [INFO] [stdout] test src/lib.rs - proofs (line 122) ... ok [INFO] [stdout] test src/lib.rs - proofs (line 91) ... ok [INFO] [stdout] test src/lib.rs - proofs (line 64) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] running `"docker" "inspect" "1a9f7f67e4a2bc29aba1100484ff97111b4689685a740dabcfa383ed766510dc"` [INFO] running `"docker" "rm" "-f" "1a9f7f67e4a2bc29aba1100484ff97111b4689685a740dabcfa383ed766510dc"` [INFO] [stdout] 1a9f7f67e4a2bc29aba1100484ff97111b4689685a740dabcfa383ed766510dc