[INFO] fetching crate tptp 0.9.1...
[INFO] extracting crate tptp 0.9.1 into work/ex/pr-61629/sources/master#c8865d8e195813ade6b84434ac9f8850e7112d1a/reg/tptp/0.9.1
[INFO] extracting crate tptp 0.9.1 into work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/tptp/0.9.1
[INFO] validating manifest of tptp-0.9.1 on toolchain master#c8865d8e195813ade6b84434ac9f8850e7112d1a
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+c8865d8e195813ade6b84434ac9f8850e7112d1a-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of tptp-0.9.1 on toolchain try#e212b7d492c96d3837691ba29d32d5f468933fb8
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e212b7d492c96d3837691ba29d32d5f468933fb8-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing tptp-0.9.1
[INFO] finished frobbing tptp-0.9.1
[INFO] frobbed toml for tptp-0.9.1 written to work/ex/pr-61629/sources/master#c8865d8e195813ade6b84434ac9f8850e7112d1a/reg/tptp/0.9.1/Cargo.toml
[INFO] started frobbing tptp-0.9.1
[INFO] finished frobbing tptp-0.9.1
[INFO] frobbed toml for tptp-0.9.1 written to work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/tptp/0.9.1/Cargo.toml
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+c8865d8e195813ade6b84434ac9f8850e7112d1a-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e212b7d492c96d3837691ba29d32d5f468933fb8-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+c8865d8e195813ade6b84434ac9f8850e7112d1a-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e212b7d492c96d3837691ba29d32d5f468933fb8-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] testing tptp-0.9.1 against try#e212b7d492c96d3837691ba29d32d5f468933fb8 for pr-61629
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-61629/worker-0/try#e212b7d492c96d3837691ba29d32d5f468933fb8:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/tptp/0.9.1:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+e212b7d492c96d3837691ba29d32d5f468933fb8-alt" "build" "--frozen"`
[INFO] [stdout] e382bef65dd853ae7b75eefe8036b71e3854ec2517f6c52c188f46f938f007e0
[INFO] running `"docker" "start" "-a" "e382bef65dd853ae7b75eefe8036b71e3854ec2517f6c52c188f46f938f007e0"`
[INFO] [stderr]    Compiling tptp v0.9.1 (/opt/crater/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.30s
[INFO] running `"docker" "inspect" "e382bef65dd853ae7b75eefe8036b71e3854ec2517f6c52c188f46f938f007e0"`
[INFO] running `"docker" "rm" "-f" "e382bef65dd853ae7b75eefe8036b71e3854ec2517f6c52c188f46f938f007e0"`
[INFO] [stdout] e382bef65dd853ae7b75eefe8036b71e3854ec2517f6c52c188f46f938f007e0
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-61629/worker-0/try#e212b7d492c96d3837691ba29d32d5f468933fb8:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/tptp/0.9.1:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+e212b7d492c96d3837691ba29d32d5f468933fb8-alt" "test" "--frozen" "--no-run"`
[INFO] [stdout] 20db7e9acab4eb188921e7a7b9932f8ef0978415dd8813d21704aef9260459fe
[INFO] running `"docker" "start" "-a" "20db7e9acab4eb188921e7a7b9932f8ef0978415dd8813d21704aef9260459fe"`
[INFO] [stderr]    Compiling tptp v0.9.1 (/opt/crater/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 4.91s
[INFO] running `"docker" "inspect" "20db7e9acab4eb188921e7a7b9932f8ef0978415dd8813d21704aef9260459fe"`
[INFO] running `"docker" "rm" "-f" "20db7e9acab4eb188921e7a7b9932f8ef0978415dd8813d21704aef9260459fe"`
[INFO] [stdout] 20db7e9acab4eb188921e7a7b9932f8ef0978415dd8813d21704aef9260459fe
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-61629/worker-0/try#e212b7d492c96d3837691ba29d32d5f468933fb8:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/tptp/0.9.1:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+e212b7d492c96d3837691ba29d32d5f468933fb8-alt" "test" "--frozen"`
[INFO] [stdout] 87651cf0932aa41e284454b9b7141f9224604353d758c2ea7338552bf262f228
[INFO] running `"docker" "start" "-a" "87651cf0932aa41e284454b9b7141f9224604353d758c2ea7338552bf262f228"`
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
[INFO] [stderr]      Running /opt/crater/target/debug/deps/tptp-9c9f8dc23ef16158
[INFO] [stdout] 
[INFO] [stdout] running 42 tests
[INFO] [stdout] test parser::tests::test_annotations ... ok
[INFO] [stdout] test parser::tests::test_atomic_word ... ok
[INFO] [stdout] test parser::tests::test_cnf_formula ... ok
[INFO] [stdout] test parser::tests::test_dollar_word ... ok
[INFO] [stdout] test parser::tests::test_external_source ... ok
[INFO] [stdout] test parser::tests::test_disjunction ... ok
[INFO] [stdout] test parser::tests::test_cnf_annotated ... ok
[INFO] [stdout] test parser::tests::test_fof_annotated ... ok
[INFO] [stdout] test parser::tests::test_comment_line ... ok
[INFO] [stdout] test parser::tests::test_fof_defined_atomic_formula ... ok
[INFO] [stdout] test parser::tests::test_fof_atomic_formula ... ok
[INFO] [stdout] test parser::tests::test_comment_block ... ok
[INFO] [stdout] test parser::tests::test_dag_source ... ok
[INFO] [stdout] test parser::tests::test_fof_unary_formula ... ok
[INFO] [stdout] test parser::tests::test_fof_term ... ok
[INFO] [stdout] test parser::tests::test_fof_function_term ... ok
[INFO] [stdout] test parser::tests::test_fof_quantified_formula ... ok
[INFO] [stdout] test parser::tests::test_fof_plain_term ... ok
[INFO] [stdout] test parser::tests::test_fof_logic_formula ... ok
[INFO] [stdout] test parser::tests::test_include_path ... ok
[INFO] [stdout] test parser::tests::test_infix_equality ... ok
[INFO] [stdout] test parser::tests::test_fof_unitary_formula ... ok
[INFO] [stdout] test parser::tests::test_fof_unit_formula ... ok
[INFO] [stdout] test parser::tests::test_integer ... ok
[INFO] [stdout] test parser::tests::test_ignored ... ok
[INFO] [stdout] test parser::tests::test_include ... ok
[INFO] [stdout] test parser::tests::test_name ... ok
[INFO] [stdout] test parser::tests::test_lower_word ... ok
[INFO] [stdout] test parser::tests::test_role ... ok
[INFO] [stdout] test parser::tests::test_single_quoted ... ok
[INFO] [stdout] test parser::tests::test_unknown_source ... ok
[INFO] [stdout] test parser::tests::test_name_list ... ok
[INFO] [stdout] test parser::tests::test_literal ... ok
[INFO] [stdout] test parser::tests::test_source ... ok
[INFO] [stdout] test parser::tests::test_tptp_input_or_eof ... ok
[INFO] [stdout] test parser::tests::test_nonassoc_connective ... ok
[INFO] [stdout] test parser::tests::test_sources ... ok
[INFO] [stdout] test parser::tests::test_variable ... ok
[INFO] [stdout] test parser::tests::test_whitespace ... ok
[INFO] [stdout] test syntax::tests::test_included_from ... ok
[INFO] [stdout] test parser::tests::test_upper_word ... ok
[INFO] [stdout] test parser::tests::test_tptp_input ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 42 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests tptp
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test src/lib.rs -  (line 4) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] running `"docker" "inspect" "87651cf0932aa41e284454b9b7141f9224604353d758c2ea7338552bf262f228"`
[INFO] running `"docker" "rm" "-f" "87651cf0932aa41e284454b9b7141f9224604353d758c2ea7338552bf262f228"`
[INFO] [stdout] 87651cf0932aa41e284454b9b7141f9224604353d758c2ea7338552bf262f228