[INFO] fetching crate polar-core 0.26.0... [INFO] testing polar-core-0.26.0 against beta-2022-04-10 for beta-1.61-1 [INFO] extracting crate polar-core 0.26.0 into /workspace/builds/worker-7/source [INFO] validating manifest of crates.io crate polar-core 0.26.0 on toolchain beta-2022-04-10 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate polar-core 0.26.0 [INFO] finished tweaking crates.io crate polar-core 0.26.0 [INFO] tweaked toml for crates.io crate polar-core 0.26.0 written to /workspace/builds/worker-7/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c75c9cf929ba0f4c1b05489195128b99b783cf715837eace7f4b176a0bfa7af1 [INFO] running `Command { std: "docker" "start" "-a" "c75c9cf929ba0f4c1b05489195128b99b783cf715837eace7f4b176a0bfa7af1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c75c9cf929ba0f4c1b05489195128b99b783cf715837eace7f4b176a0bfa7af1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c75c9cf929ba0f4c1b05489195128b99b783cf715837eace7f4b176a0bfa7af1", kill_on_drop: false }` [INFO] [stdout] c75c9cf929ba0f4c1b05489195128b99b783cf715837eace7f4b176a0bfa7af1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0d07a9d4be49e206e4120a1910ee3bd8b8591dda8c8c2efa8f8c1cc253b8e2b8 [INFO] running `Command { std: "docker" "start" "-a" "0d07a9d4be49e206e4120a1910ee3bd8b8591dda8c8c2efa8f8c1cc253b8e2b8", kill_on_drop: false }` [INFO] [stderr] Compiling parking_lot_core v0.9.2 [INFO] [stderr] Compiling syn v1.0.91 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling new_debug_unreachable v1.0.4 [INFO] [stderr] Compiling lalrpop-util v0.19.7 [INFO] [stderr] Compiling serde v1.0.136 [INFO] [stderr] Compiling unindent v0.1.8 [INFO] [stderr] Compiling lock_api v0.4.7 [INFO] [stderr] Compiling indexmap v1.8.1 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling regex v1.5.5 [INFO] [stderr] Compiling itertools v0.10.3 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling indoc v1.0.4 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Compiling parking_lot v0.12.0 [INFO] [stderr] Compiling string_cache v0.8.4 [INFO] [stderr] Compiling petgraph v0.5.1 [INFO] [stderr] Compiling lalrpop v0.19.7 [INFO] [stderr] Compiling serde_derive v1.0.136 [INFO] [stderr] Compiling strum_macros v0.23.1 [INFO] [stderr] Compiling polar-core v0.26.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 59.55s [INFO] running `Command { std: "docker" "inspect" "0d07a9d4be49e206e4120a1910ee3bd8b8591dda8c8c2efa8f8c1cc253b8e2b8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0d07a9d4be49e206e4120a1910ee3bd8b8591dda8c8c2efa8f8c1cc253b8e2b8", kill_on_drop: false }` [INFO] [stdout] 0d07a9d4be49e206e4120a1910ee3bd8b8591dda8c8c2efa8f8c1cc253b8e2b8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8c3eaa24108d0308d85d18e0d7ca17787d036f43e5337d9a61efbc147c8918ac [INFO] running `Command { std: "docker" "start" "-a" "8c3eaa24108d0308d85d18e0d7ca17787d036f43e5337d9a61efbc147c8918ac", kill_on_drop: false }` [INFO] [stderr] Compiling plotters-backend v0.3.2 [INFO] [stderr] Compiling regex-automata v0.1.10 [INFO] [stderr] Compiling half v1.8.2 [INFO] [stderr] Compiling itoa v0.4.8 [INFO] [stderr] Compiling oorandom v11.1.3 [INFO] [stderr] Compiling permute v0.1.0 [INFO] [stderr] Compiling maplit v1.0.2 [INFO] [stderr] Compiling clap v2.34.0 [INFO] [stderr] Compiling csv-core v0.1.10 [INFO] [stderr] Compiling pipe v0.4.0 [INFO] [stderr] Compiling serde_json v1.0.79 [INFO] [stderr] Compiling criterion-plot v0.4.4 [INFO] [stderr] Compiling serde_cbor v0.11.2 [INFO] [stderr] Compiling bstr v0.2.17 [INFO] [stderr] Compiling plotters-svg v0.3.1 [INFO] [stderr] Compiling plotters v0.3.1 [INFO] [stderr] Compiling csv v1.1.6 [INFO] [stderr] Compiling tinytemplate v1.2.1 [INFO] [stderr] Compiling criterion v0.3.5 [INFO] [stderr] Compiling polar-core v0.26.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 22.00s [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/polar_core-ef59204d30385f1f) [INFO] [stderr] Executable tests/integration_tests.rs (/opt/rustwide/target/debug/deps/integration_tests-3941ac0b9d125ac0) [INFO] [stderr] Executable tests/mock_externals.rs (/opt/rustwide/target/debug/deps/mock_externals-128abb4fa6009460) [INFO] [stderr] Executable tests/serialize.rs (/opt/rustwide/target/debug/deps/serialize-a013f655f8edf659) [INFO] running `Command { std: "docker" "inspect" "8c3eaa24108d0308d85d18e0d7ca17787d036f43e5337d9a61efbc147c8918ac", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8c3eaa24108d0308d85d18e0d7ca17787d036f43e5337d9a61efbc147c8918ac", kill_on_drop: false }` [INFO] [stdout] 8c3eaa24108d0308d85d18e0d7ca17787d036f43e5337d9a61efbc147c8918ac [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 141fa18e2775626313b46d70db77901184399e357ec536199f71819c00bd6e73 [INFO] running `Command { std: "docker" "start" "-a" "141fa18e2775626313b46d70db77901184399e357ec536199f71819c00bd6e73", kill_on_drop: false }` [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.14s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/polar_core-ef59204d30385f1f) [INFO] [stdout] [INFO] [stdout] running 196 tests [INFO] [stdout] test bindings::test::old_deref ... ok [INFO] [stdout] test bindings::test::bind ... ok [INFO] [stdout] test bindings::test::variable_state ... ok [INFO] [stdout] test counter::test_id_wrapping ... ok [INFO] [stdout] test bindings::test::deep_deref ... ok [INFO] [stdout] test bindings::test::test_backtrack_followers ... ok [INFO] [stdout] test bindings::test::test_followers ... ok [INFO] [stdout] test data_filtering::test::test_empty_in ... ok [INFO] [stdout] test data_filtering::test::test_dot_plan ... ok [INFO] [stdout] test data_filtering::test::test_dot_var_cycles ... ok [INFO] [stdout] test data_filtering::test::test_partition_equivs ... ok [INFO] [stdout] test data_filtering::test::test_unregistered_field ... ok [INFO] [stdout] test filter::test::test_in ... ok [INFO] [stdout] test filter::test::test_or_normalization ... ok [INFO] [stdout] test filter::test::test_vec_of_ands ... ok [INFO] [stdout] test folder::tests::test_fold_term_atomics ... ok [INFO] [stdout] test folder::tests::test_fold_rule ... ok [INFO] [stdout] test data_filtering::test::test_unsupported_op_msgs ... ok [INFO] [stdout] test filter::test::test_relation_depsort ... ok [INFO] [stdout] test filter::test::test_dup_reln ... ok [INFO] [stdout] test formatting::tests::test_source_lines ... ok [INFO] [stdout] test kb::tests::test_add_source_file_validation ... ok [INFO] [stdout] test folder::tests::test_fold_term_compounds ... ok [INFO] [stdout] test lexer::tests::lex_infinite_loop_bugs ... ok [INFO] [stdout] test lexer::tests::test_emoji ... ok [INFO] [stdout] test lexer::tests::test_escapes ... ok [INFO] [stdout] test lexer::tests::test_lexer ... ok [INFO] [stdout] test lexer::tests::test_line_endings ... ok [INFO] [stdout] test lexer::tests::test_loc_to_pos ... ok [INFO] [stdout] test lexer::tests::test_symbol_colons ... ok [INFO] [stdout] test lexer::tests::test_numbers ... ok [INFO] [stdout] test kb::tests::test_validate_rules ... ok [INFO] [stdout] test lexer::tests::test_symbol_with_trailing_question_mark ... ok [INFO] [stdout] test normalize::test::test_pre_normalize ... ok [INFO] [stdout] test normalize::test::test_cnf ... ok [INFO] [stdout] test numerics::tests::json_deserialization ... ok [INFO] [stdout] test numerics::tests::json_serialization ... ok [INFO] [stdout] test numerics::tests::numeric_hash ... ok [INFO] [stdout] test numerics::tests::mixed_comparison ... ok [INFO] [stdout] test kb::tests::test_rule_type_validation_errors_for_non_class_specializers ... ok [INFO] [stdout] test parser::tests::parse_booleans ... ok [INFO] [stdout] test parser::tests::parse_floats ... ok [INFO] [stdout] test parser::tests::parse_integers ... ok [INFO] [stdout] test parser::tests::test_dot_lookups ... ok [INFO] [stdout] test parser::tests::duplicate_keys ... ok [INFO] [stdout] test parser::tests::test_catching_wrong_types ... ok [INFO] [stdout] test parser::tests::test_parse_file ... ok [INFO] [stdout] test normalize::test::test_dnf ... ok [INFO] [stdout] test parser::tests::test_parse_rest_vars ... ok [INFO] [stdout] test parser::tests::test_primitive_methods ... ok [INFO] [stdout] test parser::tests::test_parse_new ... ok [INFO] [stdout] test kb::tests::test_rule_params_match ... ok [INFO] [stdout] test parser::tests::test_rule_type_error ... ok [INFO] [stdout] test parser::tests::test_parse_new_mixed_args ... ok [INFO] [stdout] test parser::tests::test_parse_new_boa_constructor ... ok [INFO] [stdout] test partial::partial::test::test_constraint_no_input_variables ... ok [INFO] [stdout] test parser::tests::test_parse_line ... ok [INFO] [stdout] test parser::tests::test_parse_matches ... ok [INFO] [stdout] test partial::partial::test::test_negated_any_value ... ok [INFO] [stdout] test parser::tests::trailing_commas ... ok [INFO] [stdout] test partial::partial::test::test_partial_comparison_dot ... ok [INFO] [stdout] test partial::partial::test::nonlogical_inversions ... ok [INFO] [stdout] test parser::tests::test_parse_specializers ... ok [INFO] [stdout] test partial::partial::test::test_method_sorting_with_cut_and_partial ... ok [INFO] [stdout] test parser::tests::try_it_with_macros ... ok [INFO] [stdout] test partial::partial::test::test_grounding_1 ... ok [INFO] [stdout] test partial::partial::test::test_grounding_2 ... ok [INFO] [stdout] test partial::partial::test::test_partial_comparison ... ok [INFO] [stdout] test partial::partial::test::test_negated_in_partial_lhs ... ok [INFO] [stdout] test partial::partial::test::test_doubly_negated_ground ... ok [INFO] [stdout] test partial::partial::test::test_in_partial_lhs ... ok [INFO] [stdout] test partial::partial::test::basic_test ... ok [INFO] [stdout] test partial::partial::test::test_output_variable ... ok [INFO] [stdout] test partial::partial::test::test_dot_lookup_with_unbound_as_field ... ok [INFO] [stdout] test partial::partial::test::test_multiple_partials ... ok [INFO] [stdout] test partial::partial::test::test_method_call_on_partial ... ok [INFO] [stdout] test partial::partial::test::test_grounding_not_3 ... ok [INFO] [stdout] test partial::partial::test::test_dot_lookup_with_partial_as_field ... ok [INFO] [stdout] test partial::simplify::test::test_debug_off ... ok [INFO] [stdout] test partial::partial::test::test_grounding_not_2 ... ok [INFO] [stdout] test partial::partial::test::partial_with_unbound_variables ... ok [INFO] [stdout] test partial::partial::test::test_grounding_not_rewrite_4 ... ok [INFO] [stdout] test partial::partial::test::test_in_partial_2 ... ok [INFO] [stdout] test partial::partial::test::test_cut_with_partial ... ok [INFO] [stdout] test partial::partial::test::test_conditional_cut_with_partial ... ok [INFO] [stdout] test partial::partial::test::test_nested_dot_in ... ok [INFO] [stdout] test partial::partial::test::test_partial_isa_subclass_superclass ... ok [INFO] [stdout] test partial::simplify::test::test_simplify_circular_dot_with_isa ... ok [INFO] [stdout] test partial::partial::test::test_that_cut_with_partial_errors ... ok [INFO] [stdout] test polar::tests::loading_duplicate_files_errors_and_leaves_the_kb_empty ... ok [INFO] [stdout] test polar::tests::diagnostic_load_returns_multiple_diagnostics ... ok [INFO] [stdout] test partial::partial::test::test_negate_dot ... ok [INFO] [stdout] test partial::partial::test::test_comparing_partials ... ok [INFO] [stdout] test polar::tests::test_valid_shorthand_rules_still_rewritten_in_presence_of_invalid_shorthand_rules ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_resource_relations_are_the_only_thing_that_can_appear_after_on ... ignored, outside scope of current task; leaving test here to be implemented later [INFO] [stdout] test resource_block::tests::test_resource_block_resource_relations_can_only_appear_after_on ... ignored, probably easier after the entity PR goes in [INFO] [stdout] test resource_block::tests::test_resource_block_union_types_are_not_constructable ... ignored, unimplemented [INFO] [stdout] test resource_block::tests::test_resource_block_with_circular_shorthand_rules ... ignored, not yet implemented [INFO] [stdout] test partial::partial::test::test_contains_partial ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_local_rewrite_shorthand_rules ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_rewrite_shorthand_rules_with_recursive_relation ... ok [INFO] [stdout] test resource_block::tests::test_union_type_names_are_reserved ... ok [INFO] [stdout] test polar::tests::can_load_and_query ... ok [INFO] [stdout] test polar::tests::loading_a_second_time_fails ... ok [INFO] [stdout] test partial::partial::test::test_partial_before_negation ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_rewrite_shorthand_rules_with_lowercase_resource_specializer ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_nonlocal_rewrite_shorthand_rules ... ok [INFO] [stdout] test partial::partial::test::test_partial_and ... ok [INFO] [stdout] test partial::partial::test::test_multiple_gt_three_variables ... ok [INFO] [stdout] test partial::partial::test::test_partial_unification_1 ... ok [INFO] [stdout] test partial::partial::test::test_trivial_partials ... ok [INFO] [stdout] test partial::partial::test::test_partial_two_rule ... ok [INFO] [stdout] test rewrites::tests::rewrite_not_with_lookup ... ok [INFO] [stdout] test partial::partial::test::test_negation_two_rules ... ok [INFO] [stdout] test terms::tests::test_value_hash ... ok [INFO] [stdout] test partial::partial::test::test_for_unhandled_partial ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_declaration_keywords_are_not_reserved_words ... ok [INFO] [stdout] test partial::partial::test::test_partial_in_arithmetic_op ... ok [INFO] [stdout] test partial::partial::test::test_grounding_not_5 ... ok [INFO] [stdout] test validations::tests::test_check_no_allow_rule_no_allow ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_declaration_keywords ... ok [INFO] [stdout] test partial::partial::test::test_partial_negated_isa ... ok [INFO] [stdout] test resource_block::tests::test_union_type_matches ... ok [INFO] [stdout] test validations::tests::test_check_no_allow_rule_with_allow ... ok [INFO] [stdout] test validations::tests::test_check_no_allow_rule_with_allow_field ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_types ... ok [INFO] [stdout] test partial::partial::test::test_unhandled_partial_regression_gh1467 ... ok [INFO] [stdout] test visitor::tests::test_walk_term_atomics ... ok [INFO] [stdout] test validations::tests::test_check_resource_blocks_missing_has_permission_clean ... ok [INFO] [stdout] test validations::tests::test_check_no_allow_rule_with_allow_request ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_with_undeclared_local_shorthand_rule_head ... ok [INFO] [stdout] test resource_block::tests::test_create_resource_specific_rule_types_actor_roles ... ok [INFO] [stdout] test validations::tests::test_check_resource_blocks_missing_has_permission_warning ... ok [INFO] [stdout] test visitor::tests::test_walk_rule ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_with_unregistered_relation_type ... ok [INFO] [stdout] test validations::tests::test_undefined_rule_error ... ok [INFO] [stdout] test validations::tests::test_undefined_rule_error_clean ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_declarations_overwriting ... ok [INFO] [stdout] test resource_block::tests::test_create_resource_specific_rule_types ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_with_undeclared_local_shorthand_rule_body ... ok [INFO] [stdout] test rewrites::tests::rewrite_anonymous_vars ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_with_clashing_declarations ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_relation_keywords ... ok [INFO] [stdout] test rewrites::tests::rewrite_class_constructor ... ok [INFO] [stdout] test rewrites::tests::rewrite_nested_class_constructor ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_resource_must_be_registered ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_with_undeclared_nonlocal_shorthand_rule_body ... ok [INFO] [stdout] test vm::tests::test_log_level_should_print_for_level ... ok [INFO] [stdout] test vm::tests::test_gen_var ... ok [INFO] [stdout] test visitor::tests::test_walk_term_compounds ... ok [INFO] [stdout] test vm::tests::debug ... ok [INFO] [stdout] test rewrites::tests::rewrite_nested_literal ... ok [INFO] [stdout] test vm::tests::halt ... ok [INFO] [stdout] test rewrites::tests::rewrite_forall_rhs_dots ... ok [INFO] [stdout] test rewrites::tests::rewrite_expressions ... ok [INFO] [stdout] test partial::partial::test::test_partial_inverter ... ok [INFO] [stdout] test vm::tests::test_is_subspecializer ... ok [INFO] [stdout] test partial::partial::test::test_grounded_negated_dot_comparison ... ok [INFO] [stdout] test partial::partial::test::test_partial_isa_unify ... ok [INFO] [stdout] test rewrites::tests::rewrite_rules_constructor ... ok [INFO] [stdout] test rewrites::tests::rewrite_rules ... ok [INFO] [stdout] test rewrites::tests::rewrite_nested_lookups ... ok [INFO] [stdout] test partial::partial::test::test_partial_nested_dot_ops ... ok [INFO] [stdout] test partial::partial::test::test_partial_isa ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_declarations_spread_over_multiple_resource_blocks ... ok [INFO] [stdout] test resource_block::tests::test_validate_rules_with_union_type_specializers ... ok [INFO] [stdout] test rewrites::tests::rewrite_terms ... ok [INFO] [stdout] test partial::partial::test::test_in_partial ... ok [INFO] [stdout] test partial::partial::test::test_negate_conjunctions ... ok [INFO] [stdout] test vm::tests::lookup ... ok [INFO] [stdout] test partial::partial::test::test_partial_isa_two_rule ... ok [INFO] [stdout] test vm::tests::test_prefiltering ... ok [INFO] [stdout] test rules::tests::test_rule_index ... ok [INFO] [stdout] test partial::partial::test::test_partial_unification_2 ... ok [INFO] [stdout] test partial::partial::test::test_nested_dot_lookup ... ok [INFO] [stdout] test vm::tests::unify_dicts ... ok [INFO] [stdout] test vm::tests::choose_conditional ... ok [INFO] [stdout] test partial::partial::test::test_partial_comparison_with_variable_indirection ... ok [INFO] [stdout] test vm::tests::and_expression ... ok [INFO] [stdout] test vm::tests::isa_on_dicts ... ok [INFO] [stdout] test vm::tests::test_sort_rules ... ok [INFO] [stdout] test vm::tests::unify_expression ... ok [INFO] [stdout] test vm::tests::unify_nested_dicts ... ok [INFO] [stdout] test partial::partial::test::test_negate_disjunctions ... ok [INFO] [stdout] test vm::tests::isa_on_lists ... ok [INFO] [stdout] test partial::partial::test::test_partial_isa_with_fields ... ok [INFO] [stdout] test vm::tests::unify ... ok [INFO] [stdout] test vm::tests::test_filter_rules ... ok [INFO] [stdout] test partial::partial::test::test_partial_field_unification ... ok [INFO] [stdout] test vm::tests::unify_var ... ok [INFO] [stdout] test partial::partial::test::test_querying_for_partial ... ok [INFO] [stdout] test partial::partial::test::partially_negated_constraints ... ok [INFO] [stdout] test partial::partial::test::test_rule_filtering_with_partials ... ok [INFO] [stdout] test partial::partial::test::test_grounding_not_5_rewrite ... ok [INFO] [stdout] test vm::tests::test_timeout ... ok [INFO] [stdout] test resource_block::tests::test_resource_block_parsing_permutations ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 192 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 2.57s [INFO] [stdout] [INFO] [stderr] Running tests/integration_tests.rs (/opt/rustwide/target/debug/deps/integration_tests-3941ac0b9d125ac0) [INFO] [stdout] [INFO] [stdout] running 83 tests [INFO] [stdout] test test_anonymous_vars ... ok [INFO] [stdout] test test_and ... ok [INFO] [stdout] test test_and_or_warning ... ok [INFO] [stdout] test test_assignment ... ok [INFO] [stdout] test test_bad_functions ... ok [INFO] [stdout] test test_ait_kaci_34 ... ok [INFO] [stdout] test test_boolean_expression ... ok [INFO] [stdout] test test_dict_destructuring_broken ... ignored [INFO] [stdout] test test_debug_in_inverter ... ok [INFO] [stdout] test test_bindings ... ok [INFO] [stdout] test test_debug_temp_var ... ok [INFO] [stdout] test test_debug_break_on_error ... ok [INFO] [stdout] test test_constants ... ok [INFO] [stdout] test test_data_filtering_dict_specializers ... ok [INFO] [stdout] test test_equality ... ok [INFO] [stdout] test test_builtin_iterables ... ok [INFO] [stdout] test test_duplicated_rule ... ok [INFO] [stdout] test test_debug ... ok [INFO] [stdout] test test_emoji_policy ... ok [INFO] [stdout] test test_default_rule_types ... ok [INFO] [stdout] test test_external_call ... ok [INFO] [stdout] test test_infinite_loop ... ignored [INFO] [stdout] test test_data_filtering_pattern_specializers ... ok [INFO] [stdout] test test_float_parsing ... ok [INFO] [stdout] test test_cut ... ok [INFO] [stdout] test test_expressions_in_lists ... ok [INFO] [stdout] test test_external_unify ... ok [INFO] [stdout] test test_functions ... ok [INFO] [stdout] test test_head_patterns ... ok [INFO] [stdout] test test_dict_destructuring ... ok [INFO] [stdout] test test_internal_isa_check ... ok [INFO] [stdout] test test_instance_lookup ... ok [INFO] [stdout] test test_dict_specializers ... ok [INFO] [stdout] test test_arithmetic ... ok [INFO] [stdout] test test_keyword_call ... ok [INFO] [stdout] test test_jealous ... ok [INFO] [stdout] test test_keyword_dot ... ok [INFO] [stdout] test test_make_external ... ok [INFO] [stdout] test test_forall_with_dots_on_rhs ... ok [INFO] [stdout] test test_load_str_with_query ... ok [INFO] [stdout] test test_list_matches ... ok [INFO] [stdout] test test_lookup ... ok [INFO] [stdout] test test_in_op ... ok [INFO] [stdout] test test_missing_actor_hint ... ok [INFO] [stdout] test test_lookup_in_rule_head ... ok [INFO] [stdout] test test_unknown_specializer_suggestions ... ok [INFO] [stdout] test test_unknown_specializer_warning ... ok [INFO] [stdout] test test_no_applicable_rules ... ok [INFO] [stdout] test test_matches ... ok [INFO] [stdout] test test_nested_rule ... ok [INFO] [stdout] test test_multi_arg_method_ordering ... ok [INFO] [stdout] test test_lookup_derefs ... ok [INFO] [stdout] test test_singleton_vars ... ok [INFO] [stdout] test test_comparisons ... ok [INFO] [stdout] test test_print ... ok [INFO] [stdout] test test_modulo_and_remainder ... ok [INFO] [stdout] test test_rule_order ... ok [INFO] [stdout] test test_missing_required_rule_type ... ok [INFO] [stdout] test test_forall ... ok [INFO] [stdout] test test_forall_with_dot_lookup ... ok [INFO] [stdout] test test_two_rule_bodies ... ok [INFO] [stdout] test test_missing_resource_hint ... ok [INFO] [stdout] test test_suggested_rule_specializer ... ok [INFO] [stdout] test test_non_instance_specializers ... ok [INFO] [stdout] test test_symbol_lookup ... ok [INFO] [stdout] test test_trace ... ok [INFO] [stdout] test test_list_results ... ok [INFO] [stdout] test test_numeric_applicability ... ok [INFO] [stdout] test test_unify_and ... ok [INFO] [stdout] test test_two_rule_bodies_not_nested ... ok [INFO] [stdout] test test_results ... ok [INFO] [stdout] test test_retries ... ok [INFO] [stdout] test test_two_rule_bodies_nested ... ok [INFO] [stdout] test test_rule_index ... ok [INFO] [stdout] test test_partial_grounding ... ok [INFO] [stdout] test test_fib ... ok [INFO] [stdout] test test_or ... ok [INFO] [stdout] test test_unify_rule_head ... ok [INFO] [stdout] test test_not ... ok [INFO] [stdout] test test_rest_vars ... ok [INFO] [stdout] test test_circular_data ... ok [INFO] [stdout] test test_result_permutations ... ok [INFO] [stdout] test test_functions_reorder ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 81 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 1.60s [INFO] [stdout] [INFO] [stderr] Running tests/mock_externals.rs (/opt/rustwide/target/debug/deps/mock_externals-128abb4fa6009460) [INFO] [stdout] [INFO] [stdout] running 0 tests [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] [stderr] Running tests/serialize.rs (/opt/rustwide/target/debug/deps/serialize-a013f655f8edf659) [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test tests::serialize_test ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests polar-core [INFO] [stdout] [INFO] [stdout] running 0 tests [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] running `Command { std: "docker" "inspect" "141fa18e2775626313b46d70db77901184399e357ec536199f71819c00bd6e73", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "141fa18e2775626313b46d70db77901184399e357ec536199f71819c00bd6e73", kill_on_drop: false }` [INFO] [stdout] 141fa18e2775626313b46d70db77901184399e357ec536199f71819c00bd6e73