[INFO] updating cached repository https://github.com/jieyouxu/propositional-tableau-solver-rs
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] fa57ace7b887c5135300172dc17b55b9c4ef1a98
[INFO] checking jieyouxu/propositional-tableau-solver-rs against master#ba72b15666b2491415aec703a02c2364fe5e2790 for pr-71140
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjieyouxu%2Fpropositional-tableau-solver-rs" "/workspace/builds/worker-0/source"`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/jieyouxu/propositional-tableau-solver-rs on toolchain ba72b15666b2491415aec703a02c2364fe5e2790
[INFO] running `"/workspace/cargo-home/bin/cargo" "+ba72b15666b2491415aec703a02c2364fe5e2790" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking git repo https://github.com/jieyouxu/propositional-tableau-solver-rs
[INFO] finished tweaking git repo https://github.com/jieyouxu/propositional-tableau-solver-rs
[INFO] tweaked toml for git repo https://github.com/jieyouxu/propositional-tableau-solver-rs written to /workspace/builds/worker-0/source/Cargo.toml
[INFO] crate git repo https://github.com/jieyouxu/propositional-tableau-solver-rs already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+ba72b15666b2491415aec703a02c2364fe5e2790" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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=forbid" "-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" "+ba72b15666b2491415aec703a02c2364fe5e2790" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 80659481c3bfcb6fd5d1fe100108168deb998f3db5c2e40df99cf36642938395
[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" "80659481c3bfcb6fd5d1fe100108168deb998f3db5c2e40df99cf36642938395"`
[INFO] [stderr]    Compiling syn v0.15.44
[INFO] [stderr]    Compiling utf8-ranges v1.0.4
[INFO] [stderr]    Compiling regex-syntax v0.6.14
[INFO] [stderr]     Checking pretty_assertions v0.6.1
[INFO] [stderr]    Compiling logos-derive v0.9.7
[INFO] [stderr]     Checking logos v0.9.7
[INFO] [stderr]     Checking propositional-tableau-solver-rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused import: `super::*`
[INFO] [stderr]   --> src/tableau.rs:39:9
[INFO] [stderr]    |
[INFO] [stderr] 39 |     use super::*;
[INFO] [stderr]    |         ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `tableau`
[INFO] [stderr]   --> src/lib.rs:21:9
[INFO] [stderr]    |
[INFO] [stderr] 21 |     let tableau = match build_tableau(formula) {
[INFO] [stderr]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tableau`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `formula`
[INFO] [stderr]   --> src/tableau.rs:33:29
[INFO] [stderr]    |
[INFO] [stderr] 33 | pub(crate) fn build_tableau(formula: &str) -> Option<Tableau> {
[INFO] [stderr]    |                             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_formula`
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `new`
[INFO] [stderr]   --> src/tableau.rs:13:5
[INFO] [stderr]    |
[INFO] [stderr] 13 |     pub(crate) fn new() -> Tableau {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `new`
[INFO] [stderr]   --> src/tableau.rs:26:5
[INFO] [stderr]    |
[INFO] [stderr] 26 |     pub(crate) fn new() -> Theory {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Variable`
[INFO] [stderr]  --> src/propositional_formula.rs:3:5
[INFO] [stderr]   |
[INFO] [stderr] 3 |     Variable(Variable),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Negation`
[INFO] [stderr]  --> src/propositional_formula.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 |     Negation(Negation),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Conjunction`
[INFO] [stderr]  --> src/propositional_formula.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 5 |     Conjunction(Conjunction),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Disjunction`
[INFO] [stderr]  --> src/propositional_formula.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 6 |     Disjunction(Disjunction),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Implication`
[INFO] [stderr]  --> src/propositional_formula.rs:7:5
[INFO] [stderr]   |
[INFO] [stderr] 7 |     Implication(Implication),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Biimplication`
[INFO] [stderr]  --> src/propositional_formula.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 |     Biimplication(Biimplication),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Variable`
[INFO] [stderr]   --> src/lexer.rs:51:5
[INFO] [stderr]    |
[INFO] [stderr] 51 |     Variable(String),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `LeftParen`
[INFO] [stderr]   --> src/lexer.rs:52:5
[INFO] [stderr]    |
[INFO] [stderr] 52 |     LeftParen,
[INFO] [stderr]    |     ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `RightParen`
[INFO] [stderr]   --> src/lexer.rs:53:5
[INFO] [stderr]    |
[INFO] [stderr] 53 |     RightParen,
[INFO] [stderr]    |     ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Negation`
[INFO] [stderr]   --> src/lexer.rs:54:5
[INFO] [stderr]    |
[INFO] [stderr] 54 |     Negation,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `And`
[INFO] [stderr]   --> src/lexer.rs:55:5
[INFO] [stderr]    |
[INFO] [stderr] 55 |     And,
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Or`
[INFO] [stderr]   --> src/lexer.rs:56:5
[INFO] [stderr]    |
[INFO] [stderr] 56 |     Or,
[INFO] [stderr]    |     ^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Implication`
[INFO] [stderr]   --> src/lexer.rs:57:5
[INFO] [stderr]    |
[INFO] [stderr] 57 |     Implication,
[INFO] [stderr]    |     ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Biimplication`
[INFO] [stderr]   --> src/lexer.rs:58:5
[INFO] [stderr]    |
[INFO] [stderr] 58 |     Biimplication,
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type alias is never used: `Tokens`
[INFO] [stderr]   --> src/lexer.rs:61:1
[INFO] [stderr]    |
[INFO] [stderr] 61 | pub(crate) type Tokens = Vec<Token>;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `lex`
[INFO] [stderr]   --> src/lexer.rs:80:15
[INFO] [stderr]    |
[INFO] [stderr] 80 | pub(crate) fn lex<'a>(input: &'a str) -> Result<Tokens, LexError<'a>> {
[INFO] [stderr]    |               ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: 20 warnings emitted
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `tableau`
[INFO] [stderr]   --> src/lib.rs:21:9
[INFO] [stderr]    |
[INFO] [stderr] 21 |     let tableau = match build_tableau(formula) {
[INFO] [stderr]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_tableau`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `formula`
[INFO] [stderr]   --> src/tableau.rs:33:29
[INFO] [stderr]    |
[INFO] [stderr] 33 | pub(crate) fn build_tableau(formula: &str) -> Option<Tableau> {
[INFO] [stderr]    |                             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_formula`
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `new`
[INFO] [stderr]   --> src/tableau.rs:13:5
[INFO] [stderr]    |
[INFO] [stderr] 13 |     pub(crate) fn new() -> Tableau {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `new`
[INFO] [stderr]   --> src/tableau.rs:26:5
[INFO] [stderr]    |
[INFO] [stderr] 26 |     pub(crate) fn new() -> Theory {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Variable`
[INFO] [stderr]  --> src/propositional_formula.rs:3:5
[INFO] [stderr]   |
[INFO] [stderr] 3 |     Variable(Variable),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Negation`
[INFO] [stderr]  --> src/propositional_formula.rs:4:5
[INFO] [stderr]   |
[INFO] [stderr] 4 |     Negation(Negation),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Conjunction`
[INFO] [stderr]  --> src/propositional_formula.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 5 |     Conjunction(Conjunction),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Disjunction`
[INFO] [stderr]  --> src/propositional_formula.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 6 |     Disjunction(Disjunction),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Implication`
[INFO] [stderr]  --> src/propositional_formula.rs:7:5
[INFO] [stderr]   |
[INFO] [stderr] 7 |     Implication(Implication),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Biimplication`
[INFO] [stderr]  --> src/propositional_formula.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 |     Biimplication(Biimplication),
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: 11 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 32.74s
[INFO] running `"docker" "inspect" "80659481c3bfcb6fd5d1fe100108168deb998f3db5c2e40df99cf36642938395"`
[INFO] running `"docker" "rm" "-f" "80659481c3bfcb6fd5d1fe100108168deb998f3db5c2e40df99cf36642938395"`
[INFO] [stdout] 80659481c3bfcb6fd5d1fe100108168deb998f3db5c2e40df99cf36642938395