[INFO] cloning repository https://github.com/longfangsong/plan-to-ltl
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/longfangsong/plan-to-ltl" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flongfangsong%2Fplan-to-ltl", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flongfangsong%2Fplan-to-ltl'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] fe715e1960f8cac331bff2bfbaf73d0c85a253c4
[INFO] testing longfangsong/plan-to-ltl against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flongfangsong%2Fplan-to-ltl" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/longfangsong/plan-to-ltl
[INFO] finished tweaking git repo https://github.com/longfangsong/plan-to-ltl
[INFO] tweaked toml for git repo https://github.com/longfangsong/plan-to-ltl written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/longfangsong/plan-to-ltl 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] crate git repo https://github.com/longfangsong/plan-to-ltl already has a lockfile, it will not be regenerated
[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] 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] 65c19ae9a16080d50b47556aa687d9bb2aa442956815a13770b38ab8de1cb55a
[INFO] running `Command { std: "docker" "start" "-a" "65c19ae9a16080d50b47556aa687d9bb2aa442956815a13770b38ab8de1cb55a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "65c19ae9a16080d50b47556aa687d9bb2aa442956815a13770b38ab8de1cb55a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "65c19ae9a16080d50b47556aa687d9bb2aa442956815a13770b38ab8de1cb55a", kill_on_drop: false }`
[INFO] [stdout] 65c19ae9a16080d50b47556aa687d9bb2aa442956815a13770b38ab8de1cb55a
[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] 28fc87be6b5757eb1cf3ee1f2612f1ddb3b87f41f91ac2d08ad46d574eaee836
[INFO] running `Command { std: "docker" "start" "-a" "28fc87be6b5757eb1cf3ee1f2612f1ddb3b87f41f91ac2d08ad46d574eaee836", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.100
[INFO] [stderr]    Compiling bumpalo v3.19.0
[INFO] [stderr]    Compiling rustversion v1.0.22
[INFO] [stderr]    Compiling wasm-bindgen v0.2.100
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling cfg-if v1.0.3
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling wasm-bindgen-backend v0.2.100
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.100
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.100
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling plan-to-ltl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `ptr::write`
[INFO] [stdout]  --> src/ltl.rs:1:38
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{fmt::Display, ops::BitAnd, ptr::write};
[INFO] [stdout]   |                                      ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `inner`
[INFO] [stdout]   --> src/ltl.rs:82:77
[INFO] [stdout]    |
[INFO] [stdout] 82 |             LTL::Or(ltls) if ltls.len() == 2 && matches!(&ltls[0], LTL::Not(inner)) => {
[INFO] [stdout]    |                                                                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_inner`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `OutputMapping` is more private than the item `collect_output`
[INFO] [stdout]   --> src/convert.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub fn collect_output(domain: &Domain, problem: &Problem) -> OutputMapping {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `collect_output` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/convert.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `OutputMapping` is more private than the item `convert_value`
[INFO] [stdout]    --> src/convert.rs:102:1
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub fn convert_value(value: &Value, output_mapping: &OutputMapping) -> LTL {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `convert_value` is reachable at visibility `pub`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/convert.rs:10:1
[INFO] [stdout]     |
[INFO] [stdout]  10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `OutputMapping` is more private than the item `convert_action`
[INFO] [stdout]    --> src/convert.rs:178:1
[INFO] [stdout]     |
[INFO] [stdout] 178 | pub fn convert_action(action: &Action, problem: &Problem, output_mapping: &OutputMapping) -> LTL {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `convert_action` is reachable at visibility `pub`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/convert.rs:10:1
[INFO] [stdout]     |
[INFO] [stdout]  10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `OutputMapping` is more private than the item `convert`
[INFO] [stdout]    --> src/convert.rs:194:1
[INFO] [stdout]     |
[INFO] [stdout] 194 | pub fn convert(domain: &Domain, problem: &Problem) -> (LTL, OutputMapping) {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `convert` is reachable at visibility `pub`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/convert.rs:10:1
[INFO] [stdout]     |
[INFO] [stdout]  10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 16.89s
[INFO] running `Command { std: "docker" "inspect" "28fc87be6b5757eb1cf3ee1f2612f1ddb3b87f41f91ac2d08ad46d574eaee836", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "28fc87be6b5757eb1cf3ee1f2612f1ddb3b87f41f91ac2d08ad46d574eaee836", kill_on_drop: false }`
[INFO] [stdout] 28fc87be6b5757eb1cf3ee1f2612f1ddb3b87f41f91ac2d08ad46d574eaee836
[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] f0df5f0b652f2220ae9149260cba34d7a45e6a56696f709ed30ea12d0a4555b8
[INFO] running `Command { std: "docker" "start" "-a" "f0df5f0b652f2220ae9149260cba34d7a45e6a56696f709ed30ea12d0a4555b8", kill_on_drop: false }`
[INFO] [stderr]    Compiling plan-to-ltl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `ptr::write`
[INFO] [stdout]  --> src/ltl.rs:1:38
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{fmt::Display, ops::BitAnd, ptr::write};
[INFO] [stdout]   |                                      ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `inner`
[INFO] [stdout]   --> src/ltl.rs:82:77
[INFO] [stdout]    |
[INFO] [stdout] 82 |             LTL::Or(ltls) if ltls.len() == 2 && matches!(&ltls[0], LTL::Not(inner)) => {
[INFO] [stdout]    |                                                                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_inner`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `OutputMapping` is more private than the item `collect_output`
[INFO] [stdout]   --> src/convert.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub fn collect_output(domain: &Domain, problem: &Problem) -> OutputMapping {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `collect_output` is reachable at visibility `pub`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stdout]   --> src/convert.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `OutputMapping` is more private than the item `convert_value`
[INFO] [stdout]    --> src/convert.rs:102:1
[INFO] [stdout]     |
[INFO] [stdout] 102 | pub fn convert_value(value: &Value, output_mapping: &OutputMapping) -> LTL {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `convert_value` is reachable at visibility `pub`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/convert.rs:10:1
[INFO] [stdout]     |
[INFO] [stdout]  10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `OutputMapping` is more private than the item `convert_action`
[INFO] [stdout]    --> src/convert.rs:178:1
[INFO] [stdout]     |
[INFO] [stdout] 178 | pub fn convert_action(action: &Action, problem: &Problem, output_mapping: &OutputMapping) -> LTL {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `convert_action` is reachable at visibility `pub`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/convert.rs:10:1
[INFO] [stdout]     |
[INFO] [stdout]  10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `OutputMapping` is more private than the item `convert::convert`
[INFO] [stdout]    --> src/convert.rs:194:1
[INFO] [stdout]     |
[INFO] [stdout] 194 | pub fn convert(domain: &Domain, problem: &Problem) -> (LTL, OutputMapping) {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `convert::convert` is reachable at visibility `pub`
[INFO] [stdout]     |
[INFO] [stdout] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stdout]    --> src/convert.rs:10:1
[INFO] [stdout]     |
[INFO] [stdout]  10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.21s
[INFO] running `Command { std: "docker" "inspect" "f0df5f0b652f2220ae9149260cba34d7a45e6a56696f709ed30ea12d0a4555b8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f0df5f0b652f2220ae9149260cba34d7a45e6a56696f709ed30ea12d0a4555b8", kill_on_drop: false }`
[INFO] [stdout] f0df5f0b652f2220ae9149260cba34d7a45e6a56696f709ed30ea12d0a4555b8
[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] b2b4e4c0866eb235ca13baabf1e7a78912147d5d762db0bcc21c2f30f49197ef
[INFO] running `Command { std: "docker" "start" "-a" "b2b4e4c0866eb235ca13baabf1e7a78912147d5d762db0bcc21c2f30f49197ef", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `ptr::write`
[INFO] [stderr]  --> src/ltl.rs:1:38
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::{fmt::Display, ops::BitAnd, ptr::write};
[INFO] [stderr]   |                                      ^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `inner`
[INFO] [stderr]   --> src/ltl.rs:82:77
[INFO] [stderr]    |
[INFO] [stderr] 82 |             LTL::Or(ltls) if ltls.len() == 2 && matches!(&ltls[0], LTL::Not(inner)) => {
[INFO] [stderr]    |                                                                             ^^^^^ help: if this is intentional, prefix it with an underscore: `_inner`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: type `OutputMapping` is more private than the item `collect_output`
[INFO] [stderr]   --> src/convert.rs:21:1
[INFO] [stderr]    |
[INFO] [stderr] 21 | pub fn collect_output(domain: &Domain, problem: &Problem) -> OutputMapping {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `collect_output` is reachable at visibility `pub`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stderr]   --> src/convert.rs:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: type `OutputMapping` is more private than the item `convert_value`
[INFO] [stderr]    --> src/convert.rs:102:1
[INFO] [stderr]     |
[INFO] [stderr] 102 | pub fn convert_value(value: &Value, output_mapping: &OutputMapping) -> LTL {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `convert_value` is reachable at visibility `pub`
[INFO] [stderr]     |
[INFO] [stderr] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/convert.rs:10:1
[INFO] [stderr]     |
[INFO] [stderr]  10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `OutputMapping` is more private than the item `convert_action`
[INFO] [stderr]    --> src/convert.rs:178:1
[INFO] [stderr]     |
[INFO] [stderr] 178 | pub fn convert_action(action: &Action, problem: &Problem, output_mapping: &OutputMapping) -> LTL {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `convert_action` is reachable at visibility `pub`
[INFO] [stderr]     |
[INFO] [stderr] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/convert.rs:10:1
[INFO] [stderr]     |
[INFO] [stderr]  10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `OutputMapping` is more private than the item `convert::convert`
[INFO] [stderr]    --> src/convert.rs:194:1
[INFO] [stderr]     |
[INFO] [stderr] 194 | pub fn convert(domain: &Domain, problem: &Problem) -> (LTL, OutputMapping) {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ function `convert::convert` is reachable at visibility `pub`
[INFO] [stderr]     |
[INFO] [stderr] note: but type `OutputMapping` is only usable at visibility `pub(self)`
[INFO] [stderr]    --> src/convert.rs:10:1
[INFO] [stderr]     |
[INFO] [stderr]  10 | struct OutputMapping(Vec<(String, Vec<String>)>);
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `plan-to-ltl` (bin "plan-to-ltl" test) generated 6 warnings (run `cargo fix --bin "plan-to-ltl" --tests` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/plan_to_ltl-4d90cc6fe42c4d1b)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test convert::tests::test_collect_output ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "b2b4e4c0866eb235ca13baabf1e7a78912147d5d762db0bcc21c2f30f49197ef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b2b4e4c0866eb235ca13baabf1e7a78912147d5d762db0bcc21c2f30f49197ef", kill_on_drop: false }`
[INFO] [stdout] b2b4e4c0866eb235ca13baabf1e7a78912147d5d762db0bcc21c2f30f49197ef