[INFO] fetching crate dypdl 0.8.0... [INFO] testing dypdl-0.8.0 against 1.82.0 for beta-1.83-1 [INFO] extracting crate dypdl 0.8.0 into /workspace/builds/worker-4-tc1/source [INFO] validating manifest of crates.io crate dypdl 0.8.0 on toolchain 1.82.0 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.82.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate dypdl 0.8.0 [INFO] finished tweaking crates.io crate dypdl 0.8.0 [INFO] tweaked toml for crates.io crate dypdl 0.8.0 written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.82.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 9 packages to latest compatible versions [INFO] [stderr] Adding fixedbitset v0.4.2 (latest: v0.5.7) [INFO] [stderr] Adding rustc-hash v1.1.0 (latest: v2.0.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.82.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+1.82.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0aea973256bfe3c311942f03842d3da1c56a24e792ee9d683c4c9329b16eaaea [INFO] running `Command { std: "docker" "start" "-a" "0aea973256bfe3c311942f03842d3da1c56a24e792ee9d683c4c9329b16eaaea", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0aea973256bfe3c311942f03842d3da1c56a24e792ee9d683c4c9329b16eaaea", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0aea973256bfe3c311942f03842d3da1c56a24e792ee9d683c4c9329b16eaaea", kill_on_drop: false }` [INFO] [stdout] 0aea973256bfe3c311942f03842d3da1c56a24e792ee9d683c4c9329b16eaaea [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+1.82.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b0619f27f2b53cdc7ef67ec608368f340dcf6084cc8114e6556b36ca3b5d94b2 [INFO] running `Command { std: "docker" "start" "-a" "b0619f27f2b53cdc7ef67ec608368f340dcf6084cc8114e6556b36ca3b5d94b2", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling fixedbitset v0.4.2 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling itertools v0.13.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling approx v0.5.1 [INFO] [stderr] Compiling ordered-float v4.4.0 [INFO] [stderr] Compiling dypdl v0.8.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.95s [INFO] running `Command { std: "docker" "inspect" "b0619f27f2b53cdc7ef67ec608368f340dcf6084cc8114e6556b36ca3b5d94b2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b0619f27f2b53cdc7ef67ec608368f340dcf6084cc8114e6556b36ca3b5d94b2", kill_on_drop: false }` [INFO] [stdout] b0619f27f2b53cdc7ef67ec608368f340dcf6084cc8114e6556b36ca3b5d94b2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+1.82.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 32944c8eaf3a7b44bfa059ae3114d17ae617533e3d5f0f6b15b1e24b4a8442ec [INFO] running `Command { std: "docker" "start" "-a" "32944c8eaf3a7b44bfa059ae3114d17ae617533e3d5f0f6b15b1e24b4a8442ec", kill_on_drop: false }` [INFO] [stderr] Compiling dypdl v0.8.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 6.79s [INFO] running `Command { std: "docker" "inspect" "32944c8eaf3a7b44bfa059ae3114d17ae617533e3d5f0f6b15b1e24b4a8442ec", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "32944c8eaf3a7b44bfa059ae3114d17ae617533e3d5f0f6b15b1e24b4a8442ec", kill_on_drop: false }` [INFO] [stdout] 32944c8eaf3a7b44bfa059ae3114d17ae617533e3d5f0f6b15b1e24b4a8442ec [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+1.82.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 7f3e01bb77bae3611399483968ffedfbd8e13b67d5bb6cf400395090810343a6 [INFO] running `Command { std: "docker" "start" "-a" "7f3e01bb77bae3611399483968ffedfbd8e13b67d5bb6cf400395090810343a6", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.01s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/dypdl-fa1585cb15fb670c) [INFO] [stdout] [INFO] [stdout] running 873 tests [INFO] [stdout] test base_case::tests::eval_cost_none ... ok [INFO] [stdout] test base_case::tests::eval_cost_some ... ok [INFO] [stdout] test base_case::tests::eval_cost_zero ... ok [INFO] [stdout] test base_case::tests::is_not_satisfied ... ok [INFO] [stdout] test base_case::tests::from_base_case_to_conditions ... ok [INFO] [stdout] test base_case::tests::from_base_case_to_conditions_and_cost ... ok [INFO] [stdout] test base_case::tests::is_satisfied ... ok [INFO] [stdout] test base_case::tests::with_cost ... ok [INFO] [stdout] test base_case::tests::to_base_case ... ok [INFO] [stdout] test expression::argument_expression::tests::eval_args ... ok [INFO] [stdout] test expression::argument_expression::tests::eval_empty_args ... ok [INFO] [stdout] test expression::argument_expression::tests::from_element_expression ... ok [INFO] [stdout] test expression::argument_expression::tests::from_element ... ok [INFO] [stdout] test expression::argument_expression::tests::from_element_resource_variable ... ok [INFO] [stdout] test expression::argument_expression::tests::from_set ... ok [INFO] [stdout] test expression::argument_expression::tests::from_set_expression ... ok [INFO] [stdout] test expression::argument_expression::tests::from_element_variable ... ok [INFO] [stdout] test expression::argument_expression::tests::from_vector_expression ... ok [INFO] [stdout] test expression::argument_expression::tests::simplify_args_none ... ok [INFO] [stdout] test expression::argument_expression::tests::simplify_element ... ok [INFO] [stdout] test expression::argument_expression::tests::simplify_set ... ok [INFO] [stdout] test expression::argument_expression::tests::simplify_vector ... ok [INFO] [stdout] test expression::condition::tests::and_eval ... ok [INFO] [stdout] test expression::condition::tests::bitor ... ok [INFO] [stdout] test expression::condition::tests::and_simplify ... ok [INFO] [stdout] test expression::condition::tests::comparison_c_simplify ... ok [INFO] [stdout] test expression::condition::tests::bitand ... ok [INFO] [stdout] test expression::condition::tests::comparison_c ... ok [INFO] [stdout] test expression::argument_expression::tests::from_set_variable ... ok [INFO] [stdout] test expression::condition::tests::comparison_c_eval ... ok [INFO] [stdout] test expression::argument_expression::tests::simplify_args_some ... ok [INFO] [stdout] test expression::condition::tests::comparison_e_simplify ... ok [INFO] [stdout] test expression::condition::tests::comparison_i ... ok [INFO] [stdout] test expression::condition::tests::comparison_e ... ok [INFO] [stdout] test expression::condition::tests::comparison_op_eval ... ok [INFO] [stdout] test expression::condition::tests::comparison_i_eval ... ok [INFO] [stdout] test expression::condition::tests::comparison_e_eval ... ok [INFO] [stdout] test expression::condition::tests::constant_eval ... ok [INFO] [stdout] test expression::condition::tests::default ... ok [INFO] [stdout] test expression::condition::tests::constant_simplify ... ok [INFO] [stdout] test expression::condition::tests::is_empty ... ok [INFO] [stdout] test expression::condition::tests::is_subset ... ok [INFO] [stdout] test expression::condition::tests::not ... ok [INFO] [stdout] test expression::condition::tests::not_eval ... ok [INFO] [stdout] test expression::condition::tests::comparison_i_simplify ... ok [INFO] [stdout] test expression::condition::tests::not_simplify ... ok [INFO] [stdout] test expression::condition::tests::contains ... ok [INFO] [stdout] test expression::condition::tests::set_eval ... ok [INFO] [stdout] test expression::condition::tests::set_is_equal ... ok [INFO] [stdout] test expression::condition::tests::set_is_not_equal ... ok [INFO] [stdout] test expression::condition::tests::table_eval ... ok [INFO] [stdout] test expression::condition::tests::or_simplify ... ok [INFO] [stdout] test expression::condition::tests::table_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::abs ... ok [INFO] [stdout] test expression::condition::tests::set_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::at_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::add ... ok [INFO] [stdout] test expression::continuous_expression::tests::at_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::binary_operation_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::binary_operation_simplify ... ok [INFO] [stdout] test expression::condition::tests::or_eval ... ok [INFO] [stdout] test expression::condition::tests::table_element ... ok [INFO] [stdout] test expression::continuous_expression::tests::constant_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::cardinality_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::constant_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::continuous_binary_operation_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::continuous_binary_operation_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::continuous_unary_operation_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::cardinality_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::continuous_unary_operation_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::eval_cost ... ok [INFO] [stdout] test expression::continuous_expression::tests::ceil ... ok [INFO] [stdout] test expression::continuous_expression::tests::cost_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::floor ... ok [INFO] [stdout] test expression::continuous_expression::tests::default ... ok [INFO] [stdout] test expression::continuous_expression::tests::div ... ok [INFO] [stdout] test expression::continuous_expression::tests::from ... ok [INFO] [stdout] test expression::continuous_expression::tests::from_integer_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::if_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::from_integer_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::if_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::last_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::length_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::log ... ok [INFO] [stdout] test expression::continuous_expression::tests::max ... ok [INFO] [stdout] test expression::continuous_expression::tests::if_then_else ... ok [INFO] [stdout] test expression::continuous_expression::tests::min ... ok [INFO] [stdout] test expression::continuous_expression::tests::length_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::reduce_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::reduce_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::last_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::resource_variable_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::mul ... ok [INFO] [stdout] test expression::continuous_expression::tests::round ... ok [INFO] [stdout] test expression::continuous_expression::tests::neg ... ok [INFO] [stdout] test expression::continuous_expression::tests::rem ... ok [INFO] [stdout] test expression::continuous_expression::tests::round_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::pow ... ok [INFO] [stdout] test expression::continuous_expression::tests::set_len ... ok [INFO] [stdout] test expression::continuous_expression::tests::round_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::sqrt ... ok [INFO] [stdout] test expression::continuous_expression::tests::sub ... ok [INFO] [stdout] test expression::continuous_expression::tests::table_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::trunc ... ok [INFO] [stdout] test expression::continuous_expression::tests::resource_variable_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::table_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::unary_operation_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::binary_operation_x_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::binary_operation_y_eval ... ok [INFO] [stdout] test expression::continuous_expression::tests::unary_operation_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::table_element ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::binary_operation_y_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::constant_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::constant_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::continuous_binary_operation_x_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::continuous_binary_operation_x_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::variable_simplify ... ok [INFO] [stdout] test expression::continuous_expression::tests::variable_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::binary_operation_x_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::continuous_binary_operation_y_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::continuous_binary_operation_y_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::continuous_unary_operation_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::continuous_vector_operation_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::continuous_unary_operation_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::continuous_vector_operation_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::from_integer_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::from_integer_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::if_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::pop_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::if_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::pop_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::push_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::push_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::reverse_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::reverse_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::table_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::unary_operation_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::set_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::vector_operation_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::set_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::unary_operation_simplify ... ok [INFO] [stdout] test expression::element_expression::tests::element_at_eval ... ok [INFO] [stdout] test expression::element_expression::tests::element_at_simplify ... ok [INFO] [stdout] test expression::element_expression::tests::element_constant_eval ... ok [INFO] [stdout] test expression::element_expression::tests::element_constant_simplify ... ok [INFO] [stdout] test expression::element_expression::tests::element_div ... ok [INFO] [stdout] test expression::element_expression::tests::element_from ... ok [INFO] [stdout] test expression::element_expression::tests::element_if_eval ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::vector_operation_simplify ... ok [INFO] [stdout] test expression::element_expression::tests::element_if_simplify ... ok [INFO] [stdout] test expression::continuous_vector_expression::tests::table_eval ... ok [INFO] [stdout] test expression::element_expression::tests::element_if_then_else ... ok [INFO] [stdout] test expression::element_expression::tests::element_add ... ok [INFO] [stdout] test expression::element_expression::tests::element_last_eval ... ok [INFO] [stdout] test expression::element_expression::tests::element_min ... ok [INFO] [stdout] test expression::element_expression::tests::element_max ... ok [INFO] [stdout] test expression::element_expression::tests::element_mul ... ok [INFO] [stdout] test expression::element_expression::tests::element_last_simplify ... ok [INFO] [stdout] test expression::element_expression::tests::element_numeric_operation_eval ... ok [INFO] [stdout] test expression::element_expression::tests::element_rem ... ok [INFO] [stdout] test expression::element_expression::tests::element_resource_variable_eval ... ok [INFO] [stdout] test expression::element_expression::tests::element_table_simplify ... ok [INFO] [stdout] test expression::element_expression::tests::element_variable_eval ... ok [INFO] [stdout] test expression::element_expression::tests::element_variable_simplify ... ok [INFO] [stdout] test expression::element_expression::tests::elment_default ... ok [INFO] [stdout] test expression::element_expression::tests::element_resource_variable_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::add ... ok [INFO] [stdout] test expression::element_expression::tests::element_sub ... ok [INFO] [stdout] test expression::integer_expression::tests::at_eval ... ok [INFO] [stdout] test expression::element_expression::tests::element_table_element ... ok [INFO] [stdout] test expression::integer_expression::tests::at_simplify ... ok [INFO] [stdout] test expression::element_expression::tests::element_table_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::binary_operation_eval ... ok [INFO] [stdout] test expression::element_expression::tests::element_numeric_operation_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::abs ... ok [INFO] [stdout] test expression::integer_expression::tests::binary_operation_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::cardinality_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::cardinality_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::constant_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::cost_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::constant_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::eval_cost ... ok [INFO] [stdout] test expression::integer_expression::tests::default ... ok [INFO] [stdout] test expression::integer_expression::tests::from ... ok [INFO] [stdout] test expression::integer_expression::tests::from_continuous ... ok [INFO] [stdout] test expression::integer_expression::tests::div ... ok [INFO] [stdout] test expression::integer_expression::tests::from_continuous_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::last_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::length_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::last_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::from_continuous_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::if_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::length_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::max ... ok [INFO] [stdout] test expression::integer_expression::tests::min ... ok [INFO] [stdout] test expression::integer_expression::tests::mul ... ok [INFO] [stdout] test expression::integer_expression::tests::if_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::neg ... ok [INFO] [stdout] test expression::integer_expression::tests::if_then_else ... ok [INFO] [stdout] test expression::integer_expression::tests::reduce_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::rem ... ok [INFO] [stdout] test expression::integer_expression::tests::resource_variable_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::reduce_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::resource_variable_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::set_len ... ok [INFO] [stdout] test expression::integer_expression::tests::table_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::unary_operation_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::sub ... ok [INFO] [stdout] test expression::integer_expression::tests::unary_operation_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::variable_eval ... ok [INFO] [stdout] test expression::integer_expression::tests::table_element ... ok [INFO] [stdout] test expression::integer_expression::tests::variable_simplify ... ok [INFO] [stdout] test expression::integer_expression::tests::table_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::binary_operation_x_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::binary_operation_x_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::binary_operation_y_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::constant_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::binary_operation_y_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::constant_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::from_continuous_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::if_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::if_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::pop_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::from_continuous_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::push_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::push_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::set_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::pop_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::reverse_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::reverse_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::table_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::table_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::vector_operation_eval ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::set_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::vector_operation_simplify ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::unary_operation_eval ... ok [INFO] [stdout] test expression::numeric_operator::tests::add ... ok [INFO] [stdout] test expression::numeric_operator::tests::abs ... ok [INFO] [stdout] test expression::integer_vector_expression::tests::unary_operation_simplify ... ok [INFO] [stdout] test expression::numeric_operator::tests::abs_vector ... ok [INFO] [stdout] test expression::numeric_operator::tests::add_vector_in_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::add_vector_in_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::add_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::add_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::ceil ... ok [INFO] [stdout] test expression::numeric_operator::tests::ceil_vector ... ok [INFO] [stdout] test expression::numeric_operator::tests::div ... ok [INFO] [stdout] test expression::numeric_operator::tests::div_vector_in_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::div_vector_in_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::div_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::div_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::floor_vector ... ok [INFO] [stdout] test expression::numeric_operator::tests::floor ... ok [INFO] [stdout] test expression::numeric_operator::tests::log ... ok [INFO] [stdout] test expression::numeric_operator::tests::log_vector_in_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::log_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::log_vector_in_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::log_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::max_vector_in_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::max_vector_in_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::max_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::max ... ok [INFO] [stdout] test expression::numeric_operator::tests::max_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::min ... ok [INFO] [stdout] test expression::numeric_operator::tests::min_vector_in_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::min_vector_in_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::min_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::min_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::mul_vector_in_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::mul ... ok [INFO] [stdout] test expression::numeric_operator::tests::mul_vector_in_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::mul_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::mul_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::pow ... ok [INFO] [stdout] test expression::numeric_operator::tests::neg_vector ... ok [INFO] [stdout] test expression::numeric_operator::tests::neg ... ok [INFO] [stdout] test expression::numeric_operator::tests::pow_vector_in_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::pow_vector_in_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::pow_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::reduce_iter_min ... ok [INFO] [stdout] test expression::numeric_operator::tests::pow_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::reduce_iter_product ... ok [INFO] [stdout] test expression::numeric_operator::tests::reduce_iter_sum ... ok [INFO] [stdout] test expression::numeric_operator::tests::reduce_max ... ok [INFO] [stdout] test expression::numeric_operator::tests::reduce_min ... ok [INFO] [stdout] test expression::numeric_operator::tests::reduce_product ... ok [INFO] [stdout] test expression::numeric_operator::tests::reduce_iter_max ... ok [INFO] [stdout] test expression::numeric_operator::tests::reduce_sum ... ok [INFO] [stdout] test expression::numeric_operator::tests::rem_vector_in_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::rem_vector_in_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::round ... ok [INFO] [stdout] test expression::numeric_operator::tests::round_vector ... ok [INFO] [stdout] test expression::numeric_operator::tests::rem_y ... ok [INFO] [stdout] test expression::numeric_operator::tests::rem ... ok [INFO] [stdout] test expression::numeric_operator::tests::sqrt ... ok [INFO] [stdout] test expression::numeric_operator::tests::sqrt_vector ... ok [INFO] [stdout] test expression::numeric_operator::tests::sub ... ok [INFO] [stdout] test expression::numeric_operator::tests::sub_vector_in_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::rem_x ... ok [INFO] [stdout] test expression::numeric_operator::tests::sub_vector_in_y ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::constant_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::constant_simplify ... ok [INFO] [stdout] test expression::numeric_operator::tests::sub_y ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_1d_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_1d_simplify ... ok [INFO] [stdout] test expression::numeric_operator::tests::trunc ... ok [INFO] [stdout] test expression::numeric_operator::tests::trunc_vector ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_1d_sum_eval ... ok [INFO] [stdout] test expression::numeric_operator::tests::sub_x ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_1d_sum_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_1d_vector_sum_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_set_vector_sum_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_set_vector_sum_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_1d_vector_sum_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_sum_x_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_sum_x_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_sum_y_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_sum_y_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_sum_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_sum_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_vector_set_sum_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_vector_sum_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_vector_set_sum_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_vector_sum_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_vector_sum_x_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_vector_sum_x_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_vector_sum_y_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_vector_sum_y_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_3d_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_3d_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_3d_sum_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_3d_sum_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_simplify ... ok [INFO] [stdout] test expression::reference_expression::tests::constant_eval ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_sum_eval ... ok [INFO] [stdout] test expression::reference_expression::tests::table_eval ... ok [INFO] [stdout] test expression::reference_expression::tests::constant_simplify ... ok [INFO] [stdout] test expression::numeric_table_expression::tests::table_sum_simplify ... ok [INFO] [stdout] test expression::reference_expression::tests::table_simplify ... ok [INFO] [stdout] test expression::reference_expression::tests::variable_eval ... ok [INFO] [stdout] test expression::reference_expression::tests::variable_simplify ... ok [INFO] [stdout] test expression::set_condition::tests::constant_simplify ... ok [INFO] [stdout] test expression::set_condition::tests::is_empty_eval ... ok [INFO] [stdout] test expression::set_condition::tests::constant_eval ... ok [INFO] [stdout] test expression::set_condition::tests::is_empty_simplify ... ok [INFO] [stdout] test expression::set_condition::tests::is_in_simplify ... ok [INFO] [stdout] test expression::set_condition::tests::is_equal_simplify ... ok [INFO] [stdout] test expression::set_condition::tests::is_equal_eval ... ok [INFO] [stdout] test expression::set_condition::tests::is_not_equal_simplify ... ok [INFO] [stdout] test expression::set_condition::tests::is_subset_simplify ... ok [INFO] [stdout] test expression::set_condition::tests::is_subset_eval ... ok [INFO] [stdout] test expression::set_condition::tests::is_in_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_add ... ok [INFO] [stdout] test expression::set_condition::tests::is_not_equal_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_add_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_add_simplify ... ok [INFO] [stdout] test expression::set_expression::tests::set_bitand ... ok [INFO] [stdout] test expression::set_expression::tests::set_complement_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_default ... ok [INFO] [stdout] test expression::set_expression::tests::set_complement_simplify ... ok [INFO] [stdout] test expression::set_expression::tests::set_from ... ok [INFO] [stdout] test expression::set_expression::tests::set_from_vector_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_if_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_if_simplify ... ok [INFO] [stdout] test expression::set_expression::tests::set_if_then_else ... ok [INFO] [stdout] test expression::set_expression::tests::set_intersect_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_intersect_simplify ... ok [INFO] [stdout] test expression::set_expression::tests::set_difference_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_not ... ok [INFO] [stdout] test expression::set_expression::tests::set_difference_simplify ... ok [INFO] [stdout] test expression::set_expression::tests::set_reduce_constant_simplify ... ok [INFO] [stdout] test expression::set_expression::tests::set_bitor ... ok [INFO] [stdout] test expression::set_expression::tests::set_from_vector_simplify ... ok [INFO] [stdout] test expression::set_expression::tests::set_reduce_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_reference_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_reference_simplify ... ok [INFO] [stdout] test expression::set_expression::tests::set_remove ... ok [INFO] [stdout] test expression::set_expression::tests::set_reduce_simplify ... ok [INFO] [stdout] test expression::set_expression::tests::set_remove_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_sub ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_1d_element ... ok [INFO] [stdout] test expression::set_expression::tests::set_remove_simplify ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_1d_intersection ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_2d_element ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_1d_union ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_2d_intersection ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_2d_symmetric_difference ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_1d_symmetric_difference ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_2d_union ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_3d_element ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_3d_symmetric_difference ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_element ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_3d_union ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_3d_intersection ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_union ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_symmetric_difference ... ok [INFO] [stdout] test expression::set_expression::tests::set_table_intersection ... ok [INFO] [stdout] test expression::set_expression::tests::set_union_eval ... ok [INFO] [stdout] test expression::set_expression::tests::set_union_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::intersection_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::symmetric_difference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::constant_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_element_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::empty_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_element_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_set_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_set_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_set_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_vector_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_element_set_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_vector_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_element_set_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_element_set_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_element_vector_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_vector_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_element_vector_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_element_vector_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_element_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_element_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_element_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_reference_element_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_element_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_reference_set_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_reference_vector_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_vector_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_reference_vector_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_vector_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_vector_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_set_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_reference_element_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_element_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_reference_vector_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_element_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_set_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_set_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_set_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_reference_set_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_3d_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_vector_reference_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::union_eval ... ok [INFO] [stdout] test expression::table_expression::tests::table_1d_eval ... ok [INFO] [stdout] test expression::table_expression::tests::table_1d_simplify ... ok [INFO] [stdout] test expression::table_expression::tests::table_2d_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_3d_constant_simplify ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_vector_reference_set_eval ... ok [INFO] [stdout] test expression::set_reduce_expression::tests::table_3d_eval ... ok [INFO] [stdout] test expression::table_expression::tests::table_3d_eval ... ok [INFO] [stdout] test expression::table_expression::tests::table_3d_simplify ... ok [INFO] [stdout] test expression::table_expression::tests::table_constant_simplify ... ok [INFO] [stdout] test expression::table_expression::tests::table_eval ... ok [INFO] [stdout] test expression::table_expression::tests::table_simplify ... ok [INFO] [stdout] test expression::table_expression::tests::table_2d_simplify ... ok [INFO] [stdout] test expression::table_expression::tests::table_constant_eval ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_1d_eval ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_2d_eval ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_1d_simplify ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_2d_x_simplify ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_2d_simplify ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_2d_x_sum_eval ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_2d_x_sum_simplify ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_2d_y_eval ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_2d_x_eval ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_2d_y_simplify ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_2d_y_sum_eval ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_2d_y_sum_simplify ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_3d_eval ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_3d_simplify ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_3d_sum_eval ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_eval ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_3d_sum_simplify ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_simplify ... ok [INFO] [stdout] test expression::util::tests::test_expand_vector_with_set ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_sum_eval ... ok [INFO] [stdout] test expression::util::tests::test_expand_vector_with_slice ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_from_set_eval ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_from_set_simplify ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_indices_simplify ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_if_eval ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_pop_simplify ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_pop_eval ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_push_eval ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_if_simplify ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_push_simplify ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_reference_eval ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_reference_simplify ... ok [INFO] [stdout] test expression::table_vector_expression::test::vector_table_sum_simplify ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_indices_eval ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_reverse_eval ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_set_eval ... ok [INFO] [stdout] test expression::vector_expression::tests::vector_set_simplify ... ok [INFO] [stdout] test grounded_condition::tests::from_condition_to_grounded ... ok [INFO] [stdout] test grounded_condition::tests::from_condition_to_grounded_with_set_parameters_a ... ok [INFO] [stdout] test grounded_condition::tests::from_condition_to_grounded_with_set_parameters_ab ... ok [INFO] [stdout] test grounded_condition::tests::from_condition_to_grounded_with_set_vector_parameters ... ok [INFO] [stdout] test grounded_condition::tests::from_condition_to_grounded_with_set_parameters_b ... ok [INFO] [stdout] test grounded_condition::tests::from_condition_to_grounded_with_vector_parameters_a ... ok [INFO] [stdout] test grounded_condition::tests::from_condition_to_grounded_with_vector_parameters_ab ... ok [INFO] [stdout] test grounded_condition::tests::from_condition_to_grounded_with_vector_parameters_b ... ok [INFO] [stdout] test grounded_condition::tests::from_condition_to_grounded_with_vector_set_parameters ... ok [INFO] [stdout] test grounded_condition::tests::from_grounded_to_condition_false_multi ... ok [INFO] [stdout] test grounded_condition::tests::from_grounded_to_condition_false_single ... ok [INFO] [stdout] test grounded_condition::tests::from_grounded_to_condition ... ok [INFO] [stdout] test grounded_condition::tests::from_grounded_to_condition_true ... ok [INFO] [stdout] test grounded_condition::tests::is_satisfied_set_parameter ... ok [INFO] [stdout] test grounded_condition::tests::is_satisfied_vector_parameter ... ok [INFO] [stdout] test grounded_condition::tests::is_satisfied_condition ... ok [INFO] [stdout] test state::tests::add_continuous_resource_variable_err ... ok [INFO] [stdout] test state::tests::add_continuous_variable_err ... ok [INFO] [stdout] test state::tests::add_continuous_resource_variable_ok ... ok [INFO] [stdout] test state::tests::add_continuous_variable_ok ... ok [INFO] [stdout] test state::tests::add_element_resource_variable_err ... ok [INFO] [stdout] test state::tests::add_element_resource_variable_ok ... ok [INFO] [stdout] test state::tests::add_element_variable_err ... ok [INFO] [stdout] test state::tests::add_integer_resource_variable_err ... ok [INFO] [stdout] test state::tests::add_integer_resource_variable_ok ... ok [INFO] [stdout] test state::tests::add_element_variable_ok ... ok [INFO] [stdout] test state::tests::add_integer_variable_err ... ok [INFO] [stdout] test state::tests::add_object_err ... ok [INFO] [stdout] test state::tests::add_object_ok ... ok [INFO] [stdout] test state::tests::add_set_variable_err ... ok [INFO] [stdout] test state::tests::add_set_variable_ok ... ok [INFO] [stdout] test state::tests::add_vector_variable_err ... ok [INFO] [stdout] test state::tests::add_vector_variable_ok ... ok [INFO] [stdout] test state::tests::add_integer_variable_ok ... ok [INFO] [stdout] test state::tests::continuous_resource_variable_preference_err ... ok [INFO] [stdout] test state::tests::continuous_resource_variable_preference_ok ... ok [INFO] [stdout] test state::tests::dominance ... ok [INFO] [stdout] test state::tests::element_resource_variable_preference_ok ... ok [INFO] [stdout] test state::tests::element_resource_variable_preference_err ... ok [INFO] [stdout] test state::tests::create_set_err ... ok [INFO] [stdout] test state::tests::check_state_ok ... ok [INFO] [stdout] test state::tests::apply_effect ... ok [INFO] [stdout] test state::tests::create_set_ok ... ok [INFO] [stdout] test state::tests::get_object_type_of_element_resource_variable_ok ... ok [INFO] [stdout] test state::tests::get_object_type_of_element_variable_err ... ok [INFO] [stdout] test state::tests::get_object_type_of_element_variable_ok ... ok [INFO] [stdout] test state::tests::get_name_set ... ok [INFO] [stdout] test state::tests::get_object_type_of_set_variable_err ... ok [INFO] [stdout] test state::tests::get_object_type_of_set_variable_ok ... ok [INFO] [stdout] test state::tests::get_object_type_of_vector_variable_err ... ok [INFO] [stdout] test state::tests::get_object_type_of_vector_variable_ok ... ok [INFO] [stdout] test state::tests::has_resource_variable ... ok [INFO] [stdout] test state::tests::integer_resource_variable_preference_err ... ok [INFO] [stdout] test state::tests::integer_resource_variable_preference_ok ... ok [INFO] [stdout] test state::tests::is_satisfied ... ok [INFO] [stdout] test state::tests::get_object_type_of_element_resource_variable_err ... ok [INFO] [stdout] test state::tests::number_of_continuous_resource_variables ... ok [INFO] [stdout] test state::tests::number_of_continuous_variables ... ok [INFO] [stdout] test state::tests::number_of_element_variables ... ok [INFO] [stdout] test state::tests::number_of_object_err ... ok [INFO] [stdout] test state::tests::number_of_integer_variables ... ok [INFO] [stdout] test state::tests::number_of_object_ok ... ok [INFO] [stdout] test state::tests::number_of_integer_resource_variables ... ok [INFO] [stdout] test state::tests::number_of_objects ... ok [INFO] [stdout] test state::tests::number_of_set_variables ... ok [INFO] [stdout] test state::tests::state_get_continuous_resource_variable ... ok [INFO] [stdout] test state::tests::number_of_vector_variables ... ok [INFO] [stdout] test state::tests::state_get_continuous_variable ... ok [INFO] [stdout] test state::tests::state_get_element_resource_variable ... ok [INFO] [stdout] test state::tests::state_get_element_variable ... ok [INFO] [stdout] test state::tests::state_get_integer_resource_variable ... ok [INFO] [stdout] test state::tests::state_get_integer_variable ... ok [INFO] [stdout] test state::tests::state_get_number_of_continuous_variables ... ok [INFO] [stdout] test state::tests::state_get_number_of_continuous_resource_variables ... ok [INFO] [stdout] test state::tests::state_get_number_of_element_resource_variables ... ok [INFO] [stdout] test state::tests::state_get_number_of_element_variables ... ok [INFO] [stdout] test state::tests::state_get_number_of_integer_resource_variables ... ok [INFO] [stdout] test state::tests::state_get_number_of_integer_variables ... ok [INFO] [stdout] test state::tests::state_get_number_of_set_variables ... ok [INFO] [stdout] test state::tests::state_get_number_of_vector_variables ... ok [INFO] [stdout] test state::tests::state_get_set_variable ... ok [INFO] [stdout] test state::tests::state_get_vector_variable ... ok [INFO] [stdout] test table::tests::table_1d_capacity_of_set ... ok [INFO] [stdout] test table::tests::table_1d_eval ... ok [INFO] [stdout] test table::tests::table_1d_get ... ok [INFO] [stdout] test table::tests::table_1d_relative_eq ... ok [INFO] [stdout] test table::tests::table_1d_set ... ok [INFO] [stdout] test table::tests::table_1d_shape ... ok [INFO] [stdout] test table::tests::table_1d_update ... ok [INFO] [stdout] test table::tests::table_2d_capacity_of_set ... ok [INFO] [stdout] test table::tests::table_2d_eval ... ok [INFO] [stdout] test table::tests::table_2d_get ... ok [INFO] [stdout] test table::tests::table_2d_relative_eq ... ok [INFO] [stdout] test table::tests::table_2d_set ... ok [INFO] [stdout] test table::tests::table_2d_shape ... ok [INFO] [stdout] test table::tests::table_2d_update ... ok [INFO] [stdout] test table::tests::table_3d_capacity_of_set ... ok [INFO] [stdout] test table::tests::table_3d_eval ... ok [INFO] [stdout] test table::tests::table_3d_get ... ok [INFO] [stdout] test table::tests::table_3d_relative_eq ... ok [INFO] [stdout] test table::tests::table_3d_set ... ok [INFO] [stdout] test table::tests::table_3d_shape ... ok [INFO] [stdout] test table::tests::table_3d_update ... ok [INFO] [stdout] test table::tests::table_capacity_of_set ... ok [INFO] [stdout] test table::tests::table_eval ... ok [INFO] [stdout] test table::tests::table_get ... ok [INFO] [stdout] test table::tests::table_relative_eq ... ok [INFO] [stdout] test table::tests::table_set ... ok [INFO] [stdout] test table::tests::table_set_default ... ok [INFO] [stdout] test table::tests::table_update ... ok [INFO] [stdout] test table_data::tests::add_table_1d_empty_err ... ok [INFO] [stdout] test table_data::tests::add_table_1d_err ... ok [INFO] [stdout] test table_data::tests::add_table_1d_ok ... ok [INFO] [stdout] test table_data::tests::add_table_2d_empty_1d_err ... ok [INFO] [stdout] test table_data::tests::add_table_2d_empty_2d_err ... ok [INFO] [stdout] test table_data::tests::add_table_2d_err ... ok [INFO] [stdout] test table_data::tests::add_table_2d_ok ... ok [INFO] [stdout] test table_data::tests::add_table_3d_empty_1d_err ... ok [INFO] [stdout] test table_data::tests::add_table_3d_empty_2d_err ... ok [INFO] [stdout] test table_data::tests::add_table_3d_empty_3d_err ... ok [INFO] [stdout] test table_data::tests::add_table_3d_err ... ok [INFO] [stdout] test table_data::tests::add_table_3d_ok ... ok [INFO] [stdout] test table_data::tests::add_table_err ... ok [INFO] [stdout] test table_data::tests::add_table_ok ... ok [INFO] [stdout] test table_data::tests::check_table ... ok [INFO] [stdout] test table_data::tests::check_table_1d ... ok [INFO] [stdout] test table_data::tests::check_table_2d ... ok [INFO] [stdout] test table_data::tests::check_table_3d ... ok [INFO] [stdout] test table_data::tests::get_name_set ... ok [INFO] [stdout] test table_data::tests::relative_eq ... ok [INFO] [stdout] test table_registry::tests::add_table_1d_err ... ok [INFO] [stdout] test table_registry::tests::add_table_2d_err ... ok [INFO] [stdout] test table_registry::tests::add_table_1d_ok ... ok [INFO] [stdout] test table_registry::tests::add_table_2d_ok ... ok [INFO] [stdout] test table_registry::tests::add_table_3d_err ... ok [INFO] [stdout] test table_registry::tests::add_table_3d_ok ... ok [INFO] [stdout] test table_registry::tests::add_table_err ... ok [INFO] [stdout] test table_registry::tests::add_table_ok ... ok [INFO] [stdout] test table_registry::tests::table_registry_get_name_set ... ok [INFO] [stdout] test tests::add_backward_forced_transition_err ... ok [INFO] [stdout] test tests::add_backward_forced_transition_ok ... ok [INFO] [stdout] test tests::add_backward_forced_transition_with_table1d_err ... ok [INFO] [stdout] test tests::add_backward_forced_transition_with_table1d_ok ... ok [INFO] [stdout] test tests::add_backward_forced_transition_with_table2d_err ... ok [INFO] [stdout] test tests::add_backward_forced_transition_with_table2d_ok ... ok [INFO] [stdout] test tests::add_backward_forced_transition_with_table3d_err ... ok [INFO] [stdout] test tests::add_backward_forced_transition_with_table3d_ok ... ok [INFO] [stdout] test tests::add_backward_transition_ok ... ok [INFO] [stdout] test tests::add_backward_transition_err ... ok [INFO] [stdout] test tests::add_backward_transition_with_table1d_err ... ok [INFO] [stdout] test tests::add_backward_transition_with_table1d_ok ... ok [INFO] [stdout] test tests::add_backward_transition_with_table2d_err ... ok [INFO] [stdout] test tests::add_backward_transition_with_table2d_ok ... ok [INFO] [stdout] test tests::add_backward_transition_with_table3d_err ... ok [INFO] [stdout] test tests::add_backward_transition_with_table3d_ok ... ok [INFO] [stdout] test tests::add_base_case_err ... ok [INFO] [stdout] test tests::add_base_case_ok ... ok [INFO] [stdout] test tests::add_base_case_with_cost_err_conditions ... ok [INFO] [stdout] test tests::add_base_case_with_cost_err_cost ... ok [INFO] [stdout] test tests::add_base_case_with_cost_ok ... ok [INFO] [stdout] test tests::add_base_state_ok ... ok [INFO] [stdout] test tests::add_base_state_with_cost_err_cost ... ok [INFO] [stdout] test expression::continuous_expression::tests::eval_cost_panic - should panic ... ok [INFO] [stdout] test tests::add_base_state_with_cost_ok ... ok [INFO] [stdout] test tests::add_constraint_err ... ok [INFO] [stdout] test tests::add_constraint_ok ... ok [INFO] [stdout] test tests::add_dual_bound_err ... ok [INFO] [stdout] test tests::add_dual_bound_ok ... ok [INFO] [stdout] test tests::add_forward_forced_transition_err ... ok [INFO] [stdout] test tests::add_forward_forced_transition_ok ... ok [INFO] [stdout] test tests::add_forward_forced_transition_with_table1d_err ... ok [INFO] [stdout] test tests::add_forward_forced_transition_with_table1d_ok ... ok [INFO] [stdout] test expression::integer_expression::tests::eval_cost_panic - should panic ... ok [INFO] [stdout] test tests::add_forward_forced_transition_with_table2d_err ... ok [INFO] [stdout] test tests::add_forward_forced_transition_with_table2d_ok ... ok [INFO] [stdout] test tests::add_forward_forced_transition_with_table3d_err ... ok [INFO] [stdout] test tests::add_forward_forced_transition_with_table3d_ok ... ok [INFO] [stdout] test tests::add_forward_transition_ok ... ok [INFO] [stdout] test tests::add_forward_transition_err ... ok [INFO] [stdout] test tests::add_forward_transition_with_table1d_err ... ok [INFO] [stdout] test tests::add_forward_transition_with_table1d_ok ... ok [INFO] [stdout] test tests::add_forward_transition_with_table2d_err ... ok [INFO] [stdout] test tests::add_forward_transition_with_table2d_ok ... ok [INFO] [stdout] test tests::add_forward_transition_with_table3d_err ... ok [INFO] [stdout] test tests::add_forward_transition_with_table3d_ok ... ok [INFO] [stdout] test tests::add_table_1d_err ... ok [INFO] [stdout] test tests::add_table_1d_ok ... ok [INFO] [stdout] test tests::add_table_2d_err ... ok [INFO] [stdout] test tests::add_table_2d_ok ... ok [INFO] [stdout] test tests::add_table_3d_err ... ok [INFO] [stdout] test tests::add_table_3d_ok ... ok [INFO] [stdout] test tests::add_table_err ... ok [INFO] [stdout] test tests::add_table_ok ... ok [INFO] [stdout] test tests::check_argument_expression_err ... ok [INFO] [stdout] test tests::check_argument_expression_ok ... ok [INFO] [stdout] test tests::check_bool_table_expression_err ... ok [INFO] [stdout] test tests::check_bool_table_expression_ok ... ok [INFO] [stdout] test tests::check_condition_err ... ok [INFO] [stdout] test tests::check_condition_ok ... ok [INFO] [stdout] test tests::check_constraints ... ok [INFO] [stdout] test tests::check_continuous_expression_err ... ok [INFO] [stdout] test tests::check_continuous_expression_ok ... ok [INFO] [stdout] test tests::check_continuous_table_expression_err ... ok [INFO] [stdout] test tests::check_continuous_table_expression_ok ... ok [INFO] [stdout] test tests::check_continuous_table_vector_expression_err ... ok [INFO] [stdout] test tests::check_continuous_table_vector_expression_ok ... ok [INFO] [stdout] test tests::check_continuous_vector_expression_err ... ok [INFO] [stdout] test tests::check_continuous_vector_expression_ok ... ok [INFO] [stdout] test tests::check_element_expression_ok ... ok [INFO] [stdout] test tests::check_element_expression_err ... ok [INFO] [stdout] test tests::check_element_table_expression_err ... ok [INFO] [stdout] test tests::check_element_table_expression_ok ... ok [INFO] [stdout] test tests::check_integer_expression_err ... ok [INFO] [stdout] test tests::check_integer_expression_ok ... ok [INFO] [stdout] test tests::check_integer_table_expression_ok ... ok [INFO] [stdout] test tests::check_integer_table_expression_err ... ok [INFO] [stdout] test tests::check_integer_table_vector_expression_err ... ok [INFO] [stdout] test tests::check_integer_table_vector_expression_ok ... ok [INFO] [stdout] test tests::check_integer_vector_expression_ok ... ok [INFO] [stdout] test tests::check_integer_vector_expression_err ... ok [INFO] [stdout] test tests::check_set_expression_err ... ok [INFO] [stdout] test tests::check_set_expression_ok ... ok [INFO] [stdout] test tests::check_set_expression_reduce_err ... ok [INFO] [stdout] test tests::check_set_expression_reduce_ok ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_1d_capacity_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_1d_no_table_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_1d_x_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_2d_capacity_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_2d_no_table_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_2d_x_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_2d_y_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_3d_capacity_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_3d_no_table_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_3d_x_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_3d_y_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_3d_z_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_capacity_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_indices_err ... ok [INFO] [stdout] test tests::check_set_reduce_expressin_table_no_table_err ... ok [INFO] [stdout] test tests::check_set_reduce_expression_constant_ok ... ok [INFO] [stdout] test tests::check_set_reduce_expression_table_1d_ok ... ok [INFO] [stdout] test tests::check_set_reduce_expression_table_2d_ok ... ok [INFO] [stdout] test tests::check_set_reduce_expression_table_3d_ok ... ok [INFO] [stdout] test tests::check_set_reduce_expression_table_ok ... ok [INFO] [stdout] test tests::check_set_table_expression_err ... ok [INFO] [stdout] test tests::check_set_table_expression_ok ... ok [INFO] [stdout] test tests::check_state_ok ... ok [INFO] [stdout] test tests::check_vector_expression_err ... ok [INFO] [stdout] test state::tests::dominance_continuous_length_panic - should panic ... ok [INFO] [stdout] test tests::check_vector_expression_ok ... ok [INFO] [stdout] test tests::check_vector_or_element_expression_err ... ok [INFO] [stdout] test state::tests::dominance_element_length_panic - should panic ... ok [INFO] [stdout] test tests::check_vector_or_element_expression_ok ... ok [INFO] [stdout] test tests::check_vector_table_expression_err ... ok [INFO] [stdout] test tests::check_vector_table_expression_ok ... ok [INFO] [stdout] test state::tests::dominance_integer_length_panic - should panic ... ok [INFO] [stdout] test tests::continuous_cost_model ... ok [INFO] [stdout] test tests::continuous_resource_variable_err ... ok [INFO] [stdout] test tests::continuous_resource_variable_ok ... ok [INFO] [stdout] test tests::continuous_variable_ok ... ok [INFO] [stdout] test tests::continuous_variable_err ... ok [INFO] [stdout] test tests::cost_type_default ... ok [INFO] [stdout] test tests::element_resource_variable_err ... ok [INFO] [stdout] test tests::element_resource_variable_ok ... ok [INFO] [stdout] test tests::element_variable_ok ... ok [INFO] [stdout] test state::tests::state_get_continuous_resource_variable_panic - should panic ... ok [INFO] [stdout] test tests::element_variable_err ... ok [INFO] [stdout] test tests::eval_base_cost_max_some ... ok [INFO] [stdout] test tests::eval_base_cost_max_none ... ok [INFO] [stdout] test tests::eval_base_cost_min_some ... ok [INFO] [stdout] test state::tests::state_get_continuous_variable_panic - should panic ... ok [INFO] [stdout] test tests::eval_base_cost_min_none ... ok [INFO] [stdout] test tests::eval_base_cost_product ... ok [INFO] [stdout] test tests::eval_base_cost_product_none ... ok [INFO] [stdout] test state::tests::state_get_element_resource_variable_panic - should panic ... ok [INFO] [stdout] test tests::eval_base_cost_sum ... ok [INFO] [stdout] test state::tests::state_get_element_variable_panic - should panic ... ok [INFO] [stdout] test tests::eval_base_cost_sum_none ... ok [INFO] [stdout] test tests::eval_dual_bound ... ok [INFO] [stdout] test state::tests::state_get_integer_variable_panic - should panic ... ok [INFO] [stdout] test tests::generate_successor_state_pruned_by_lower_bound ... ok [INFO] [stdout] test tests::generate_successor_state_pruned_by_constraint ... ok [INFO] [stdout] test tests::eval_base_cost_zero ... ok [INFO] [stdout] test tests::generate_successor_state_with_lower_bound ... ok [INFO] [stdout] test state::tests::state_get_integer_resource_variable_panic - should panic ... ok [INFO] [stdout] test tests::generate_successor_state_with_upper_bound ... ok [INFO] [stdout] test tests::get_capacity_of_set_in_1d_table_err ... ok [INFO] [stdout] test tests::generate_successor_state_with_no_cost_bound ... ok [INFO] [stdout] test tests::generate_successor_state_pruned_by_upper_bound ... ok [INFO] [stdout] test state::tests::state_get_set_variable_panic - should panic ... ok [INFO] [stdout] test tests::get_capacity_of_set_in_1d_table_ok ... ok [INFO] [stdout] test tests::get_capacity_of_set_in_2d_table_err ... ok [INFO] [stdout] test tests::get_capacity_of_set_in_2d_table_ok ... ok [INFO] [stdout] test tests::get_capacity_of_set_in_3d_table_err ... ok [INFO] [stdout] test tests::get_capacity_of_set_in_3d_table_ok ... ok [INFO] [stdout] test state::tests::state_get_vector_variable_panic - should panic ... ok [INFO] [stdout] test tests::get_capacity_of_set_in_table_err ... ok [INFO] [stdout] test tests::has_dual_bounds ... ok [INFO] [stdout] test tests::get_capacity_of_set_in_table_ok ... ok [INFO] [stdout] test tests::has_resource_variables ... ok [INFO] [stdout] test tests::integer_resource_variable_err ... ok [INFO] [stdout] test tests::integer_cost_model ... ok [INFO] [stdout] test tests::integer_resource_variable_ok ... ok [INFO] [stdout] test tests::integer_variable_ok ... ok [INFO] [stdout] test tests::is_base_state ... ok [INFO] [stdout] test tests::is_not_base_case ... ok [INFO] [stdout] test tests::integer_variable_err ... ok [INFO] [stdout] test tests::object_err ... ok [INFO] [stdout] test tests::reduce_function ... ok [INFO] [stdout] test tests::object_ok ... ok [INFO] [stdout] test tests::is_base_case ... ok [INFO] [stdout] test tests::set_variable_err ... ok [INFO] [stdout] test tests::set_variable_ok ... ok [INFO] [stdout] test tests::validate_forward_applicable_false ... ok [INFO] [stdout] test tests::reduce_functin_default ... ok [INFO] [stdout] test tests::validate_forward_cost_false ... ok [INFO] [stdout] test tests::validate_forward_state_constraint_false ... ok [INFO] [stdout] test tests::validate_forward_true ... ok [INFO] [stdout] test transition::tests::add_continuous_effect_err ... ok [INFO] [stdout] test transition::tests::add_continuous_effect_ok ... ok [INFO] [stdout] test tests::validate_forward_base_false ... ok [INFO] [stdout] test transition::tests::add_continuous_resource_effect ... ok [INFO] [stdout] test transition::tests::add_continuous_resource_effect_err ... ok [INFO] [stdout] test transition::tests::add_element_effect_err ... ok [INFO] [stdout] test tests::vector_variable_err ... ok [INFO] [stdout] test tests::vector_variable_ok ... ok [INFO] [stdout] test tests::validate_forward_base_case_false ... ok [INFO] [stdout] test transition::tests::add_element_effect_ok ... ok [INFO] [stdout] test tests::validate_forward_true_base_cost ... ok [INFO] [stdout] test transition::tests::add_element_resource_effect_err ... ok [INFO] [stdout] test transition::tests::add_element_resource_effect_ok ... ok [INFO] [stdout] test transition::tests::add_integer_effect_err ... ok [INFO] [stdout] test transition::tests::add_integer_resource_effect_err ... ok [INFO] [stdout] test transition::tests::add_precondition ... ok [INFO] [stdout] test transition::tests::add_integer_effect_ok ... ok [INFO] [stdout] test transition::tests::add_set_effect_err ... ok [INFO] [stdout] test transition::tests::add_integer_resource_effect_ok ... ok [INFO] [stdout] test transition::tests::add_set_effect_ok ... ok [INFO] [stdout] test transition::tests::add_vector_effect_err ... ok [INFO] [stdout] test transition::tests::add_vector_effect_ok ... ok [INFO] [stdout] test transition::tests::applicable ... ok [INFO] [stdout] test transition::tests::apply_effects ... ok [INFO] [stdout] test transition::tests::cost_expression_eval_cost ... ok [INFO] [stdout] test transition::tests::cost_expression_from_continuous ... ok [INFO] [stdout] test transition::tests::cost_expression_default ... ok [INFO] [stdout] test transition::tests::cost_expression_eval ... ok [INFO] [stdout] test transition::tests::cost_expression_from_continuous_expression ... ok [INFO] [stdout] test transition::tests::cost_expression_from_continuous_variable ... ok [INFO] [stdout] test transition::tests::cost_expression_from_integer ... ok [INFO] [stdout] test transition::tests::cost_expression_simplify_continuous ... ok [INFO] [stdout] test transition::tests::cost_expression_simplify_integer ... ok [INFO] [stdout] test transition::tests::cost_expression_from_continuous_resource_variable ... ok [INFO] [stdout] test transition::tests::eval_cost ... ok [INFO] [stdout] test transition::tests::get_preconditions ... ok [INFO] [stdout] test transition::tests::new ... ok [INFO] [stdout] test transition::tests::not_applicable ... ok [INFO] [stdout] test transition::tests::set_cost ... ok [INFO] [stdout] test variable_type::tests::bool_to_variable_string ... ok [INFO] [stdout] test variable_type::tests::integer_to_variable_string ... ok [INFO] [stdout] test transition::tests::get_full_name ... ok [INFO] [stdout] test variable_type::tests::element_to_variable_string ... ok [INFO] [stdout] test variable_type::tests::ordered_continuous_to_variable_string ... ok [INFO] [stdout] test variable_type::tests::set_to_variable_string ... ok [INFO] [stdout] test variable_type::tests::float_to_variable_string ... ok [INFO] [stdout] test tests::add_base_state_err ... ok [INFO] [stdout] test tests::add_base_state_with_cost_err_state ... ok [INFO] [stdout] test tests::check_state_err ... ok [INFO] [stdout] test state::tests::chech_state_err ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 873 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s [INFO] [stdout] [INFO] [stderr] Doc-tests dypdl [INFO] [stdout] [INFO] [stdout] running 232 tests [INFO] [stdout] test src/expression/condition.rs - expression::condition::IfThenElse (line 82) ... FAILED [INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::comparison_i (line 219) ... FAILED [INFO] [stdout] test src/expression/condition.rs - expression::condition::SetVariable::is_not_equal (line 456) ... FAILED [INFO] [stdout] test src/expression/condition.rs - expression::condition::SetVariable::is_subset (line 483) ... FAILED [INFO] [stdout] test src/expression/condition.rs - expression::condition::Table1DHandle::element (line 532) ... FAILED [INFO] [stdout] test src/expression/condition.rs - expression::condition::Table2DHandle::element (line 561) ... FAILED [INFO] [stdout] test src/expression/condition.rs - expression::condition::Table3DHandle::element (line 594) ... FAILED [INFO] [stdout] test src/expression/condition.rs - expression::condition::TableHandle::element (line 633) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::abs (line 137) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::add (line 285) ... FAILED [INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::bitor (line 167) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::ceil (line 197) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::eval (line 1740) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::div (line 360) ... FAILED [INFO] [stdout] test src/expression/condition.rs - expression::condition::SetVariable::is_empty (line 510) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::eval_cost (line 1764) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::max (line 410) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::floor (line 177) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::min (line 431) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::mul (line 335) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::neg (line 261) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::pow (line 456) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::log (line 481) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::rem (line 385) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::round (line 217) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::sqrt (line 157) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::sub (line 310) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::SetExpression::len_continuous (line 508) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::trunc (line 237) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::SetVariable::len_continuous (line 533) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::max (line 644) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::element (line 558) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::min (line 674) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::product (line 614) ... FAILED [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::sum (line 584) ... FAILED [INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::comparison_c (line 246) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::SetVariable::is_equal (line 429) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::bitand (line 142) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::SetExpression::is_not_equal (line 327) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::SetExpression::is_empty (line 381) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::not (line 118) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::SetExpression::is_equal (line 300) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::comparison_e (line 190) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::SetExpression::contains (line 274) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::SetVariable::contains (line 403) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::SetExpression::is_subset (line 354) ... ok [INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::eval (line 672) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::max_x (line 932) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::element (line 706) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::max (line 998) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::max_y (line 965) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::min_x (line 1030) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::product_x (line 834) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table3DHandle::element (line 1130) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::product_y (line 867) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table3DHandle::max (line 1256) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::min_y (line 1063) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::min (line 1096) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::sum (line 802) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::sum_x (line 736) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::product (line 900) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle::sum_y (line 769) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table3DHandle::min (line 1300) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::TableHandle::element (line 1346) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table3DHandle::sum (line 1168) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table3DHandle::product (line 1212) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::min (line 217) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::add (line 77) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::TableHandle::sum (line 1379) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::mul (line 125) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::max (line 197) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::sub (line 101) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::TableHandle::min (line 1499) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::Table1DHandle::element (line 239) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::rem (line 173) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::TableHandle::max (line 1459) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::eval (line 471) ... ok [INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::TableHandle::product (line 1419) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::div (line 149) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::Table2DHandle::element (line 268) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::Table3DHandle::element (line 299) ... ok [INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::TableHandle::element (line 335) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::abs (line 98) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::add (line 144) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::ceil (line 1440) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::eval_cost (line 1535) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::div (line 216) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::floor (line 1418) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::eval (line 1512) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::mul (line 192) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::round (line 1462) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::neg (line 121) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::max (line 264) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::rem (line 240) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::min (line 284) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::sub (line 168) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::trunc (line 1484) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::SetExpression::len (line 306) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::SetVariable::len (line 330) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table1DHandle::element (line 354) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::max_x (line 718) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table1DHandle::sum (line 381) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table1DHandle::min (line 468) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table1DHandle::max (line 439) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::max (line 780) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::max_y (line 749) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::min (line 873) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table1DHandle::product (line 410) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::element (line 499) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::min_x (line 811) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::min_y (line 842) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::product_x (line 623) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::product (line 687) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::sum (line 592) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::product_y (line 655) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table3DHandle::max (line 1020) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table3DHandle::element (line 907) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::TableHandle::product (line 1175) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::TableHandle::element (line 1102) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::TableHandle::max (line 1215) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table3DHandle::min (line 1060) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::TableHandle::min (line 1255) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::sum_x (line 528) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table3DHandle::sum (line 940) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetExpression::bitand (line 189) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle::sum_y (line 560) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table3DHandle::product (line 980) ... ok [INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::TableHandle::sum (line 1135) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetExpression::eval (line 1012) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetElementOperation (line 214) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetExpression::bitor (line 133) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetExpression::not (line 81) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetExpression::sub (line 161) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table1DHandle::element (line 243) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table1DHandle::symmetric_difference (line 340) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table1DHandle::intersection (line 306) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetVariable::not (line 107) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table2DHandle::element (line 375) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table2DHandle::intersection (line 442) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table2DHandle::symmetric_difference (line 480) ... ok [INFO] [stdout] test src/lib.rs - AccessTarget (line 1894) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table3DHandle::element (line 522) ... ok [INFO] [stdout] test src/lib.rs - Model::add_backward_forced_transition (line 1456) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table1DHandle::union (line 272) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table3DHandle::intersection (line 609) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table2DHandle::union (line 404) ... ok [INFO] [stdout] test src/lib.rs - Model::add_base_case (line 1246) ... ok [INFO] [stdout] test src/lib.rs - Model::add_backward_transition (line 1433) ... ok [INFO] [stdout] test src/lib.rs - Model::add_continuous_variable (line 1089) ... ok [INFO] [stdout] test src/lib.rs - Model::add_continuous_resource_variable (line 1146) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table3DHandle::union (line 561) ... ok [INFO] [stdout] test src/lib.rs - Model::add_base_case_with_cost (line 1294) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table3DHandle::symmetric_difference (line 657) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::TableHandle::element (line 707) ... ok [INFO] [stdout] test src/lib.rs - Model::add_element_resource_variable (line 785) ... ok [INFO] [stdout] test src/lib.rs - Model::add_dual_bound (line 2241) ... ok [INFO] [stdout] test src/lib.rs - Model::add_element_variable (line 725) ... ok [INFO] [stdout] test src/lib.rs - Model::add_integer_variable (line 975) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::TableHandle::intersection (line 803) ... ok [INFO] [stdout] test src/lib.rs - Model::add_forward_forced_transition (line 1407) ... ok [INFO] [stdout] test src/lib.rs - Model::add_dual_bound (line 2267) ... ok [INFO] [stdout] test src/lib.rs - Model::add_integer_resource_variable (line 1032) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::TableHandle::union (line 747) ... ok [INFO] [stdout] test src/lib.rs - Model::add_forward_transition (line 1384) ... ok [INFO] [stdout] test src/lib.rs - (line 9) ... ok [INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::TableHandle::symmetric_difference (line 859) ... ok [INFO] [stdout] test src/lib.rs - Model::add_set_variable (line 846) ... ok [INFO] [stdout] test src/lib.rs - Model::add_object_type (line 626) ... ok [INFO] [stdout] test src/lib.rs - Model::create_set (line 680) ... ok [INFO] [stdout] test src/lib.rs - Model::add_state_constraint (line 1180) ... ok [INFO] [stdout] test src/lib.rs - Model::add_vector_variable (line 911) ... ok [INFO] [stdout] test src/lib.rs - Model::get_capacity_of_set_in_table (line 1579) ... ok [INFO] [stdout] test src/lib.rs - Model::get_capacity_of_set_in_2d_table (line 1517) ... ok [INFO] [stdout] test src/lib.rs - Model::get_element_resource_variable (line 758) ... ok [INFO] [stdout] test src/lib.rs - Model::get_capacity_of_set_in_3d_table (line 1548) ... ok [INFO] [stdout] test src/lib.rs - Model::get_continuous_resource_variable (line 1120) ... ok [INFO] [stdout] test src/lib.rs - Model::get_continuous_variable (line 1066) ... ok [INFO] [stdout] test src/lib.rs - Model::get_capacity_of_set_in_1d_table (line 1486) ... ok [INFO] [stdout] test src/lib.rs - Model::get_number_of_objects (line 648) ... ok [INFO] [stdout] test src/lib.rs - Model::get_integer_resource_variable (line 1006) ... ok [INFO] [stdout] test src/lib.rs - Model::get_integer_variable (line 954) ... ok [INFO] [stdout] test src/lib.rs - Model::get_set_variable (line 821) ... ok [INFO] [stdout] test src/lib.rs - Model::get_element_variable (line 701) ... ok [INFO] [stdout] test src/lib.rs - Model::get_object_type (line 605) ... ok [INFO] [stdout] test src/lib.rs - Model::has_dual_bounds (line 558) ... ok [INFO] [stdout] test src/lib.rs - Model::get_vector_variable (line 887) ... ok [INFO] [stdout] test src/lib.rs - Model::has_resource_variables (line 540) ... ok [INFO] [stdout] test src/state.rs - state::AccessPreference (line 1633) ... ok [INFO] [stdout] test src/state.rs - state::State::get_continuous_resource_variable (line 551) ... ok [INFO] [stdout] test src/state.rs - state::GetObjectTypeOf (line 1595) ... ok [INFO] [stdout] test src/state.rs - state::State::get_continuous_variable (line 428) ... ok [INFO] [stdout] test src/state.rs - state::State::get_element_variable (line 347) ... ok [INFO] [stdout] test src/state.rs - state::State::get_element_resource_variable (line 470) ... ok [INFO] [stdout] test src/state.rs - state::State::get_integer_resource_variable (line 511) ... ok [INFO] [stdout] test src/lib.rs - Model::check_constraints (line 256) ... ok [INFO] [stdout] test src/lib.rs - Model::eval_base_cost (line 318) ... ok [INFO] [stdout] test src/state.rs - state::State::get_number_of_element_resource_variables (line 447) ... ok [INFO] [stdout] test src/state.rs - state::State::get_integer_variable (line 388) ... ok [INFO] [stdout] test src/state.rs - state::State::get_number_of_continuous_resource_variables (line 529) ... ok [INFO] [stdout] test src/state.rs - state::State::get_number_of_continuous_variables (line 406) ... ok [INFO] [stdout] test src/lib.rs - Model::generate_successor_state (line 412) ... ok [INFO] [stdout] test src/state.rs - state::State::get_number_of_element_variables (line 324) ... ok [INFO] [stdout] test src/lib.rs - Model::eval_dual_bound (line 370) ... ok [INFO] [stdout] test src/state.rs - state::State::get_number_of_set_variables (line 239) ... ok [INFO] [stdout] test src/state.rs - state::State::get_number_of_integer_resource_variables (line 489) ... ok [INFO] [stdout] test src/state.rs - state::State::get_number_of_vector_variables (line 283) ... ok [INFO] [stdout] test src/state.rs - state::State::get_number_of_integer_variables (line 366) ... ok [INFO] [stdout] test src/state.rs - state::State::get_set_variable (line 263) ... ok [INFO] [stdout] test src/state.rs - state::StateMetadata::dominance (line 920) ... ok [INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_continuous_variables (line 809) ... ok [INFO] [stdout] test src/state.rs - state::State::get_vector_variable (line 306) ... ok [INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_continuous_resource_variables (line 859) ... ok [INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_element_resource_variables (line 826) ... ok [INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_element_variables (line 774) ... ok [INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_integer_variables (line 792) ... ok [INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_integer_resource_variables (line 844) ... ok [INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_object_types (line 720) ... ok [INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_set_variables (line 737) ... ok [INFO] [stdout] test src/lib.rs - Model::is_base (line 285) ... ok [INFO] [stdout] test src/transition.rs - transition::AddEffect (line 455) ... ok [INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_vector_variables (line 756) ... ok [INFO] [stdout] test src/table_data.rs - table_data::TableInterface (line 33) ... ok [INFO] [stdout] test src/transition.rs - transition::Transition::get_full_name (line 301) ... ok [INFO] [stdout] test src/lib.rs - Model::validate_forward (line 468) ... ok [INFO] [stdout] test src/transition.rs - transition::Transition::add_precondition (line 404) ... ok [INFO] [stdout] test src/transition.rs - transition::Transition::set_cost (line 333) ... ok [INFO] [stdout] test src/transition.rs - transition::CostExpression::eval_cost (line 103) ... ok [INFO] [stdout] test src/transition.rs - transition::CostExpression::eval (line 74) ... ok [INFO] [stdout] test src/transition.rs - transition::Transition::get_preconditions (line 352) ... ok [INFO] [stdout] test src/transition.rs - transition::Transition::eval_cost (line 274) ... ok [INFO] [stdout] test src/transition.rs - transition::Transition::apply (line 245) ... ok [INFO] [stdout] test src/transition.rs - transition::Transition::is_applicable (line 199) ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- src/expression/condition.rs - expression::condition::IfThenElse (line 82) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/condition.rs - expression::condition::Condition::comparison_i (line 219) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/condition.rs - expression::condition::SetVariable::is_not_equal (line 456) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/condition.rs - expression::condition::SetVariable::is_subset (line 483) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/condition.rs - expression::condition::Table1DHandle::element (line 532) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/condition.rs - expression::condition::Table2DHandle::element (line 561) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/condition.rs - expression::condition::Table3DHandle::element (line 594) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/condition.rs - expression::condition::TableHandle::element (line 633) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::abs (line 137) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::add (line 285) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/condition.rs - expression::condition::Condition::bitor (line 167) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::ceil (line 197) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::eval (line 1740) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::div (line 360) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/condition.rs - expression::condition::SetVariable::is_empty (line 510) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::eval_cost (line 1764) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::max (line 410) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::floor (line 177) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::min (line 431) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::mul (line 335) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::neg (line 261) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::pow (line 456) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::log (line 481) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::rem (line 385) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::round (line 217) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::sqrt (line 157) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::sub (line 310) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::SetExpression::len_continuous (line 508) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::trunc (line 237) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::SetVariable::len_continuous (line 533) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::max (line 644) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::element (line 558) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::min (line 674) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::product (line 614) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::sum (line 584) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] src/expression/condition.rs - expression::condition::Condition::bitor (line 167) [INFO] [stdout] src/expression/condition.rs - expression::condition::Condition::comparison_i (line 219) [INFO] [stdout] src/expression/condition.rs - expression::condition::IfThenElse (line 82) [INFO] [stdout] src/expression/condition.rs - expression::condition::SetVariable::is_empty (line 510) [INFO] [stdout] src/expression/condition.rs - expression::condition::SetVariable::is_not_equal (line 456) [INFO] [stdout] src/expression/condition.rs - expression::condition::SetVariable::is_subset (line 483) [INFO] [stdout] src/expression/condition.rs - expression::condition::Table1DHandle::element (line 532) [INFO] [stdout] src/expression/condition.rs - expression::condition::Table2DHandle::element (line 561) [INFO] [stdout] src/expression/condition.rs - expression::condition::Table3DHandle::element (line 594) [INFO] [stdout] src/expression/condition.rs - expression::condition::TableHandle::element (line 633) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::abs (line 137) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::add (line 285) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::ceil (line 197) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::div (line 360) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::eval (line 1740) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::eval_cost (line 1764) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::floor (line 177) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::log (line 481) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::max (line 410) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::min (line 431) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::mul (line 335) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::neg (line 261) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::pow (line 456) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::rem (line 385) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::round (line 217) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::sqrt (line 157) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::sub (line 310) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::trunc (line 237) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::SetExpression::len_continuous (line 508) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::SetVariable::len_continuous (line 533) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::element (line 558) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::max (line 644) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::min (line 674) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::product (line 614) [INFO] [stdout] src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle::sum (line 584) [INFO] [stdout] [INFO] [stdout] test result: FAILED. 197 passed; 35 failed; 0 ignored; 0 measured; 0 filtered out; finished in 33.29s [INFO] [stdout] [INFO] [stderr] error: doctest failed, to rerun pass `--doc` [INFO] running `Command { std: "docker" "inspect" "7f3e01bb77bae3611399483968ffedfbd8e13b67d5bb6cf400395090810343a6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7f3e01bb77bae3611399483968ffedfbd8e13b67d5bb6cf400395090810343a6", kill_on_drop: false }` [INFO] [stdout] 7f3e01bb77bae3611399483968ffedfbd8e13b67d5bb6cf400395090810343a6