[INFO] crate varisat-checker 0.2.1 is already in cache
[INFO] checking varisat-checker-0.2.1 against master#209b2be09fcaff937480d1fbbe8b31646e361c7a for pr-70917
[INFO] extracting crate varisat-checker 0.2.1 into /workspace/builds/worker-2/source
[INFO] validating manifest of crates.io crate varisat-checker 0.2.1 on toolchain 209b2be09fcaff937480d1fbbe8b31646e361c7a
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking crates.io crate varisat-checker 0.2.1
[INFO] finished tweaking crates.io crate varisat-checker 0.2.1
[INFO] tweaked toml for crates.io crate varisat-checker 0.2.1 written to /workspace/builds/worker-2/source/Cargo.toml
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 67548e031d76a3c7c28016638bef37ee7bcbf5b821995e1ce83bc8af339d154f
[INFO] running `"docker" "start" "-a" "67548e031d76a3c7c28016638bef37ee7bcbf5b821995e1ce83bc8af339d154f"`
[INFO] [stderr]     Checking varisat-formula v0.2.1
[INFO] [stderr]     Checking proptest v0.9.6
[INFO] [stderr]     Checking varisat-internal-proof v0.2.1
[INFO] [stderr]     Checking varisat-dimacs v0.2.1
[INFO] [stderr]     Checking varisat-checker v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr] error[E0432]: unresolved imports `varisat_formula::cnf_formula`, `varisat_formula::lits`
[INFO] [stderr]     --> src/lib.rs:1248:27
[INFO] [stderr]      |
[INFO] [stderr] 1248 |     use varisat_formula::{cnf_formula, lits};
[INFO] [stderr]      |                           ^^^^^^^^^^^  ^^^^ no `lits` in the root
[INFO] [stderr]      |                           |
[INFO] [stderr]      |                           no `cnf_formula` in the root
[INFO] [stderr]      |
[INFO] [stderr] help: a similar name exists in the module
[INFO] [stderr]      |
[INFO] [stderr] 1248 |     use varisat_formula::{CnfFormula, lits};
[INFO] [stderr]      |                           ^^^^^^^^^^
[INFO] [stderr] help: a similar name exists in the module
[INFO] [stderr]      |
[INFO] [stderr] 1248 |     use varisat_formula::{cnf_formula, lit};
[INFO] [stderr]      |                                        ^^^
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1262:27
[INFO] [stderr]      |
[INFO] [stderr] 1262 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1276:27
[INFO] [stderr]      |
[INFO] [stderr] 1276 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1284:26
[INFO] [stderr]      |
[INFO] [stderr] 1284 |                 clause: &lits![-5, 4],
[INFO] [stderr]      |                          ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1296:27
[INFO] [stderr]      |
[INFO] [stderr] 1296 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1303:21
[INFO] [stderr]      |
[INFO] [stderr] 1303 |         let lits = &lits![1, 2, 3][..];
[INFO] [stderr]      |                     ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1341:27
[INFO] [stderr]      |
[INFO] [stderr] 1341 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1360:27
[INFO] [stderr]      |
[INFO] [stderr] 1360 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1379:27
[INFO] [stderr]      |
[INFO] [stderr] 1379 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1386:26
[INFO] [stderr]      |
[INFO] [stderr] 1386 |                 clause: &lits![1, 2, 3],
[INFO] [stderr]      |                          ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1397:27
[INFO] [stderr]      |
[INFO] [stderr] 1397 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1406:26
[INFO] [stderr]      |
[INFO] [stderr] 1406 |                 clause: &lits![1, 2, 3],
[INFO] [stderr]      |                          ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1417:27
[INFO] [stderr]      |
[INFO] [stderr] 1417 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1424:34
[INFO] [stderr]      |
[INFO] [stderr] 1424 |             checker.clause_hash(&lits![1, 2, 3]),
[INFO] [stderr]      |                                  ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1425:34
[INFO] [stderr]      |
[INFO] [stderr] 1425 |             checker.clause_hash(&lits![-3, 4]),
[INFO] [stderr]      |                                  ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1431:26
[INFO] [stderr]      |
[INFO] [stderr] 1431 |                 clause: &lits![1, 2, 4],
[INFO] [stderr]      |                          ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1438:26
[INFO] [stderr]      |
[INFO] [stderr] 1438 |                 clause: &lits![1, 2, 3],
[INFO] [stderr]      |                          ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1449:27
[INFO] [stderr]      |
[INFO] [stderr] 1449 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1456:50
[INFO] [stderr]      |
[INFO] [stderr] 1456 |             checker.check_step(ProofStep::Model(&lits![-1, 2, -3])),
[INFO] [stderr]      |                                                  ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1465:27
[INFO] [stderr]      |
[INFO] [stderr] 1465 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1471:50
[INFO] [stderr]      |
[INFO] [stderr] 1471 |             checker.check_step(ProofStep::Model(&lits![-1, 1, 2, -3])),
[INFO] [stderr]      |                                                  ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1480:27
[INFO] [stderr]      |
[INFO] [stderr] 1480 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1488:50
[INFO] [stderr]      |
[INFO] [stderr] 1488 |             checker.check_step(ProofStep::Model(&lits![-1, 2, 3])),
[INFO] [stderr]      |                                                  ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1496:27
[INFO] [stderr]      |
[INFO] [stderr] 1496 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1503:49
[INFO] [stderr]      |
[INFO] [stderr] 1503 |             .check_step(ProofStep::Assumptions(&lits![-2]))
[INFO] [stderr]      |                                                 ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1507:50
[INFO] [stderr]      |
[INFO] [stderr] 1507 |             checker.check_step(ProofStep::Model(&lits![1, 2])),
[INFO] [stderr]      |                                                  ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1516:27
[INFO] [stderr]      |
[INFO] [stderr] 1516 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1523:49
[INFO] [stderr]      |
[INFO] [stderr] 1523 |             .check_step(ProofStep::Assumptions(&lits![-3]))
[INFO] [stderr]      |                                                 ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1527:50
[INFO] [stderr]      |
[INFO] [stderr] 1527 |             checker.check_step(ProofStep::Model(&lits![1, 2])),
[INFO] [stderr]      |                                                  ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1536:27
[INFO] [stderr]      |
[INFO] [stderr] 1536 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1543:49
[INFO] [stderr]      |
[INFO] [stderr] 1543 |             .check_step(ProofStep::Assumptions(&lits![-2]))
[INFO] [stderr]      |                                                 ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1548:31
[INFO] [stderr]      |
[INFO] [stderr] 1548 |                 failed_core: &lits![-2, -3],
[INFO] [stderr]      |                               ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1559:27
[INFO] [stderr]      |
[INFO] [stderr] 1559 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1567:49
[INFO] [stderr]      |
[INFO] [stderr] 1567 |             .check_step(ProofStep::Assumptions(&lits![3]))
[INFO] [stderr]      |                                                 ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1572:31
[INFO] [stderr]      |
[INFO] [stderr] 1572 |                 failed_core: &lits![3],
[INFO] [stderr]      |                               ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stderr]     --> src/lib.rs:1583:27
[INFO] [stderr]      |
[INFO] [stderr] 1583 |             .add_formula(&cnf_formula![
[INFO] [stderr]      |                           ^^^^^^^^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1591:49
[INFO] [stderr]      |
[INFO] [stderr] 1591 |             .check_step(ProofStep::Assumptions(&lits![3, -3, 4]))
[INFO] [stderr]      |                                                 ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: cannot determine resolution for the macro `lits`
[INFO] [stderr]     --> src/lib.rs:1596:31
[INFO] [stderr]      |
[INFO] [stderr] 1596 |                 failed_core: &lits![3, -3],
[INFO] [stderr]      |                               ^^^^
[INFO] [stderr]      |
[INFO] [stderr]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 38 previous errors
[INFO] [stderr] 
[INFO] [stderr] For more information about this error, try `rustc --explain E0432`.
[INFO] [stderr] error: could not compile `varisat-checker`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "67548e031d76a3c7c28016638bef37ee7bcbf5b821995e1ce83bc8af339d154f"`
[INFO] running `"docker" "rm" "-f" "67548e031d76a3c7c28016638bef37ee7bcbf5b821995e1ce83bc8af339d154f"`
[INFO] [stdout] 67548e031d76a3c7c28016638bef37ee7bcbf5b821995e1ce83bc8af339d154f
