[INFO] fetching crate razor-fol 0.1.0... [INFO] testing razor-fol-0.1.0 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] extracting crate razor-fol 0.1.0 into /workspace/builds/worker-7-tc1/source [INFO] started tweaking crates.io crate razor-fol 0.1.0 [INFO] finished tweaking crates.io crate razor-fol 0.1.0 [INFO] tweaked toml for crates.io crate razor-fol 0.1.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate razor-fol 0.1.0 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] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 33 packages to latest compatible versions [INFO] [stderr] Adding itertools v0.7.11 (available: v0.14.0) [INFO] [stderr] Adding nom v4.2.3 (available: v8.0.0) [INFO] [stderr] Adding nom_locate v0.3.1 (available: v5.0.0) [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] [stderr] Downloading crates ... [INFO] [stderr] Downloaded nom_locate v0.3.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 8f955ffe9421ad34fd4e0bcdf68532ec3cd27d3bb6be9a2cc352a2393606cf34 [INFO] running `Command { std: "docker" "start" "-a" "8f955ffe9421ad34fd4e0bcdf68532ec3cd27d3bb6be9a2cc352a2393606cf34", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8f955ffe9421ad34fd4e0bcdf68532ec3cd27d3bb6be9a2cc352a2393606cf34", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8f955ffe9421ad34fd4e0bcdf68532ec3cd27d3bb6be9a2cc352a2393606cf34", kill_on_drop: false }` [INFO] [stdout] 8f955ffe9421ad34fd4e0bcdf68532ec3cd27d3bb6be9a2cc352a2393606cf34 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 113fd257e964f91aa4b52b699ff469e9c68324552d3fe1d503c1ee10d411b6c6 [INFO] running `Command { std: "docker" "start" "-a" "113fd257e964f91aa4b52b699ff469e9c68324552d3fe1d503c1ee10d411b6c6", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.7.5 [INFO] [stderr] Compiling version_check v0.1.5 [INFO] [stderr] Compiling bytecount v0.3.2 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling nom v4.2.3 [INFO] [stderr] Compiling failure_derive v0.1.8 [INFO] [stderr] Compiling object v0.36.7 [INFO] [stderr] Compiling nom_locate v0.3.1 [INFO] [stderr] Compiling backtrace v0.3.75 [INFO] [stderr] Compiling failure v0.1.8 [INFO] [stderr] Compiling razor-fol v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/parser.rs:117:17 [INFO] [stdout] | [INFO] [stdout] 117 | #[derive(Debug, Fail)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fail` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_failure_Fail_FOR_ParserError` [INFO] [stdout] 118 | enum ParserError { [INFO] [stdout] | ----------- `ParserError` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fail` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fail` may come from an old version of the `failure_derive` crate, try updating your dependency with `cargo update -p failure_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `Fail` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 9.64s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v4.2.3 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2` [INFO] running `Command { std: "docker" "inspect" "113fd257e964f91aa4b52b699ff469e9c68324552d3fe1d503c1ee10d411b6c6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "113fd257e964f91aa4b52b699ff469e9c68324552d3fe1d503c1ee10d411b6c6", kill_on_drop: false }` [INFO] [stdout] 113fd257e964f91aa4b52b699ff469e9c68324552d3fe1d503c1ee10d411b6c6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 22568cedf607698ab7d1eff395a72c3b1c95a6a9b29dd3824810369a8decd47e [INFO] running `Command { std: "docker" "start" "-a" "22568cedf607698ab7d1eff395a72c3b1c95a6a9b29dd3824810369a8decd47e", kill_on_drop: false }` [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/parser.rs:117:17 [INFO] [stdout] | [INFO] [stdout] 117 | #[derive(Debug, Fail)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fail` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_failure_Fail_FOR_ParserError` [INFO] [stdout] 118 | enum ParserError { [INFO] [stdout] | ----------- `ParserError` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fail` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fail` may come from an old version of the `failure_derive` crate, try updating your dependency with `cargo update -p failure_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `Fail` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling razor-fol v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/parser.rs:117:17 [INFO] [stdout] | [INFO] [stdout] 117 | #[derive(Debug, Fail)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fail` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_failure_Fail_FOR_ParserError` [INFO] [stdout] 118 | enum ParserError { [INFO] [stdout] | ----------- `ParserError` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fail` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fail` may come from an old version of the `failure_derive` crate, try updating your dependency with `cargo update -p failure_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `Fail` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 4.51s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v4.2.3 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2` [INFO] running `Command { std: "docker" "inspect" "22568cedf607698ab7d1eff395a72c3b1c95a6a9b29dd3824810369a8decd47e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "22568cedf607698ab7d1eff395a72c3b1c95a6a9b29dd3824810369a8decd47e", kill_on_drop: false }` [INFO] [stdout] 22568cedf607698ab7d1eff395a72c3b1c95a6a9b29dd3824810369a8decd47e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 01082d7c57b236da3f85df29b955aa25dcf10f3f86e912d26416e731f14a471b [INFO] running `Command { std: "docker" "start" "-a" "01082d7c57b236da3f85df29b955aa25dcf10f3f86e912d26416e731f14a471b", kill_on_drop: false }` [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> src/parser.rs:117:17 [INFO] [stderr] | [INFO] [stderr] 117 | #[derive(Debug, Fail)] [INFO] [stderr] | ^--- [INFO] [stderr] | | [INFO] [stderr] | `Fail` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_failure_Fail_FOR_ParserError` [INFO] [stderr] 118 | enum ParserError { [INFO] [stderr] | ----------- `ParserError` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `Fail` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `Fail` may come from an old version of the `failure_derive` crate, try updating your dependency with `cargo update -p failure_derive` [INFO] [stderr] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stderr] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stderr] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stderr] = note: this warning originates in the derive macro `Fail` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: `razor-fol` (lib) generated 1 warning [INFO] [stderr] warning: `razor-fol` (lib test) generated 1 warning (1 duplicate) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v4.2.3 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2` [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/razor_fol-311ae47de948e372) [INFO] [stdout] [INFO] [stdout] running 60 tests [INFO] [stdout] test parser::test_parser::test_func ... ok [INFO] [stdout] test parser::test_parser::test_equals ... ok [INFO] [stdout] test parser::test_parser::test_atom ... ok [INFO] [stdout] test parser::test_parser::test_const ... ok [INFO] [stdout] test parser::test_parser::test_line_comment ... ok [INFO] [stdout] test parser::test_parser::parse_failure ... ok [INFO] [stdout] test parser::test_parser::test_upper_identifier ... ok [INFO] [stdout] test parser::test_parser::test_var ... ok [INFO] [stdout] test parser::test_parser::test_vars ... ok [INFO] [stdout] test syntax::test_syntax::free_vars_bottom ... ok [INFO] [stdout] test parser::test_parser::test_term ... ok [INFO] [stdout] test syntax::test_syntax::test_app_to_string ... ok [INFO] [stdout] test syntax::test_syntax::test_atom_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::free_vars_top ... ok [INFO] [stdout] test syntax::test_syntax::print_top ... ok [INFO] [stdout] test syntax::test_syntax::test_const_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::test_and_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::test_atom_to_string ... ok [INFO] [stdout] test syntax::test_syntax::test_equals_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::test_and_to_string ... ok [INFO] [stdout] test syntax::test_syntax::print_bottom ... ok [INFO] [stdout] test syntax::test_syntax::test_const_to_string ... ok [INFO] [stdout] test syntax::test_syntax::test_exists_to_string ... ok [INFO] [stdout] test parser::test_parser::test_theory ... ok [INFO] [stdout] test syntax::test_syntax::test_forall_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::test_forall_to_string ... ok [INFO] [stdout] test syntax::test_syntax::test_formula_to_string ... ok [INFO] [stdout] test syntax::test_syntax::test_app_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::test_iff_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::test_not_free_vars ... ok [INFO] [stdout] test parser::test_parser::test_lower_identifier ... ok [INFO] [stdout] test syntax::test_syntax::test_exists_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::test_pred_to_string ... ok [INFO] [stdout] test syntax::test_syntax::test_var_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::test_equals_to_string ... ok [INFO] [stdout] test syntax::test_syntax::test_iff_to_string ... ok [INFO] [stdout] test syntax::test_syntax::test_implies_to_string ... ok [INFO] [stdout] test syntax::test_syntax::test_or_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::test_func_to_string ... ok [INFO] [stdout] test syntax::test_syntax::test_implies_free_vars ... ok [INFO] [stdout] test syntax::test_syntax::test_not_to_string ... ok [INFO] [stdout] test parser::test_parser::test_pred ... ok [INFO] [stdout] test syntax::test_syntax::test_or_to_string ... ok [INFO] [stdout] test parser::test_parser::test_formula ... ok [INFO] [stdout] test syntax::test_syntax::test_var_to_string ... ok [INFO] [stdout] test parser::test_parser::test_block_comment ... ok [INFO] [stdout] test transform::test_transform::test_rename_term ... ok [INFO] [stdout] test transform::test_transform::test_rename_formula ... ok [INFO] [stdout] test transform::test_transform::test_skolem_generator ... ok [INFO] [stdout] test transform::test_transform::test_substitute_formula ... ok [INFO] [stdout] test transform::test_transform::test_substitute_term ... ok [INFO] [stdout] test transform::test_transform::test_gnf_theory ... ok [INFO] [stdout] test transform::test_transform::test_snf ... ok [INFO] [stdout] test transform::test_transform::test_gnf ... ok [INFO] [stdout] test transform::test_transform::test_substitution_map ... ok [INFO] [stdout] test transform::test_transform::test_cnf ... ok [INFO] [stdout] test transform::test_transform::test_simplify ... ok [INFO] [stdout] test transform::test_transform::test_nnf ... ok [INFO] [stdout] test transform::test_transform::test_dnf ... ok [INFO] [stdout] test transform::test_transform::test_pnf ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 60 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s [INFO] [stdout] [INFO] [stderr] Doc-tests razor_fol [INFO] [stdout] [INFO] [stdout] running 18 tests [INFO] [stdout] test src/parser.rs - parser (line 18) ... ok [INFO] [stdout] test src/syntax.rs - syntax::Formula::free_vars (line 459) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::pnf (line 283) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::nnf (line 613) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::dnf (line 763) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::snf_with (line 564) ... ok [INFO] [stdout] test src/transform.rs - transform::TermBased::rename_vars (line 86) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::simplify (line 837) ... ok [INFO] [stdout] test src/parser.rs - parser (line 8) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::cnf_with (line 704) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::dnf_with (line 783) ... ok [INFO] [stdout] test src/syntax.rs - syntax::Term::free_vars (line 241) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::cnf (line 685) ... ok [INFO] [stdout] test src/transform.rs - transform::TermBased::substitute (line 121) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::snf (line 546) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::gnf_with (line 978) ... ok [INFO] [stdout] test src/transform.rs - transform::Formula::gnf (line 958) ... ok [INFO] [stdout] test src/transform.rs - transform::Theory::gnf (line 1055) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.18s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "01082d7c57b236da3f85df29b955aa25dcf10f3f86e912d26416e731f14a471b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "01082d7c57b236da3f85df29b955aa25dcf10f3f86e912d26416e731f14a471b", kill_on_drop: false }` [INFO] [stdout] 01082d7c57b236da3f85df29b955aa25dcf10f3f86e912d26416e731f14a471b