{ [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" "94630876b1ad82fc4962f78c7319c3f834d257e1a3984d30c7f3d7ab7352fddf"` [INFO] running `"docker" "rm" "-f" "94630876b1ad82fc4962f78c7319c3f834d257e1a3984d30c7f3d7ab7352fddf"` [INFO] [stdout] 94630876b1ad82fc4962f78c7319c3f834d257e1a3984d30c7f3d7ab7352fddf [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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" "+1.44.0" "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] 96245da9b72469e639003ea2fe49853a7a1d091941607256f876df70288b5865 [INFO] running `"docker" "start" "-a" "96245da9b72469e639003ea2fe49853a7a1d091941607256f876df70288b5865"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] warning: method is never used: `increment_indices` [INFO] [stderr] --> src/proofs/pooledproof.rs:231:5 [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: method is never used: `add_pools` [INFO] [stderr] --> src/proofs/pooledproof.rs:255:5 [INFO] [stderr] | [INFO] [stderr] 255 | fn add_pools(&mut self, other: &Self) -> (PremKey, JustKey, SubKey) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `new` [INFO] [stderr] --> src/solver_integration/solver.rs:34:5 [INFO] [stderr] | [INFO] [stderr] 34 | fn new() -> SatProofBuilder
{ [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] Compiling libaris-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: method is never used: `increment_indices` [INFO] [stderr] --> src/proofs/pooledproof.rs:231:5 [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: method is never used: `add_pools` [INFO] [stderr] --> src/proofs/pooledproof.rs:255:5 [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 23.03s [INFO] running `"docker" "inspect" "96245da9b72469e639003ea2fe49853a7a1d091941607256f876df70288b5865"` [INFO] running `"docker" "rm" "-f" "96245da9b72469e639003ea2fe49853a7a1d091941607256f876df70288b5865"` [INFO] [stdout] 96245da9b72469e639003ea2fe49853a7a1d091941607256f876df70288b5865 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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" "+1.44.0" "test" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 06abd58cb4c0974eb1fe1b412626fc5297005ca07a5e59b2eccc1509d923856e [INFO] running `"docker" "start" "-a" "06abd58cb4c0974eb1fe1b412626fc5297005ca07a5e59b2eccc1509d923856e"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] warning: method is never used: `increment_indices` [INFO] [stderr] --> src/proofs/pooledproof.rs:231:5 [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: method is never used: `add_pools` [INFO] [stderr] --> src/proofs/pooledproof.rs:255:5 [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: method is never used: `increment_indices` [INFO] [stderr] --> src/proofs/pooledproof.rs:231:5 [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: method is never used: `add_pools` [INFO] [stderr] --> src/proofs/pooledproof.rs:255:5 [INFO] [stderr] | [INFO] [stderr] 255 | fn add_pools(&mut self, other: &Self) -> (PremKey, JustKey, SubKey) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `new` [INFO] [stderr] --> src/solver_integration/solver.rs:34:5 [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.25s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/libaris-a42eb58f46769520 [INFO] [stdout] [INFO] [stdout] running 74 tests [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::proof_tests::test_rules_on_treeproof::test_andintro ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_andelim ... 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_contelim ... ok [INFO] [stdout] test expression::test_unify ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_contradictionintro ... ok [INFO] [stdout] test expression::test_combine_associative_ops ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_association ... 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_impelim ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_commutation ... 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_orintro ... ok [INFO] [stdout] test proofs::lined_proof::test_from_proof ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_notelim ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_absorption ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_biconelim ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_resolution ... 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_adjacency ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_biconintro ... 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_identity ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_complement ... ok [INFO] [stdout] test equivalences::bruteforce_equivalence_truthtables ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_equivintro ... ok [INFO] [stdout] test proofs::proof_tests::test_rules_on_treeproof::test_doublenegation ... 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_subproofful_rules_on_pooledproof::test_equivelim ... 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_subproofful_rules_on_pooledproof::test_orelim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_andelim ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofful_rules_on_pooledproof::test_notintro ... 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_forallintro ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_contradictionintro ... 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_annihilation ... 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_absorption ... 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_inverse ... 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_orintro ... 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::treeproof_tests::demo_prettyprinting ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_doublenegation ... ok [INFO] [stdout] test proofs::xml_interop::test_xml2 ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_resolution ... ok [INFO] [stdout] test rewrite_rules::test_permute_ops ... ok [INFO] [stdout] test solver_integration::solver::test_generate_proof ... ok [INFO] [stdout] test proofs::xml_interop::test_xml3 ... ok [INFO] [stdout] test proofs::xml_interop::test_xml ... ok [INFO] [stdout] test zipper_vec::test_zippervec_insert_relative ... ok [INFO] [stdout] test zipper_vec::test_zippervec_pop ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_identity ... 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_demorgan ... ok [INFO] [stdout] test proofs::proof_tests::test_subproofless_rules_on_pooledproof::test_adjacency ... 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_complement ... 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 proofs::proof_tests::test_rules_on_treeproof::test_reduction ... 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-9116ca3a6090e0aa [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 44) ... ok [INFO] [stdout] test src/lib.rs - expression (line 37) ... 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" "06abd58cb4c0974eb1fe1b412626fc5297005ca07a5e59b2eccc1509d923856e"` [INFO] running `"docker" "rm" "-f" "06abd58cb4c0974eb1fe1b412626fc5297005ca07a5e59b2eccc1509d923856e"` [INFO] [stdout] 06abd58cb4c0974eb1fe1b412626fc5297005ca07a5e59b2eccc1509d923856e