[INFO] fetching crate prolog-squared 1.4.6...
[INFO] testing prolog-squared-1.4.6 against 1.100.0-beta.1 for beta-1.100-2
[INFO] extracting crate prolog-squared 1.4.6 into /workspace/builds/worker-1-tc2/source
[INFO] removed /workspace/builds/worker-1-tc2/source/.cargo/config.toml
[INFO] started tweaking crates.io crate prolog-squared 1.4.6
[INFO] finished tweaking crates.io crate prolog-squared 1.4.6
[INFO] tweaked toml for crates.io crate prolog-squared 1.4.6 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate prolog-squared 1.4.6 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate prolog-squared 1.4.6 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" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12
[INFO] running `Command { std: "docker" "start" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling cfg_aliases v0.1.1
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling nix v0.28.0
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling serde_json v1.0.143
[INFO] [stderr]    Compiling nibble_vec v0.1.0
[INFO] [stderr]    Compiling endian-type v0.1.2
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling radix_trie v0.2.1
[INFO] [stderr]    Compiling ryu v1.0.20
[INFO] [stderr]    Compiling itoa v1.0.15
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling unicode-segmentation v1.13.2
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling home v0.5.12
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling fsize v1.0.0
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling console v0.15.8
[INFO] [stderr]    Compiling num_cpus v1.17.0
[INFO] [stderr]    Compiling fd-lock v4.0.4
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling rustyline v14.0.0
[INFO] [stderr]    Compiling prolog-squared v1.4.6 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]   --> src/top_prog.rs:20:18
[INFO] [stdout]    |
[INFO] [stdout] 20 |         clause::{self, Clause},
[INFO] [stdout]    |                  ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]  --> src/resolution/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     usize,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/resolution/unification.rs:40:31
[INFO] [stdout]    |
[INFO] [stdout] 40 |             arg_regs: [usize::MAX; 32],
[INFO] [stdout]    |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/resolution/unification.rs:66:45
[INFO] [stdout]    |
[INFO] [stdout] 66 |         if self.arg_regs[arg_idx] == usize::MAX {
[INFO] [stdout]    |                                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]  --> src/top_prog.rs:9:13
[INFO] [stdout]   |
[INFO] [stdout] 9 |     thread, usize,
[INFO] [stdout]   |             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [optimized + debuginfo] target(s) in 1m 19s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nix v0.28.0
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] running `Command { std: "docker" "inspect" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling prolog-squared v1.4.6 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]   --> src/top_prog.rs:20:18
[INFO] [stdout]    |
[INFO] [stdout] 20 |         clause::{self, Clause},
[INFO] [stdout]    |                  ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]  --> src/resolution/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     usize,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/resolution/unification.rs:40:31
[INFO] [stdout]    |
[INFO] [stdout] 40 |             arg_regs: [usize::MAX; 32],
[INFO] [stdout]    |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/resolution/unification.rs:66:45
[INFO] [stdout]    |
[INFO] [stdout] 66 |         if self.arg_regs[arg_idx] == usize::MAX {
[INFO] [stdout]    |                                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]  --> src/top_prog.rs:9:13
[INFO] [stdout]   |
[INFO] [stdout] 9 |     thread, usize,
[INFO] [stdout]   |             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]   --> src/top_prog.rs:20:18
[INFO] [stdout]    |
[INFO] [stdout] 20 |         clause::{self, Clause},
[INFO] [stdout]    |                  ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]  --> src/resolution/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     usize,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/resolution/unification.rs:40:31
[INFO] [stdout]    |
[INFO] [stdout] 40 |             arg_regs: [usize::MAX; 32],
[INFO] [stdout]    |                               ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]   --> src/resolution/unification.rs:66:45
[INFO] [stdout]    |
[INFO] [stdout] 66 |         if self.arg_regs[arg_idx] == usize::MAX {
[INFO] [stdout]    |                                             ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]  --> src/top_prog.rs:9:13
[INFO] [stdout]   |
[INFO] [stdout] 9 |     thread, usize,
[INFO] [stdout]   |             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `top_prog_molecules_not` is never used
[INFO] [stdout]    --> src/examples.rs:171:4
[INFO] [stdout]     |
[INFO] [stdout] 171 | fn top_prog_molecules_not() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 34.83s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nix v0.28.0
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] running `Command { std: "docker" "inspect" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `self`
[INFO] [stderr]   --> src/top_prog.rs:20:18
[INFO] [stderr]    |
[INFO] [stderr] 20 |         clause::{self, Clause},
[INFO] [stderr]    |                  ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stderr]  --> src/resolution/unification.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 6 |     usize,
[INFO] [stderr]   |     ^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(deprecated)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]   --> src/resolution/unification.rs:40:31
[INFO] [stderr]    |
[INFO] [stderr] 40 |             arg_regs: [usize::MAX; 32],
[INFO] [stderr]    |                               ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stderr]   --> src/resolution/unification.rs:66:45
[INFO] [stderr]    |
[INFO] [stderr] 66 |         if self.arg_regs[arg_idx] == usize::MAX {
[INFO] [stderr]    |                                             ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stderr]  --> src/top_prog.rs:9:13
[INFO] [stderr]   |
[INFO] [stderr] 9 |     thread, usize,
[INFO] [stderr]   |             ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `top_prog_molecules_not` is never used
[INFO] [stderr]    --> src/examples.rs:171:4
[INFO] [stderr]     |
[INFO] [stderr] 171 | fn top_prog_molecules_not() {
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `prolog-squared` (lib) generated 5 warnings (run `cargo fix --lib -p prolog-squared` to apply 1 suggestion)
[INFO] [stderr] warning: `prolog-squared` (lib test) generated 6 warnings (5 duplicates)
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 0.11s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nix v0.28.0
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/prolog-squared/4834eb6f826d8f1b/out/prolog2-4834eb6f826d8f1b)
[INFO] [stdout] 
[INFO] [stdout] running 240 tests
[INFO] [stdout] test examples::map ... ok
[INFO] [stdout] test heap::heap::tests::dereference ... ok
[INFO] [stdout] test examples::odd_even ... ok
[INFO] [stdout] test examples::learn_map_double ... ok
[INFO] [stdout] test heap::heap::tests::encode_functor ... ok
[INFO] [stdout] test heap::heap::tests::encode_argument_variable ... ok
[INFO] [stdout] test examples::fsm_parity ... ok
[INFO] [stdout] test heap::heap::tests::encode_set ... ok
[INFO] [stdout] test heap::heap::tests::encode_tuple ... ok
[INFO] [stdout] test heap::heap::tests::encode_constant ... ok
[INFO] [stdout] test heap::symbol_db::tests::insert_constant_symbol ... ok
[INFO] [stdout] test heap::heap::tests::encode_ref_variable ... ok
[INFO] [stdout] test heap::symbol_db::tests::insert_string ... ok
[INFO] [stdout] test heap::symbol_db::tests::insert_variable_symbol ... ok
[INFO] [stdout] test heap::heap::tests::encode_list ... ok
[INFO] [stdout] test normalise_tests::different_structure_different_keys ... ok
[INFO] [stdout] test heap::symbol_db::tests::known_symbols ... ok
[INFO] [stdout] test normalise_tests::multiple_invented_predicates ... ok
[INFO] [stdout] test normalise_tests::pred_10_not_confused_with_pred_1 ... ok
[INFO] [stdout] test parser::build_tree::tests::infix_order ... ok
[INFO] [stdout] test normalise_tests::identical_structure_different_ids ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_atom_term ... ok
[INFO] [stdout] test parser::build_tree::tests::grouped_expression ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_constant_term ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_directive ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_fact ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_list_term ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_meta_fact ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_meta_rule_list_only ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_meta_rule_with_unconstrained_list ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_meta_rule ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_set_term ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_rule ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_all_clauses ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_string_term ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_tuple ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_variable_term ... ok
[INFO] [stdout] test parser::build_tree::tests::unclosed_atom ... ok
[INFO] [stdout] test parser::build_tree::tests::unclosed_list ... ok
[INFO] [stdout] test parser::build_tree::tests::unclosed_set ... ok
[INFO] [stdout] test parser::execute_tree::tests::facts ... ok
[INFO] [stdout] test parser::execute_tree::tests::meta_facts ... ok
[INFO] [stdout] test parser::execute_tree::tests::meta_rules ... ok
[INFO] [stdout] test parser::build_tree::tests::tuple_or_grouped_expression ... ok
[INFO] [stdout] test parser::execute_tree::tests::meta_rules_list_only ... ok
[INFO] [stdout] test parser::build_tree::tests::unclosed_tuple ... ok
[INFO] [stdout] test parser::term::encode_tests::encode_argument ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_number_term ... ok
[INFO] [stdout] test parser::term::encode_tests::encode_unit ... ok
[INFO] [stdout] test parser::execute_tree::tests::meta_rules_with_unconstrained_list ... ok
[INFO] [stdout] test parser::execute_tree::tests::rules ... ok
[INFO] [stdout] test parser::term::encode_tests::encode_ref ... ok
[INFO] [stdout] test parser::term::encode_tests::program_encode_functor ... ok
[INFO] [stdout] test parser::term::encode_tests::program_encode_set ... ok
[INFO] [stdout] test parser::term::encode_tests::program_encode_list ... ok
[INFO] [stdout] test parser::term::encode_tests::query_encode_functor ... ok
[INFO] [stdout] test parser::term::encode_tests::query_encode_list ... ok
[INFO] [stdout] test parser::term::encode_tests::program_encode_tuple ... ok
[INFO] [stdout] test parser::term::encode_tests::query_encode_set ... ok
[INFO] [stdout] test parser::tokeniser::tests::empty_list_token ... ok
[INFO] [stdout] test parser::tokeniser::tests::float_tokenisation ... ok
[INFO] [stdout] test parser::tokeniser::tests::list_tokenisation ... ok
[INFO] [stdout] test parser::term::encode_tests::query_encode_tuple ... ok
[INFO] [stdout] test parser::tokeniser::tests::empty_set_token ... ok
[INFO] [stdout] test parser::tokeniser::tests::known_symbol_formation ... ok
[INFO] [stdout] test parser::tokeniser::tests::multi_line_comments ... ok
[INFO] [stdout] test parser::tokeniser::tests::negative_number_tokenisation ... ok
[INFO] [stdout] test parser::tokeniser::tests::single_line_comments ... ok
[INFO] [stdout] test parser::tokeniser::tests::string_tokenisation ... ok
[INFO] [stdout] test parser::tokeniser::tests::tokenise_multiple_clauses ... ok
[INFO] [stdout] test parser::tokeniser::tests::unclosed_strings ... ok
[INFO] [stdout] test parser::tokeniser::tests::unclosed_multi_line_comments ... ok
[INFO] [stdout] test parser::tokeniser::tests::string_escape_characters ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::equal ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::not_equal ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::not_unify ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::type_atomic ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::type_compound ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::type_int ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::type_float ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::type_list ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::type_number ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::type_var ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::type_string ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::type_const ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::type_set ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::univ_comp_list ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::unify ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::univ_var_comp ... ok
[INFO] [stdout] test predicate_modules::defaults::tests::univ_var_list ... ok
[INFO] [stdout] test predicate_modules::lists::tests::length_bind ... ok
[INFO] [stdout] test predicate_modules::lists::tests::length_fails_non_list ... ok
[INFO] [stdout] test predicate_modules::lists::tests::count_true ... ok
[INFO] [stdout] test predicate_modules::lists::tests::list_for_all ... ok
[INFO] [stdout] test predicate_modules::lists::tests::length_fails_partial_list ... ok
[INFO] [stdout] test predicate_modules::lists::tests::length_check ... ok
[INFO] [stdout] test predicate_modules::lists::tests::member_check ... ok
[INFO] [stdout] test predicate_modules::lists::tests::sort_already_sorted ... ok
[INFO] [stdout] test predicate_modules::lists::tests::sort_atoms ... ok
[INFO] [stdout] test predicate_modules::lists::tests::sort_empty ... ok
[INFO] [stdout] test predicate_modules::lists::tests::sort_fails_mixed ... ok
[INFO] [stdout] test predicate_modules::lists::tests::sort_fails_partial_list ... ok
[INFO] [stdout] test predicate_modules::lists::tests::member_enumerate ... ok
[INFO] [stdout] test predicate_modules::lists::tests::sort_floats ... ok
[INFO] [stdout] test predicate_modules::maths::tests::approx_eq_exact ... ok
[INFO] [stdout] test predicate_modules::maths::tests::approx_eq_expressions ... ok
[INFO] [stdout] test predicate_modules::maths::tests::approx_eq_floats ... ok
[INFO] [stdout] test predicate_modules::maths::tests::approx_eq_within_tolerance ... ok
[INFO] [stdout] test predicate_modules::maths::tests::arith_eq ... ok
[INFO] [stdout] test predicate_modules::maths::tests::approx_eq_at_boundary ... ok
[INFO] [stdout] test predicate_modules::lists::tests::sort_integers ... ok
[INFO] [stdout] test predicate_modules::maths::tests::approx_eq_outside_tolerance ... ok
[INFO] [stdout] test predicate_modules::maths::tests::divide_backward_x ... ok
[INFO] [stdout] test predicate_modules::maths::tests::divide_forward ... ok
[INFO] [stdout] test predicate_modules::maths::tests::greater_than_or_equal ... ok
[INFO] [stdout] test predicate_modules::maths::tests::is_binds_result ... ok
[INFO] [stdout] test predicate_modules::maths::tests::is_checks_bound_lhs ... ok
[INFO] [stdout] test predicate_modules::maths::tests::less_than_or_equal ... ok
[INFO] [stdout] test predicate_modules::maths::tests::between_check ... ok
[INFO] [stdout] test predicate_modules::maths::tests::less_than ... ok
[INFO] [stdout] test predicate_modules::maths::tests::max_picks_larger ... ok
[INFO] [stdout] test predicate_modules::maths::tests::greater_than ... ok
[INFO] [stdout] test predicate_modules::maths::tests::minus_backward_x ... ok
[INFO] [stdout] test predicate_modules::maths::tests::minus_backward_y ... ok
[INFO] [stdout] test predicate_modules::maths::tests::mod_forward ... ok
[INFO] [stdout] test predicate_modules::maths::tests::minus_forward ... ok
[INFO] [stdout] test predicate_modules::maths::tests::negate_backward ... ok
[INFO] [stdout] test predicate_modules::maths::tests::plus_backward_y ... ok
[INFO] [stdout] test predicate_modules::maths::tests::min_picks_smaller ... ok
[INFO] [stdout] test predicate_modules::maths::tests::negate_forward ... ok
[INFO] [stdout] test predicate_modules::maths::tests::succ_backward ... ok
[INFO] [stdout] test predicate_modules::maths::tests::succ_forward ... ok
[INFO] [stdout] test predicate_modules::maths::tests::times_backward_x ... ok
[INFO] [stdout] test predicate_modules::maths::tests::times_backward_y ... ok
[INFO] [stdout] test predicate_modules::maths::tests::times_forward ... ok
[INFO] [stdout] test predicate_modules::sets::tests::diag_singleton_count ... ok
[INFO] [stdout] test predicate_modules::sets::tests::list_to_set_basic ... ok
[INFO] [stdout] test predicate_modules::sets::tests::list_to_set_dedup ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_add_existing_element ... ok
[INFO] [stdout] test predicate_modules::maths::tests::plus_forward ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_del_absent ... ok
[INFO] [stdout] test predicate_modules::maths::tests::plus_backward_x ... ok
[INFO] [stdout] test predicate_modules::maths::tests::pow_forward ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_del_present ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_difference_basic ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_false_atom ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_false_list ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_add_new_element ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_intersection_basic ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_intersection_empty ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_size_bind ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_member_check_present ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_size_check ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_symdiff_basic ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_to_list_basic ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_true ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_union_basic ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_compound ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_sized_check_empty ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_sized_check_full_set ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_sized_check_missing_element ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_member_check_absent ... ok
[INFO] [stdout] test predicate_modules::sets::tests::set_member_enumerate ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_sized_generate_impossible ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_sized_check_wrong_size ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_sized_generate_size0 ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_sized_generate_size2 ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_two_check_empty ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_two_check_equal_sets ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_two_check_false ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_sized_generate_size3 ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_sized_check_true ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_two_check_true ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_chars_empty ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_chars_forward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_codes_backward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_codes_forward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_chars_backward ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_two_generate_all ... ok
[INFO] [stdout] test predicate_modules::sets::tests::subset_two_generate_singleton_set ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_concat_forward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_concat_strip_prefix ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_length_bind ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_concat_check ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_concat_strip_suffix ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_length_check ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_number_backward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_number_forward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_string_backward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_string_forward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atom_string_check ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atomic_type ... ok
[INFO] [stdout] test predicate_modules::strings::tests::char_code_backward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::atomic_list_concat_test ... ok
[INFO] [stdout] test predicate_modules::strings::tests::char_code_check ... ok
[INFO] [stdout] test predicate_modules::strings::tests::number_string_backward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::number_string_forward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::string_chars_forward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::downcase_atom ... ok
[INFO] [stdout] test predicate_modules::strings::tests::char_code_forward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::string_concat_forward ... ok
[INFO] [stdout] test predicate_modules::strings::tests::string_length_bind ... ok
[INFO] [stdout] test predicate_modules::strings::tests::string_to_atom ... ok
[INFO] [stdout] test predicate_modules::strings::tests::sub_atom_check ... ok
[INFO] [stdout] test predicate_modules::strings::tests::term_string_atom ... ok
[INFO] [stdout] test predicate_modules::strings::tests::term_string_number ... ok
[INFO] [stdout] test predicate_modules::strings::tests::upcase_string ... ok
[INFO] [stdout] test program::predicate_table::tests::add_clause_to_predicate ... ok
[INFO] [stdout] test program::predicate_table::tests::find_predicate ... ok
[INFO] [stdout] test predicate_modules::strings::tests::sub_atom_find_first ... ok
[INFO] [stdout] test predicate_modules::strings::tests::upcase_atom ... ok
[INFO] [stdout] test program::predicate_table::tests::get_body_clauses ... ok
[INFO] [stdout] test program::predicate_table::tests::get_predicate ... ok
[INFO] [stdout] test program::predicate_table::tests::insert_predicate_function ... ok
[INFO] [stdout] test program::predicate_table::tests::set_body ... ok
[INFO] [stdout] test resolution::build::tests::args ... ok
[INFO] [stdout] test resolution::build::tests::build_ref_to_structure_subterm ... ok
[INFO] [stdout] test resolution::build::tests::lists ... ok
[INFO] [stdout] test resolution::build::tests::meta_vars ... ok
[INFO] [stdout] test resolution::build::tests::test1 ... ok
[INFO] [stdout] test resolution::build::tests::test2 ... ok
[INFO] [stdout] test resolution::unification::tests::arg ... ok
[INFO] [stdout] test resolution::unification::tests::arg_to_ref ... ok
[INFO] [stdout] test resolution::unification::tests::binding_chain_ref ... ok
[INFO] [stdout] test resolution::unification::tests::func ... ok
[INFO] [stdout] test resolution::unification::tests::integers ... ok
[INFO] [stdout] test resolution::unification::tests::list ... ok
[INFO] [stdout] test predicate_modules::strings::tests::sub_atom_extract ... ok
[INFO] [stdout] test resolution::unification::tests::occurs_arg_bound_to_structure_then_var ... ok
[INFO] [stdout] test resolution::unification::tests::occurs_arg_bound_to_var_in_tuple ... ok
[INFO] [stdout] test resolution::unification::tests::occurs_direct_arg_ref_control ... ok
[INFO] [stdout] test resolution::unification::tests::occurs_transitive_arg_ref_chain ... ok
[INFO] [stdout] test resolution::unification::tests::occurs_two_args_bound_to_same_var ... ok
[INFO] [stdout] test resolution::unification::tests::occurs_var_directly_in_tuple ... ok
[INFO] [stdout] test program::predicate_table::tests::remove_predicate ... ok
[INFO] [stdout] test resolution::unification::tests::tup ... ok
[INFO] [stdout] test examples::top_prog_trains ... ok
[INFO] [stdout] test examples::trains ... ok
[INFO] [stdout] test examples::ancestor ... ok
[INFO] [stdout] test examples::top_prog_robots has been running for over 60 seconds
[INFO] [stdout] test examples::top_prog_robots ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 240 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 60.78s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/build/prolog-squared/b1d4f9a3b6d11418/out/prolog2-b1d4f9a3b6d11418)
[INFO] [stdout] running 0 tests
[INFO] [stderr]    Doc-tests prolog2
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test src/app.rs - app::App (line 245) - compile ... ok
[INFO] [stdout] test src/lib.rs - (line 31) - compile ... ok
[INFO] [stdout] test src/app.rs - app::App::add_body_predicates (line 487) - compile ... ok
[INFO] [stdout] test src/predicate_modules/mod.rs - predicate_modules::PredicateModule (line 103) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.37s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12", kill_on_drop: false }`
[INFO] [stdout] 4b78033f5c1ef6b7769ca471d2210b5cf6a00b6c3306938dbef79b00d51a5a12
