[INFO] fetching crate term_rewriting 0.5.0...
[INFO] extracting crate term_rewriting 0.5.0 into work/ex/pr-61629/sources/master#c8865d8e195813ade6b84434ac9f8850e7112d1a/reg/term_rewriting/0.5.0
[INFO] extracting crate term_rewriting 0.5.0 into work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/term_rewriting/0.5.0
[INFO] validating manifest of term_rewriting-0.5.0 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 term_rewriting-0.5.0 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 term_rewriting-0.5.0
[INFO] finished frobbing term_rewriting-0.5.0
[INFO] frobbed toml for term_rewriting-0.5.0 written to work/ex/pr-61629/sources/master#c8865d8e195813ade6b84434ac9f8850e7112d1a/reg/term_rewriting/0.5.0/Cargo.toml
[INFO] started frobbing term_rewriting-0.5.0
[INFO] finished frobbing term_rewriting-0.5.0
[INFO] frobbed toml for term_rewriting-0.5.0 written to work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/term_rewriting/0.5.0/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 term_rewriting-0.5.0 against try#e212b7d492c96d3837691ba29d32d5f468933fb8 for pr-61629
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-61629/worker-2/try#e212b7d492c96d3837691ba29d32d5f468933fb8:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/term_rewriting/0.5.0:/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] 7f13cc08a805bcd75967493ea206fb01c4caa7fc835f140158c9943c451302a7
[INFO] running `"docker" "start" "-a" "7f13cc08a805bcd75967493ea206fb01c4caa7fc835f140158c9943c451302a7"`
[INFO] [stderr]    Compiling term_rewriting v0.5.0 (/opt/crater/workdir)
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/types/term.rs:1111:21
[INFO] [stderr]      |
[INFO] [stderr] 1111 |                 let mut cs = Term::constraint_substitute(&cs, &st);
[INFO] [stderr]      |                     ----^^
[INFO] [stderr]      |                     |
[INFO] [stderr]      |                     help: remove this `mut`
[INFO] [stderr]      |
[INFO] [stderr]      = note: #[warn(unused_mut)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/types/term.rs:1119:21
[INFO] [stderr]      |
[INFO] [stderr] 1119 |                 let mut cs = Term::constraint_substitute(&cs, &ts);
[INFO] [stderr]      |                     ----^^
[INFO] [stderr]      |                     |
[INFO] [stderr]      |                     help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 7.78s
[INFO] running `"docker" "inspect" "7f13cc08a805bcd75967493ea206fb01c4caa7fc835f140158c9943c451302a7"`
[INFO] running `"docker" "rm" "-f" "7f13cc08a805bcd75967493ea206fb01c4caa7fc835f140158c9943c451302a7"`
[INFO] [stdout] 7f13cc08a805bcd75967493ea206fb01c4caa7fc835f140158c9943c451302a7
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-61629/worker-2/try#e212b7d492c96d3837691ba29d32d5f468933fb8:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/term_rewriting/0.5.0:/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] e6b64301eef9595a03b20cb8852ac68e1162e6dcb23b26e509097cd409cabdb6
[INFO] running `"docker" "start" "-a" "e6b64301eef9595a03b20cb8852ac68e1162e6dcb23b26e509097cd409cabdb6"`
[INFO] [stderr]    Compiling term_rewriting v0.5.0 (/opt/crater/workdir)
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/types/term.rs:1111:21
[INFO] [stderr]      |
[INFO] [stderr] 1111 |                 let mut cs = Term::constraint_substitute(&cs, &st);
[INFO] [stderr]      |                     ----^^
[INFO] [stderr]      |                     |
[INFO] [stderr]      |                     help: remove this `mut`
[INFO] [stderr]      |
[INFO] [stderr]      = note: #[warn(unused_mut)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]     --> src/types/term.rs:1119:21
[INFO] [stderr]      |
[INFO] [stderr] 1119 |                 let mut cs = Term::constraint_substitute(&cs, &ts);
[INFO] [stderr]      |                     ----^^
[INFO] [stderr]      |                     |
[INFO] [stderr]      |                     help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 6.52s
[INFO] running `"docker" "inspect" "e6b64301eef9595a03b20cb8852ac68e1162e6dcb23b26e509097cd409cabdb6"`
[INFO] running `"docker" "rm" "-f" "e6b64301eef9595a03b20cb8852ac68e1162e6dcb23b26e509097cd409cabdb6"`
[INFO] [stdout] e6b64301eef9595a03b20cb8852ac68e1162e6dcb23b26e509097cd409cabdb6
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-61629/worker-2/try#e212b7d492c96d3837691ba29d32d5f468933fb8:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/term_rewriting/0.5.0:/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] 0c23c860d6d3bc36c86b318227c1bf22bdbb48c0c0d4754782ba270e319e58fd
[INFO] running `"docker" "start" "-a" "0c23c860d6d3bc36c86b318227c1bf22bdbb48c0c0d4754782ba270e319e58fd"`
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running /opt/crater/target/debug/deps/term_rewriting-54b22c860ae27f90
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test parser::tests::has_var_test ... ok
[INFO] [stdout] test parser::tests::app_test_2 ... ok
[INFO] [stdout] test parser::tests::app_test_1 ... ok
[INFO] [stdout] test parser::tests::app_test_3 ... ok
[INFO] [stdout] test parser::tests::pipe_test ... ok
[INFO] [stdout] test parser::tests::rule_test ... ok
[INFO] [stdout] test parser::tests::parser_incomplete ... ok
[INFO] [stdout] test parser::tests::lparen_test ... ok
[INFO] [stdout] test parser::tests::parser_debug ... ok
[INFO] [stdout] test parser::tests::semicolon_test ... ok
[INFO] [stdout] test parser::tests::rparen_test ... ok
[INFO] [stdout] test parser::tests::rule_kw_test ... ok
[INFO] [stdout] test parser::tests::term_test_1 ... ok
[INFO] [stdout] test parser::tests::rulecontext_test ... ok
[INFO] [stdout] test parser::tests::program_test ... ok
[INFO] [stdout] test parser::tests::statement_test_2 ... ok
[INFO] [stdout] test parser::tests::term_test_2 ... ok
[INFO] [stdout] test parser::tests::statement_test_1 ... ok
[INFO] [stdout] test parser::tests::term_test_3 ... ok
[INFO] [stdout] test parser::tests::underscore_test ... ok
[INFO] [stdout] test parser::tests::var_test ... ok
[INFO] [stdout] test parser::tests::top_term_test ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/crater/target/debug/deps/trace-f3a7a4b8ceea52d9
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test trace_rewrite ... ok
[INFO] [stdout] test trace_step ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/crater/target/debug/deps/types-36a73162ef6bf41d
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test pretty_term_list ... ok
[INFO] [stdout] test atom_methods ... ok
[INFO] [stdout] test operator_methods ... ok
[INFO] [stdout] test parse_display_roundtrip_term ... ok
[INFO] [stdout] test display_variable ... ok
[INFO] [stdout] test pretty_term_application ... ok
[INFO] [stdout] test parse_display_roundtrip_trs ... ok
[INFO] [stdout] test parse_display_roundtrip_rule ... ok
[INFO] [stdout] test rule_new_invalid_rhs_var ... ok
[INFO] [stdout] test rule_new_valid ... ok
[INFO] [stdout] test rule_new_invalid_lhs_var ... ok
[INFO] [stdout] test rule_new_valid_lhs_var ... ok
[INFO] [stdout] test rewrite_test ... ok
[INFO] [stdout] test signature_parse ... ok
[INFO] [stdout] test term_substitute_test ... ok
[INFO] [stdout] test unify_test ... ok
[INFO] [stdout] test pretty_term_nonspecial ... ok
[INFO] [stdout] test pretty_trs ... ok
[INFO] [stdout] test pretty_term_number ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests term_rewriting
[INFO] [stdout] 
[INFO] [stdout] running 122 tests
[INFO] [stdout] test src/parser.rs - parser::parse (line 72) ... ok
[INFO] [stdout] test src/types/atom.rs - types::atom::Atom::display (line 157) ... ok
[INFO] [stdout] test src/types/atom.rs - types::atom::Operator::display (line 96) ... ok
[INFO] [stdout] test src/types/atom.rs - types::atom::Atom::Operator (line 142) ... ok
[INFO] [stdout] test src/types/atom.rs - types::atom::Atom::Variable (line 127) ... ok
[INFO] [stdout] test src/types/atom.rs - types::atom::Operator::arity (line 66) ... ok
[INFO] [stdout] test src/lib.rs -  (line 12) ... ok
[INFO] [stdout] test src/trace.rs - trace (line 8) ... ok
[INFO] [stdout] test src/types/atom.rs - types::atom::Variable::display (line 33) ... ok
[INFO] [stdout] test src/types/atom.rs - types::atom::Variable::name (line 19) ... ok
[INFO] [stdout] test src/types/atom.rs - types::atom::Operator::name (line 80) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::alpha (line 929) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::add (line 589) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::at (line 796) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::clauses (line 509) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule (line 360) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::discard (line 633) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::merge (line 612) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::contains (line 661) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::is_empty (line 464) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::len (line 449) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::display (line 396) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::new (line 558) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::pretty (line 414) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::operators (line 721) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::replace (line 823) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::pmatch (line 857) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::rhs (line 485) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::substitute (line 963) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::size (line 434) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::subterms (line 748) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::unify (line 890) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext (line 16) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext::at (line 255) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::Rule::variables (line 698) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext::display (line 94) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext::new (line 48) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext::holes (line 180) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext::operators (line 230) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext::replace (line 281) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext::pretty (line 112) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext::subcontexts (line 133) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext::to_rule (line 322) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::Signature (line 18) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::Signature::atoms (line 153) ... ok
[INFO] [stdout] test src/types/rule.rs - types::rule::RuleContext::variables (line 207) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::Signature::new_op (line 174) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::Signature::merge (line 231) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::Signature::new (line 56) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::Signature::new_var (line 203) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::Signature::operators (line 92) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::Signature::variables (line 122) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::SignatureChange::reify_rule (line 620) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::SignatureChange::reify_context (line 568) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::SignatureChange (line 485) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context (line 14) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::SignatureChange::reify_term (line 520) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::Application (line 75) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::Hole (line 39) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::at (line 349) ... ok
[INFO] [stdout] test src/types/signature.rs - types::signature::SignatureChange::reify_trs (line 650) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::Variable (line 55) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::args (line 261) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::display (line 95) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::atoms (line 141) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::holes (line 215) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::head (line 242) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::operators (line 187) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::pretty (line 123) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::replace (line 384) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::subcontexts (line 288) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::size (line 329) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::to_term (line 429) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::Application (line 505) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::Variable (line 485) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Context::variables (line 162) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::args (line 669) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::alpha (line 916) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::at (line 765) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::display (line 537) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::atoms (line 582) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::head (line 649) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::pretty (line 564) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::pmatch (line 1012) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::replace (line 808) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::operators (line 625) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::size (line 744) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::shape_equivalent (line 955) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::substitute (line 854) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::subterms (line 695) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::unify (line 1048) ... ok
[INFO] [stdout] test src/types/term.rs - types::term::Term::variables (line 602) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::get (line 611) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::clauses (line 340) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::get_clause (line 669) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::display (line 276) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS (line 11) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::alphas (line 481) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::get_idx (line 643) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::insert (line 796) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::insert_clauses (line 909) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::inserts_idx (line 874) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::insert_idx (line 838) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::is_deterministic (line 184) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::is_empty (line 231) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::new (line 45) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::len (line 212) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::make_deterministic (line 74) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::move_rule (line 1011) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::make_nondeterministic (line 137) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::operators (line 365) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::pretty (line 313) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::push (line 944) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::pushes (line 976) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::pmatches (line 430) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::remove_clauses (line 761) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::remove (line 700) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::replace (line 1046) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::remove_idx (line 732) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::rewrite (line 561) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::size (line 258) ... ok
[INFO] [stdout] test src/types/trs.rs - types::trs::TRS::unifies (line 391) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 122 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] running `"docker" "inspect" "0c23c860d6d3bc36c86b318227c1bf22bdbb48c0c0d4754782ba270e319e58fd"`
[INFO] running `"docker" "rm" "-f" "0c23c860d6d3bc36c86b318227c1bf22bdbb48c0c0d4754782ba270e319e58fd"`
[INFO] [stdout] 0c23c860d6d3bc36c86b318227c1bf22bdbb48c0c0d4754782ba270e319e58fd