[INFO] fetching crate dypdl 0.10.0...
[INFO] testing dypdl-0.10.0 against try#b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b for pr-145330-1
[INFO] extracting crate dypdl 0.10.0 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate dypdl 0.10.0
[INFO] finished tweaking crates.io crate dypdl 0.10.0
[INFO] tweaked toml for crates.io crate dypdl 0.10.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate dypdl 0.10.0 on toolchain b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate dypdl 0.10.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0c528ec6a865fdbb6a9da8b9c00b6f701af11bea5819c59de3d10acf1c155db2
[INFO] running `Command { std: "docker" "start" "-a" "0c528ec6a865fdbb6a9da8b9c00b6f701af11bea5819c59de3d10acf1c155db2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0c528ec6a865fdbb6a9da8b9c00b6f701af11bea5819c59de3d10acf1c155db2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0c528ec6a865fdbb6a9da8b9c00b6f701af11bea5819c59de3d10acf1c155db2", kill_on_drop: false }`
[INFO] [stdout] 0c528ec6a865fdbb6a9da8b9c00b6f701af11bea5819c59de3d10acf1c155db2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f125048f3290277f91e6caa956cec351386db3b86c92068153f9e0271debeaa4
[INFO] running `Command { std: "docker" "start" "-a" "f125048f3290277f91e6caa956cec351386db3b86c92068153f9e0271debeaa4", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling either v1.12.0
[INFO] [stderr]    Compiling rustc-hash v2.1.0
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling approx v0.5.1
[INFO] [stderr]    Compiling ordered-float v5.0.0
[INFO] [stderr]    Compiling dypdl v0.10.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.04s
[INFO] running `Command { std: "docker" "inspect" "f125048f3290277f91e6caa956cec351386db3b86c92068153f9e0271debeaa4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f125048f3290277f91e6caa956cec351386db3b86c92068153f9e0271debeaa4", kill_on_drop: false }`
[INFO] [stdout] f125048f3290277f91e6caa956cec351386db3b86c92068153f9e0271debeaa4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b4f168420773de530ce85d236991b0ae9f086d8592e44018e5b9b5c9d5558ccc
[INFO] running `Command { std: "docker" "start" "-a" "b4f168420773de530ce85d236991b0ae9f086d8592e44018e5b9b5c9d5558ccc", kill_on_drop: false }`
[INFO] [stderr]    Compiling dypdl v0.10.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 12.28s
[INFO] running `Command { std: "docker" "inspect" "b4f168420773de530ce85d236991b0ae9f086d8592e44018e5b9b5c9d5558ccc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b4f168420773de530ce85d236991b0ae9f086d8592e44018e5b9b5c9d5558ccc", kill_on_drop: false }`
[INFO] [stdout] b4f168420773de530ce85d236991b0ae9f086d8592e44018e5b9b5c9d5558ccc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 22679655b2163ac78dc20ffbda9fea4513e66ab8f9f1f11b1d379f4eff81dbe8
[INFO] running `Command { std: "docker" "start" "-a" "22679655b2163ac78dc20ffbda9fea4513e66ab8f9f1f11b1d379f4eff81dbe8", 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-7b0f4e1301c39636)
[INFO] [stdout] 
[INFO] [stdout] running 1017 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::from_base_case_to_conditions_and_cost ... ok
[INFO] [stdout] test base_case::tests::from_base_case_to_conditions ... ok
[INFO] [stdout] test base_case::tests::is_not_satisfied ... ok
[INFO] [stdout] test base_case::tests::is_satisfied ... ok
[INFO] [stdout] test base_case::tests::to_base_case ... ok
[INFO] [stdout] test base_case::tests::with_cost ... ok
[INFO] [stdout] test expression::argument_expression::tests::eval_args ... ok
[INFO] [stdout] test expression::argument_expression::tests::eval_args_with_state_function ... ok
[INFO] [stdout] test expression::argument_expression::tests::from_element ... 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_resource_variable ... ok
[INFO] [stdout] test expression::argument_expression::tests::from_element_variable ... ok
[INFO] [stdout] test expression::argument_expression::tests::from_set ... ok
[INFO] [stdout] test expression::argument_expression::tests::from_set_variable ... ok
[INFO] [stdout] test expression::argument_expression::tests::from_vector_expression ... ok
[INFO] [stdout] test expression::argument_expression::tests::from_set_expression ... ok
[INFO] [stdout] test expression::argument_expression::tests::simplify_args_some ... ok
[INFO] [stdout] test expression::argument_expression::tests::simplify_args_none ... 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::argument_expression::tests::simplify_element ... ok
[INFO] [stdout] test expression::condition::tests::and_eval ... ok
[INFO] [stdout] test expression::condition::tests::and_simplify ... ok
[INFO] [stdout] test expression::condition::tests::comparison_c ... ok
[INFO] [stdout] test expression::condition::tests::bitor ... ok
[INFO] [stdout] test expression::condition::tests::comparison_c_eval ... ok
[INFO] [stdout] test expression::condition::tests::comparison_c_same_state_function_simplify ... ok
[INFO] [stdout] test expression::condition::tests::comparison_c_simplify ... ok
[INFO] [stdout] test expression::condition::tests::comparison_e ... ok
[INFO] [stdout] test expression::condition::tests::comparison_e_eval ... ok
[INFO] [stdout] test expression::condition::tests::comparison_e_different_state_functions_simplify ... ok
[INFO] [stdout] test expression::condition::tests::comparison_e_simplify ... ok
[INFO] [stdout] test expression::condition::tests::comparison_e_same_state_function_simplify ... ok
[INFO] [stdout] test expression::condition::tests::comparison_i_eval ... ok
[INFO] [stdout] test expression::condition::tests::comparison_i_different_state_functions_simplify ... ok
[INFO] [stdout] test expression::condition::tests::bitand ... ok
[INFO] [stdout] test expression::condition::tests::comparison_i_same_state_function_simplify ... ok
[INFO] [stdout] test expression::condition::tests::comparison_op_eval ... ok
[INFO] [stdout] test expression::condition::tests::comparison_i_simplify ... ok
[INFO] [stdout] test expression::condition::tests::constant_eval ... ok
[INFO] [stdout] test expression::condition::tests::contains ... ok
[INFO] [stdout] test expression::condition::tests::comparison_c_different_state_functions_simplify ... ok
[INFO] [stdout] test expression::condition::tests::constant_simplify ... ok
[INFO] [stdout] test expression::condition::tests::is_subset ... ok
[INFO] [stdout] test expression::condition::tests::not ... ok
[INFO] [stdout] test expression::condition::tests::is_empty ... ok
[INFO] [stdout] test expression::condition::tests::not_simplify ... ok
[INFO] [stdout] test expression::condition::tests::or_eval ... ok
[INFO] [stdout] test expression::condition::tests::or_simplify ... ok
[INFO] [stdout] test expression::condition::tests::default ... ok
[INFO] [stdout] test expression::condition::tests::set_eval ... ok
[INFO] [stdout] test expression::condition::tests::comparison_i ... ok
[INFO] [stdout] test expression::condition::tests::state_function_eval ... ok
[INFO] [stdout] test expression::condition::tests::not_eval ... ok
[INFO] [stdout] test expression::condition::tests::set_is_equal ... ok
[INFO] [stdout] test expression::condition::tests::table_eval ... ok
[INFO] [stdout] test expression::condition::tests::set_is_not_equal ... 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::binary_operation_eval ... ok
[INFO] [stdout] test expression::continuous_expression::tests::binary_operation_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::add ... ok
[INFO] [stdout] test expression::continuous_expression::tests::cardinality_eval ... ok
[INFO] [stdout] test expression::continuous_expression::tests::constant_eval ... ok
[INFO] [stdout] test expression::condition::tests::table_element ... ok
[INFO] [stdout] test expression::continuous_expression::tests::at_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::cardinality_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::at_eval ... ok
[INFO] [stdout] test expression::continuous_expression::tests::constant_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::ceil ... 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::continuous_unary_operation_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::cost_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::default ... ok
[INFO] [stdout] test expression::continuous_expression::tests::eval_cost ... ok
[INFO] [stdout] test expression::continuous_expression::tests::floor ... 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_eval ... 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::if_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::if_then_else ... ok
[INFO] [stdout] test expression::continuous_expression::tests::last_eval ... ok
[INFO] [stdout] test expression::continuous_expression::tests::last_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::length_eval ... 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::min ... ok
[INFO] [stdout] test expression::continuous_expression::tests::mul ... ok
[INFO] [stdout] test expression::continuous_expression::tests::neg ... ok
[INFO] [stdout] test expression::continuous_expression::tests::pow ... 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::rem ... ok
[INFO] [stdout] test expression::continuous_expression::tests::resource_variable_eval ... ok
[INFO] [stdout] test expression::continuous_expression::tests::resource_variable_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::round ... ok
[INFO] [stdout] test expression::continuous_expression::tests::round_eval ... ok
[INFO] [stdout] test expression::continuous_expression::tests::round_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::set_len ... ok
[INFO] [stdout] test expression::continuous_expression::tests::sqrt ... ok
[INFO] [stdout] test expression::continuous_expression::tests::state_function_eval ... ok
[INFO] [stdout] test expression::continuous_expression::tests::sub ... ok
[INFO] [stdout] test expression::continuous_expression::tests::table_eval ... ok
[INFO] [stdout] test expression::continuous_expression::tests::table_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::table_element ... ok
[INFO] [stdout] test expression::continuous_expression::tests::trunc ... ok
[INFO] [stdout] test expression::continuous_expression::tests::variable_eval ... ok
[INFO] [stdout] test expression::continuous_expression::tests::variable_simplify ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::binary_operation_x_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::binary_operation_x_simplify ... ok
[INFO] [stdout] test expression::continuous_expression::tests::unary_operation_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::binary_operation_y_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::binary_operation_y_simplify ... 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_expression::tests::unary_operation_simplify ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::continuous_binary_operation_x_simplify ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::continuous_binary_operation_y_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::constant_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_simplify ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::if_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::set_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::set_simplify ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::push_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::table_simplify ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::pop_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::unary_operation_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::table_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::unary_operation_simplify ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::vector_operation_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::vector_operation_simplify ... ok
[INFO] [stdout] test expression::element_expression::tests::element_add ... ok
[INFO] [stdout] test expression::element_expression::tests::element_at_simplify ... ok
[INFO] [stdout] test expression::element_expression::tests::element_at_eval ... ok
[INFO] [stdout] test expression::continuous_vector_expression::tests::push_simplify ... 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_constant_eval ... ok
[INFO] [stdout] test expression::element_expression::tests::element_from ... ok
[INFO] [stdout] test expression::element_expression::tests::element_if_simplify ... ok
[INFO] [stdout] test expression::element_expression::tests::element_if_then_else ... ok
[INFO] [stdout] test expression::element_expression::tests::element_if_eval ... ok
[INFO] [stdout] test expression::element_expression::tests::element_last_eval ... ok
[INFO] [stdout] test expression::element_expression::tests::element_last_simplify ... ok
[INFO] [stdout] test expression::element_expression::tests::element_max ... ok
[INFO] [stdout] test expression::element_expression::tests::element_min ... ok
[INFO] [stdout] test expression::element_expression::tests::element_numeric_operation_eval ... ok
[INFO] [stdout] test expression::element_expression::tests::element_numeric_operation_simplify ... ok
[INFO] [stdout] test expression::element_expression::tests::element_mul ... 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_state_function_eval ... ok
[INFO] [stdout] test expression::element_expression::tests::element_sub ... ok
[INFO] [stdout] test expression::element_expression::tests::element_resource_variable_simplify ... ok
[INFO] [stdout] test expression::element_expression::tests::element_table_element ... ok
[INFO] [stdout] test expression::element_expression::tests::element_table_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::integer_expression::tests::abs ... ok
[INFO] [stdout] test expression::integer_expression::tests::add ... ok
[INFO] [stdout] test expression::integer_expression::tests::at_eval ... ok
[INFO] [stdout] test expression::integer_expression::tests::at_simplify ... ok
[INFO] [stdout] test expression::integer_expression::tests::binary_operation_eval ... 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_eval ... ok
[INFO] [stdout] test expression::integer_expression::tests::cost_simplify ... ok
[INFO] [stdout] test expression::integer_expression::tests::default ... ok
[INFO] [stdout] test expression::integer_expression::tests::constant_simplify ... ok
[INFO] [stdout] test expression::integer_expression::tests::div ... ok
[INFO] [stdout] test expression::integer_expression::tests::eval_cost ... 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::from_continuous_eval ... 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::if_simplify ... ok
[INFO] [stdout] test expression::integer_expression::tests::if_then_else ... ok
[INFO] [stdout] test expression::integer_expression::tests::last_eval ... ok
[INFO] [stdout] test expression::integer_expression::tests::last_simplify ... ok
[INFO] [stdout] test expression::integer_expression::tests::length_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::neg ... ok
[INFO] [stdout] test expression::integer_expression::tests::reduce_eval ... 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::resource_variable_simplify ... ok
[INFO] [stdout] test expression::integer_expression::tests::set_len ... ok
[INFO] [stdout] test expression::integer_expression::tests::state_function_eval ... ok
[INFO] [stdout] test expression::integer_expression::tests::sub ... ok
[INFO] [stdout] test expression::integer_expression::tests::table_element ... ok
[INFO] [stdout] test expression::integer_expression::tests::table_eval ... ok
[INFO] [stdout] test expression::integer_expression::tests::table_simplify ... ok
[INFO] [stdout] test expression::integer_expression::tests::unary_operation_eval ... 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::variable_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::binary_operation_y_simplify ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::constant_eval ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::constant_simplify ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::from_continuous_eval ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::from_continuous_simplify ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::if_eval ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::if_simplify ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::pop_eval ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::pop_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::reverse_eval ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::reverse_simplify ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::set_eval ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::set_simplify ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::table_eval ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::table_simplify ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::unary_operation_eval ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::unary_operation_simplify ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::vector_operation_eval ... ok
[INFO] [stdout] test expression::integer_vector_expression::tests::vector_operation_simplify ... ok
[INFO] [stdout] test expression::numeric_operator::tests::abs ... ok
[INFO] [stdout] test expression::numeric_operator::tests::abs_vector ... ok
[INFO] [stdout] test expression::numeric_operator::tests::add ... 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 ... ok
[INFO] [stdout] test expression::numeric_operator::tests::floor_vector ... 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_vector_in_y ... ok
[INFO] [stdout] test expression::numeric_operator::tests::log_x ... ok
[INFO] [stdout] test expression::numeric_operator::tests::log_y ... ok
[INFO] [stdout] test expression::numeric_operator::tests::max ... 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_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 ... ok
[INFO] [stdout] test expression::numeric_operator::tests::mul_vector_in_x ... ok
[INFO] [stdout] test expression::numeric_operator::tests::mul_vector_in_y ... ok
[INFO] [stdout] test expression::numeric_operator::tests::mul_y ... ok
[INFO] [stdout] test expression::numeric_operator::tests::neg ... ok
[INFO] [stdout] test expression::numeric_operator::tests::neg_vector ... ok
[INFO] [stdout] test expression::numeric_operator::tests::mul_x ... ok
[INFO] [stdout] test expression::numeric_operator::tests::pow ... 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_x ... ok
[INFO] [stdout] test expression::numeric_operator::tests::pow_y ... ok
[INFO] [stdout] test expression::numeric_operator::tests::reduce_iter_max ... ok
[INFO] [stdout] test expression::numeric_operator::tests::reduce_iter_min ... 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_sum ... ok
[INFO] [stdout] test expression::numeric_operator::tests::rem ... 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::rem_x ... ok
[INFO] [stdout] test expression::numeric_operator::tests::rem_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::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::sub_vector_in_y ... ok
[INFO] [stdout] test expression::numeric_operator::tests::sub_x ... ok
[INFO] [stdout] test expression::numeric_operator::tests::sub_y ... 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::constant_eval ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::constant_simplify ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_1d_eval ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_1d_set_state_function_reduce_eval ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_1d_simplify ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_1d_sum_eval ... 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_1d_vector_sum_simplify ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_element_set_state_function_reduce_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_set_reference_set_state_function_reduce_eval ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_set_state_function_element_reduce_x_eval ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_set_state_function_set_reference_reduce_eval ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_2d_set_state_function_set_state_function_reduce_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_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_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_sum_y_simplify ... 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_eval ... 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_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_x_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_2d_vector_sum_y_simplify ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_3d_simplify ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_3d_sum_eval ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_3d_sum_simplify ... 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::numeric_table_expression::tests::table_sum_eval ... ok
[INFO] [stdout] test expression::numeric_table_expression::tests::table_sum_simplify ... ok
[INFO] [stdout] test expression::reference_expression::tests::constant_eval ... ok
[INFO] [stdout] test expression::continuous_expression::tests::eval_cost_panic - should panic ... ok
[INFO] [stdout] test expression::reference_expression::tests::constant_simplify ... ok
[INFO] [stdout] test expression::reference_expression::tests::table_eval ... ok
[INFO] [stdout] test expression::integer_expression::tests::eval_cost_panic - should panic ... 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_eval ... 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::is_empty_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_empty_state_function_eval ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_different_state_function_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_eval ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_expression_state_function_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_expression_state_function_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_reference_state_function_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_reference_state_function_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_same_state_function_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_state_function_expression_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_state_function_expression_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_state_function_reference_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_state_function_reference_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_state_function_state_function_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_equal_state_function_state_function_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_in_eval ... ok
[INFO] [stdout] test expression::set_condition::tests::is_in_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_different_state_function_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_eval ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_expression_state_function_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_expression_state_function_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_reference_state_function_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_in_state_function_eval ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_reference_state_function_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_same_state_function_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_state_function_expression_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_state_function_expression_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_state_function_reference_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_state_function_reference_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_state_function_state_function_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_not_equal_state_function_state_function_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_different_state_function_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_eval ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_expression_state_function_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_expression_state_function_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_reference_state_function_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_reference_state_function_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_same_state_function_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_simplify ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_state_function_expression_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_state_function_reference_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_state_function_expression_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_state_function_reference_eval_true ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_state_function_state_function_eval_false ... ok
[INFO] [stdout] test expression::set_condition::tests::is_subset_state_function_state_function_eval_true ... ok
[INFO] [stdout] test expression::set_expression::tests::set_add ... 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_bitor ... ok
[INFO] [stdout] test expression::set_expression::tests::set_complement_eval ... ok
[INFO] [stdout] test expression::set_expression::tests::set_complement_simplify ... ok
[INFO] [stdout] test expression::set_expression::tests::set_default ... ok
[INFO] [stdout] test expression::set_expression::tests::set_difference_simplify ... ok
[INFO] [stdout] test expression::set_expression::tests::set_difference_state_variable_y_eval ... ok
[INFO] [stdout] test expression::set_expression::tests::set_from ... ok
[INFO] [stdout] test expression::set_expression::tests::set_difference_eval ... ok
[INFO] [stdout] test expression::set_expression::tests::set_from_vector_eval ... ok
[INFO] [stdout] test expression::set_expression::tests::set_from_vector_simplify ... 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_intersect_state_variable_x_eval ... ok
[INFO] [stdout] test expression::set_expression::tests::set_intersect_state_variable_y_eval ... ok
[INFO] [stdout] test expression::set_expression::tests::set_not ... ok
[INFO] [stdout] test expression::set_expression::tests::set_reduce_constant_simplify ... ok
[INFO] [stdout] test expression::set_expression::tests::set_reduce_eval ... ok
[INFO] [stdout] test expression::set_expression::tests::set_reduce_simplify ... 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_remove_eval ... ok
[INFO] [stdout] test expression::set_expression::tests::set_remove_simplify ... ok
[INFO] [stdout] test expression::set_expression::tests::set_state_function_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_table_1d_intersection ... ok
[INFO] [stdout] test expression::set_expression::tests::set_table_1d_symmetric_difference ... ok
[INFO] [stdout] test expression::set_expression::tests::set_table_1d_union ... ok
[INFO] [stdout] test expression::set_expression::tests::set_table_2d_element ... 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_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_intersection ... ok
[INFO] [stdout] test expression::set_expression::tests::set_table_3d_symmetric_difference ... ok
[INFO] [stdout] test expression::set_expression::tests::set_table_3d_union ... ok
[INFO] [stdout] test expression::set_expression::tests::set_table_element ... ok
[INFO] [stdout] test expression::set_expression::tests::set_table_intersection ... ok
[INFO] [stdout] test expression::set_expression::tests::set_table_symmetric_difference ... ok
[INFO] [stdout] test expression::set_expression::tests::set_table_union ... 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_expression::tests::set_union_state_variable_x_eval ... ok
[INFO] [stdout] test expression::set_expression::tests::set_union_state_variable_y_eval ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::constant_eval ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::constant_simplify ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::empty_eval ... 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::table_1d_element_constant_simplify ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_element_eval ... 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_set_reference_eval ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_set_state_function_eval ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_simplify ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::table_1d_vector_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_1d_vector_reference_eval ... 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_element_set_constant_simplify ... 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_set_state_function_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_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_set_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_reference_set_eval ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_reference_set_state_function_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_reference_vector_reference_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_set_state_function_element_eval ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_state_function_set_reference_eval ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::table_2d_set_state_function_set_state_function_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_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_element_constant_simplify ... 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_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_reference_eval ... 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_2d_vector_reference_set_reference_eval ... 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_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_vector_reference_eval ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::table_3d_constant_simplify ... ok
[INFO] [stdout] test expression::set_reduce_expression::tests::table_3d_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_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::table_expression::tests::table_2d_simplify ... 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_eval ... 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_vector_expression::test::vector_table_1d_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_eval ... 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_eval ... 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_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_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_3d_sum_simplify ... ok
[INFO] [stdout] test expression::table_vector_expression::test::vector_table_eval ... ok
[INFO] [stdout] test expression::table_vector_expression::test::vector_table_simplify ... ok
[INFO] [stdout] test expression::table_vector_expression::test::vector_table_sum_eval ... ok
[INFO] [stdout] test expression::table_vector_expression::test::vector_table_sum_simplify ... ok
[INFO] [stdout] test expression::util::tests::test_expand_vector_with_set ... 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_if_eval ... ok
[INFO] [stdout] test expression::vector_expression::tests::vector_if_simplify ... ok
[INFO] [stdout] test expression::vector_expression::tests::vector_indices_eval ... ok
[INFO] [stdout] test expression::vector_expression::tests::vector_indices_simplify ... ok
[INFO] [stdout] test expression::vector_expression::tests::vector_pop_eval ... ok
[INFO] [stdout] test expression::vector_expression::tests::vector_pop_simplify ... ok
[INFO] [stdout] test expression::vector_expression::tests::vector_push_eval ... 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::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_parameters_b ... 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_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 ... 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_true ... ok
[INFO] [stdout] test grounded_condition::tests::is_satisfied_condition ... 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 state::tests::add_continuous_resource_variable_err ... ok
[INFO] [stdout] test state::tests::add_continuous_resource_variable_ok ... ok
[INFO] [stdout] test state::tests::add_continuous_variable_err ... 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_element_variable_ok ... 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_integer_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::apply_effect ... ok
[INFO] [stdout] test state::tests::continuous_resource_variable_preference_err ... ok
[INFO] [stdout] test state::tests::check_state_ok ... ok
[INFO] [stdout] test state::tests::create_set_ok ... ok
[INFO] [stdout] test state::tests::create_set_err ... ok
[INFO] [stdout] test state::tests::dominance ... ok
[INFO] [stdout] test state::tests::continuous_resource_variable_preference_ok ... 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::get_object_type_of_element_resource_variable_err ... ok
[INFO] [stdout] test state::tests::get_name_set ... 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_object_type_of_set_variable_err ... ok
[INFO] [stdout] test state::tests::get_object_type_of_vector_variable_err ... ok
[INFO] [stdout] test state::tests::get_object_type_of_set_variable_ok ... ok
[INFO] [stdout] test state::tests::has_resource_variable ... ok
[INFO] [stdout] test state::tests::get_object_type_of_vector_variable_ok ... ok
[INFO] [stdout] test state::tests::integer_resource_variable_preference_err ... ok
[INFO] [stdout] test state::tests::is_satisfied ... ok
[INFO] [stdout] test state::tests::number_of_continuous_resource_variables ... ok
[INFO] [stdout] test state::tests::integer_resource_variable_preference_ok ... ok
[INFO] [stdout] test state::tests::number_of_continuous_variables ... ok
[INFO] [stdout] test state::tests::number_of_integer_resource_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_set_variables ... ok
[INFO] [stdout] test state::tests::state_get_continuous_resource_variable ... ok
[INFO] [stdout] test state::tests::state_get_continuous_variable ... ok
[INFO] [stdout] test state::tests::number_of_object_ok ... ok
[INFO] [stdout] test state::tests::number_of_objects ... ok
[INFO] [stdout] test state::tests::state_get_element_resource_variable ... ok
[INFO] [stdout] test state::tests::number_of_vector_variables ... 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_resource_variables ... ok
[INFO] [stdout] test state::tests::state_get_number_of_continuous_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 state_functions::tests::test_add_and_get_boolean_function ... ok
[INFO] [stdout] test state_functions::tests::test_add_and_get_continuous_function ... ok
[INFO] [stdout] test state_functions::tests::test_add_and_get_integer_function_ok ... ok
[INFO] [stdout] test state_functions::tests::test_add_and_get_set_function ... ok
[INFO] [stdout] test state_functions::tests::test_clear ... ok
[INFO] [stdout] test state_functions::tests::test_get_boolean_value ... ok
[INFO] [stdout] test state_functions::tests::test_get_continuous_value ... ok
[INFO] [stdout] test state_functions::tests::test_get_element_value ... ok
[INFO] [stdout] test state_functions::tests::test_get_integer_value ... ok
[INFO] [stdout] test state::tests::state_get_element_variable_panic - should panic ... ok
[INFO] [stdout] test state::tests::state_get_integer_resource_variable_panic - should panic ... ok
[INFO] [stdout] test state_functions::tests::test_get_name_set ... ok
[INFO] [stdout] test state_functions::tests::test_get_set_value ... ok
[INFO] [stdout] test state_functions::tests::test_get_set_value_pairs ... ok
[INFO] [stdout] test state::tests::state_get_integer_variable_panic - should panic ... ok
[INFO] [stdout] test state::tests::state_get_set_variable_panic - should panic ... ok
[INFO] [stdout] test state_functions::tests::test_get_set_value_pairs_panic1 - should panic ... ok
[INFO] [stdout] test state_functions::tests::test_set_boolean_value ... ok
[INFO] [stdout] test state_functions::tests::test_get_boolean_value_panic - should panic ... ok
[INFO] [stdout] test state_functions::tests::test_set_continuous_value ... ok
[INFO] [stdout] test state_functions::tests::test_get_continuous_value_panic - should panic ... ok
[INFO] [stdout] test state_functions::tests::test_set_element_value ... ok
[INFO] [stdout] test state_functions::tests::test_set_continuous_value_panic - should panic ... ok
[INFO] [stdout] test state_functions::tests::test_set_integer_value ... ok
[INFO] [stdout] test state_functions::tests::test_set_element_value_panic - should panic ... ok
[INFO] [stdout] test state::tests::dominance_continuous_length_panic - should panic ... ok
[INFO] [stdout] test state_functions::tests::test_set_set_value ... ok
[INFO] [stdout] test state::tests::dominance_element_length_panic - should panic ... ok
[INFO] [stdout] test state::tests::dominance_integer_length_panic - should panic ... ok
[INFO] [stdout] test state::tests::state_get_continuous_resource_variable_panic - should panic ... ok
[INFO] [stdout] test state_functions::tests::tet_add_and_get_element_function ... ok
[INFO] [stdout] test table::tests::table_1d_eval ... ok
[INFO] [stdout] test table::tests::table_1d_capacity_of_set ... ok
[INFO] [stdout] test state::tests::state_get_continuous_variable_panic - should panic ... ok
[INFO] [stdout] test table::tests::table_1d_get ... ok
[INFO] [stdout] test table::tests::table_1d_relative_eq ... ok
[INFO] [stdout] test state::tests::state_get_element_resource_variable_panic - should panic ... 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 state_functions::tests::test_get_set_value_pairs_panic2 - should panic ... ok
[INFO] [stdout] test state::tests::chech_state_err ... ok
[INFO] [stdout] test table::tests::table_2d_set ... ok
[INFO] [stdout] test state::tests::state_get_vector_variable_panic - should panic ... ok
[INFO] [stdout] test table::tests::table_2d_shape ... ok
[INFO] [stdout] test table::tests::table_2d_update ... ok
[INFO] [stdout] test state_functions::tests::test_get_set_value_panic - should panic ... ok
[INFO] [stdout] test table::tests::table_3d_capacity_of_set ... ok
[INFO] [stdout] test state_functions::tests::test_set_boolean_value_panic - should panic ... ok
[INFO] [stdout] test state_functions::tests::test_get_element_value_panic - should panic ... ok
[INFO] [stdout] test table::tests::table_3d_eval ... ok
[INFO] [stdout] test state_functions::tests::test_get_integer_value_panic - should panic ... ok
[INFO] [stdout] test state_functions::tests::test_set_integer_value_panic - should panic ... ok
[INFO] [stdout] test table::tests::table_3d_get ... ok
[INFO] [stdout] test state_functions::tests::test_set_set_value_panic - should panic ... 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_1d_ok ... ok
[INFO] [stdout] test table_registry::tests::add_table_2d_err ... 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_with_table1d_err ... ok
[INFO] [stdout] test tests::add_backward_forced_transition_ok ... ok
[INFO] [stdout] test tests::add_backward_forced_transition_with_table1d_ok ... ok
[INFO] [stdout] test tests::add_backward_forced_transition_err ... 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_with_table1d_err ... ok
[INFO] [stdout] test tests::add_backward_transition_ok ... ok
[INFO] [stdout] test tests::add_backward_transition_with_table1d_ok ... ok
[INFO] [stdout] test tests::add_backward_transition_err ... ok
[INFO] [stdout] test tests::add_backward_transition_with_table2d_err ... ok
[INFO] [stdout] test tests::add_backward_transition_with_table3d_err ... ok
[INFO] [stdout] test tests::add_backward_transition_with_table2d_ok ... 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 tests::add_base_state_with_cost_ok ... ok
[INFO] [stdout] test tests::add_boolean_state_function_expression_err ... ok
[INFO] [stdout] test tests::add_constraint_err ... ok
[INFO] [stdout] test tests::add_constraint_ok ... ok
[INFO] [stdout] test tests::add_continuous_state_function_expression_err ... ok
[INFO] [stdout] test tests::add_dual_bound_err ... ok
[INFO] [stdout] test tests::add_dual_bound_ok ... ok
[INFO] [stdout] test tests::add_element_state_function_expression_err ... ok
[INFO] [stdout] test tests::add_forward_forced_transition_err ... ok
[INFO] [stdout] test tests::add_forward_forced_transition_with_table1d_err ... ok
[INFO] [stdout] test tests::add_forward_forced_transition_ok ... ok
[INFO] [stdout] test tests::add_forward_forced_transition_with_table1d_ok ... 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_integer_state_function_expression_err ... ok
[INFO] [stdout] test tests::add_set_state_function_expression_err ... 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::add_transition_dominance_dominated_forced_err ... ok
[INFO] [stdout] test tests::add_transition_dominance_dominating_forced_err ... ok
[INFO] [stdout] test tests::add_transition_dominance_forward_backward_err ... ok
[INFO] [stdout] test tests::add_base_state_err ... ok
[INFO] [stdout] test tests::add_transition_dominance_not_exist_err ... ok
[INFO] [stdout] test tests::add_transition_dominance_ok ... ok
[INFO] [stdout] test tests::add_base_state_with_cost_err_state ... ok
[INFO] [stdout] test tests::add_transition_dominance_same_id_err ... ok
[INFO] [stdout] test tests::add_transition_dominance_with_conditions_condition_err ... ok
[INFO] [stdout] test tests::add_transition_dominance_with_conditions_dominated_forced_err ... ok
[INFO] [stdout] test tests::add_transition_dominance_with_conditions_dominating_forced_err ... ok
[INFO] [stdout] test tests::add_transition_dominance_with_conditions_forward_backward_err ... ok
[INFO] [stdout] test tests::add_transition_dominance_with_conditions_not_exist_err ... ok
[INFO] [stdout] test tests::add_transition_dominance_with_conditions_ok ... ok
[INFO] [stdout] test tests::add_transition_dominance_with_conditions_same_id_err ... 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_ok ... ok
[INFO] [stdout] test tests::check_condition_err ... ok
[INFO] [stdout] test tests::check_constraints_false ... ok
[INFO] [stdout] test tests::check_constraints_true ... 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_err ... ok
[INFO] [stdout] test tests::check_element_expression_ok ... 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_err ... ok
[INFO] [stdout] test tests::check_integer_table_expression_ok ... 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_err ... ok
[INFO] [stdout] test tests::check_integer_vector_expression_ok ... 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_err ... ok
[INFO] [stdout] test tests::check_state_ok ... ok
[INFO] [stdout] test tests::check_vector_expression_err ... ok
[INFO] [stdout] test tests::check_vector_expression_ok ... ok
[INFO] [stdout] test tests::check_vector_or_element_expression_err ... 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 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_err ... ok
[INFO] [stdout] test tests::continuous_variable_ok ... 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_err ... ok
[INFO] [stdout] test tests::element_variable_ok ... ok
[INFO] [stdout] test tests::eval_base_cost_max_none ... ok
[INFO] [stdout] test tests::eval_base_cost_max_some ... ok
[INFO] [stdout] test tests::eval_base_cost_min_none ... ok
[INFO] [stdout] test tests::eval_base_cost_min_some ... ok
[INFO] [stdout] test tests::eval_base_cost_product ... ok
[INFO] [stdout] test tests::eval_base_cost_product_none ... ok
[INFO] [stdout] test tests::eval_base_cost_sum ... ok
[INFO] [stdout] test tests::eval_base_cost_sum_none ... ok
[INFO] [stdout] test tests::eval_base_cost_zero ... ok
[INFO] [stdout] test tests::eval_dual_bound_max ... ok
[INFO] [stdout] test tests::eval_dual_bound_min ... ok
[INFO] [stdout] test tests::eval_dual_bound_none_max ... ok
[INFO] [stdout] test tests::eval_dual_bound_none_min ... ok
[INFO] [stdout] test tests::eval_dual_bound_product ... ok
[INFO] [stdout] test tests::eval_dual_bound_sum ... ok
[INFO] [stdout] test tests::generate_successor_state_pruned_by_constraint ... ok
[INFO] [stdout] test tests::generate_successor_state_pruned_by_lower_bound ... ok
[INFO] [stdout] test tests::generate_successor_state_pruned_by_upper_bound ... ok
[INFO] [stdout] test tests::generate_successor_state_with_lower_bound ... ok
[INFO] [stdout] test tests::generate_successor_state_with_no_cost_bound ... ok
[INFO] [stdout] test tests::generate_successor_state_with_upper_bound ... ok
[INFO] [stdout] test tests::get_backward_forced_transition_err ... ok
[INFO] [stdout] test tests::get_backward_forced_transition_ok ... ok
[INFO] [stdout] test tests::get_backward_transition_err ... ok
[INFO] [stdout] test tests::get_backward_transition_ok ... ok
[INFO] [stdout] test tests::get_capacity_of_set_in_1d_table_err ... 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 tests::get_capacity_of_set_in_table_err ... ok
[INFO] [stdout] test tests::get_capacity_of_set_in_table_ok ... ok
[INFO] [stdout] test tests::get_forward_forced_transition_err ... ok
[INFO] [stdout] test tests::get_forward_forced_transition_ok ... ok
[INFO] [stdout] test tests::get_forward_transition_err ... ok
[INFO] [stdout] test tests::get_forward_transition_ok ... ok
[INFO] [stdout] test tests::has_dual_bounds ... ok
[INFO] [stdout] test tests::has_resource_variables ... ok
[INFO] [stdout] test tests::integer_cost_model ... ok
[INFO] [stdout] test tests::integer_resource_variable_err ... ok
[INFO] [stdout] test tests::integer_resource_variable_ok ... ok
[INFO] [stdout] test tests::integer_variable_err ... ok
[INFO] [stdout] test tests::integer_variable_ok ... ok
[INFO] [stdout] test tests::is_base_case ... ok
[INFO] [stdout] test tests::is_base_state ... ok
[INFO] [stdout] test tests::is_transition_dominated_backward_err ... ok
[INFO] [stdout] test tests::is_not_base_case ... ok
[INFO] [stdout] test tests::is_transition_dominated_backward_forced_forced_ok ... ok
[INFO] [stdout] test tests::is_transition_dominated_backward_forced_ok ... ok
[INFO] [stdout] test tests::is_transition_dominated_forward_err ... ok
[INFO] [stdout] test tests::is_transition_dominated_backward_ok ... ok
[INFO] [stdout] test tests::is_transition_dominated_forward_forced_forced_ok ... ok
[INFO] [stdout] test tests::is_transition_dominated_forward_forced_ok ... ok
[INFO] [stdout] test tests::is_transition_dominated_forward_ok ... ok
[INFO] [stdout] test tests::object_err ... ok
[INFO] [stdout] test tests::object_ok ... ok
[INFO] [stdout] test tests::reduce_functin_default ... ok
[INFO] [stdout] test tests::reduce_function ... ok
[INFO] [stdout] test tests::set_variable_err ... ok
[INFO] [stdout] test tests::set_variable_ok ... ok
[INFO] [stdout] test tests::test_add_boolean_state_function ... ok
[INFO] [stdout] test tests::test_add_continuous_state_function ... ok
[INFO] [stdout] test tests::test_add_element_state_function ... ok
[INFO] [stdout] test tests::test_add_integer_state_function ... ok
[INFO] [stdout] test tests::test_set_state_function ... ok
[INFO] [stdout] test tests::validate_forward_applicable_false ... ok
[INFO] [stdout] test tests::validate_forward_base_case_false ... ok
[INFO] [stdout] test tests::validate_forward_base_false ... 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 tests::validate_forward_true_base_cost ... ok
[INFO] [stdout] test tests::vector_variable_err ... ok
[INFO] [stdout] test tests::vector_variable_ok ... ok
[INFO] [stdout] test transition::tests::add_continuous_effect_err ... ok
[INFO] [stdout] test transition::tests::add_continuous_effect_ok ... 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 transition::tests::add_element_effect_ok ... 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_effect_ok ... ok
[INFO] [stdout] test transition::tests::add_integer_resource_effect_err ... ok
[INFO] [stdout] test transition::tests::add_integer_resource_effect_ok ... ok
[INFO] [stdout] test transition::tests::add_precondition ... ok
[INFO] [stdout] test transition::tests::add_set_effect_err ... 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_default ... ok
[INFO] [stdout] test transition::tests::cost_expression_eval ... 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_from_continuous_expression ... ok
[INFO] [stdout] test transition::tests::cost_expression_from_continuous_resource_variable ... 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::eval_cost ... ok
[INFO] [stdout] test transition::tests::get_full_name ... 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 util::tests::test_add_name ... ok
[INFO] [stdout] test util::tests::test_get_id ... ok
[INFO] [stdout] test variable_type::tests::bool_to_variable_string ... ok
[INFO] [stdout] test variable_type::tests::element_to_variable_string ... ok
[INFO] [stdout] test variable_type::tests::float_to_variable_string ... ok
[INFO] [stdout] test variable_type::tests::integer_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] 
[INFO] [stdout] test result: ok. 1017 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.19s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests dypdl
[INFO] [stdout] 
[INFO] [stdout] running 246 tests
[INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::comparison_c (line 285) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::comparison_e (line 219) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::SetExpression::is_equal (line 349) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::IfThenElse (line 85) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::SetExpression::is_subset (line 413) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::comparison_i (line 253) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::eval (line 786) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::SetVariable::is_empty (line 599) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::SetVariable::contains (line 472) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::SetVariable::is_equal (line 503) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::SetExpression::contains (line 318) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::SetExpression::is_not_equal (line 381) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::SetExpression::is_empty (line 445) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::bitor (line 191) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::not (line 132) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::Condition::bitand (line 161) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::Table1DHandle<bool>::element (line 626) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::SetVariable::is_subset (line 567) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::Table3DHandle<bool>::element (line 698) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::add (line 330) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::Table2DHandle<bool>::element (line 660) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::eval_cost (line 2076) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::TableHandle<bool>::element (line 742) ... ok
[INFO] [stdout] test src/expression/condition.rs - expression::condition::SetVariable::is_not_equal (line 535) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::abs (line 140) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::ceil (line 218) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::eval (line 2040) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::min (line 512) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::log (line 574) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::max (line 485) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::floor (line 192) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::div (line 423) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::pow (line 543) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::mul (line 392) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::rem (line 454) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::neg (line 300) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::sqrt (line 166) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle<Continuous>::min (line 809) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::sub (line 361) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::trunc (line 270) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle<Continuous>::element (line 669) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle<Continuous>::sum (line 701) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::ContinuousExpression::round (line 244) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::SetExpression::len_continuous (line 607) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::max (line 1193) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::max_x (line 1115) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::min_x (line 1231) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::element (line 847) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::SetVariable::len_continuous (line 638) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle<Continuous>::product (line 737) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table1DHandle<Continuous>::max (line 773) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::product_x (line 999) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table3DHandle<Continuous>::element (line 1349) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::max_y (line 1154) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::min (line 1309) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::sum (line 961) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::sum_x (line 883) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table3DHandle<Continuous>::max (line 1504) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::product (line 1077) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::product_y (line 1038) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::sum_y (line 922) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table2DHandle<Continuous>::min_y (line 1270) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::TableHandle<Continuous>::sum (line 1655) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::TableHandle<Continuous>::product (line 1701) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table3DHandle<Continuous>::min (line 1559) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table3DHandle<Continuous>::sum (line 1393) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::TableHandle<Continuous>::min (line 1793) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::Table3DHandle<Continuous>::product (line 1448) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::add (line 80) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::TableHandle<Continuous>::max (line 1747) ... ok
[INFO] [stdout] test src/expression/continuous_expression.rs - expression::continuous_expression::TableHandle<Continuous>::element (line 1616) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::min (line 256) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::max (line 230) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::mul (line 140) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::div (line 170) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::rem (line 200) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::eval (line 540) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::Table1DHandle<Element>::element (line 284) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::Table2DHandle<Element>::element (line 319) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::add (line 159) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::TableHandle<Element>::element (line 398) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::div (line 249) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::eval (line 1793) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::Table3DHandle<Element>::element (line 356) ... ok
[INFO] [stdout] test src/expression/element_expression.rs - expression::element_expression::ElementExpression::sub (line 110) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::eval_cost (line 1828) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::abs (line 101) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::min (line 335) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::floor (line 1676) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::max (line 309) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::sub (line 189) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::mul (line 219) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::round (line 1731) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::neg (line 130) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::SetExpression::len (line 363) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::ceil (line 1703) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::trunc (line 1759) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table1DHandle<Integer>::max (line 526) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::IntegerExpression::rem (line 279) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::SetVariable::len (line 393) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table1DHandle<Integer>::sum (line 456) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table1DHandle<Integer>::min (line 561) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::element (line 598) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table1DHandle<Integer>::product (line 491) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::max (line 933) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table1DHandle<Integer>::element (line 423) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::min_x (line 970) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::min_y (line 1007) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::max_y (line 896) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::product_y (line 784) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table3DHandle<Integer>::element (line 1084) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::max_x (line 859) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::sum_y (line 671) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::min (line 1044) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::sum_x (line 633) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::product_x (line 746) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::product (line 822) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table2DHandle<Integer>::sum (line 709) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::TableHandle<Integer>::element (line 1330) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table3DHandle<Integer>::product (line 1174) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table3DHandle<Integer>::max (line 1225) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table3DHandle<Integer>::min (line 1276) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::Table3DHandle<Integer>::sum (line 1123) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetElementOperation (line 247) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::TableHandle<Integer>::sum (line 1369) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::TableHandle<Integer>::max (line 1461) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetExpression::bitor (line 148) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::TableHandle<Integer>::product (line 1415) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetExpression::bitand (line 216) ... ok
[INFO] [stdout] test src/expression/integer_expression.rs - expression::integer_expression::TableHandle<Integer>::min (line 1507) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table1DHandle<Set>::symmetric_difference (line 397) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetVariable::not (line 116) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table1DHandle<Set>::intersection (line 357) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table2DHandle<Set>::element (line 438) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetExpression::sub (line 182) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetExpression::eval (line 1192) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table1DHandle<Set>::element (line 282) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::SetExpression::not (line 84) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_backward_forced_transition (line 1960) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table2DHandle<Set>::symmetric_difference (line 571) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::TableHandle<Set>::element (line 848) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_backward_transition (line 1925) ... ok
[INFO] [stdout] test src/lib.rs - AccessTarget (line 2595) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table2DHandle<Set>::intersection (line 522) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_base_case_with_cost (line 1727) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table3DHandle<Set>::element (line 624) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_base_case (line 1679) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table3DHandle<Set>::intersection (line 728) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_continuous_variable (line 1217) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_dual_bound (line 2939) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_boolean_state_function (line 1577) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_continuous_resource_variable (line 1274) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_continuous_state_function (line 1515) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table3DHandle<Set>::union (line 669) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table1DHandle<Set>::union (line 317) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_element_resource_variable (line 916) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_element_variable (line 856) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_dual_bound (line 2965) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_forward_forced_transition (line 1890) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_element_state_function (line 1398) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_integer_resource_variable (line 1160) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_object_type (line 757) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table2DHandle<Set>::union (line 473) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_integer_state_function (line 1457) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_forward_transition (line 1855) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_set_variable (line 977) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_set_state_function (line 1334) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_transition_dominance (line 2039) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::TableHandle<Set>::intersection (line 961) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_integer_variable (line 1103) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::TableHandle<Set>::union (line 894) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_transition_dominance_with_conditions (line 2070) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_vector_variable (line 1041) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::Table3DHandle<Set>::symmetric_difference (line 787) ... ok
[INFO] [stdout] test src/lib.rs - Model::create_set (line 811) ... ok
[INFO] [stdout] test src/lib.rs - Model::add_state_constraint (line 1636) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_boolean_state_function (line 1550) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_capacity_of_set_in_2d_table (line 2242) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_capacity_of_set_in_3d_table (line 2273) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_capacity_of_set_in_1d_table (line 2211) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_continuous_resource_variable (line 1248) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_continuous_variable (line 1194) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_continuous_state_function (line 1491) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_capacity_of_set_in_table (line 2304) ... ok
[INFO] [stdout] test src/expression/set_expression.rs - expression::set_expression::TableHandle<Set>::symmetric_difference (line 1028) ... ok
[INFO] [stdout] test src/lib.rs - (line 9) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_element_variable (line 832) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_integer_resource_variable (line 1134) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_element_resource_variable (line 889) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_set_variable (line 952) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_integer_state_function (line 1433) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_element_state_function (line 1373) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_integer_variable (line 1082) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_transition (line 1817) ... ok
[INFO] [stdout] test src/lib.rs - Model::has_dual_bounds (line 689) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_number_of_objects (line 779) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_object_type (line 736) ... ok
[INFO] [stdout] test src/state.rs - state::AccessPreference (line 1590) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_continuous_variable (line 434) ... ok
[INFO] [stdout] test src/state.rs - state::GetObjectTypeOf (line 1552) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_continuous_resource_variable (line 557) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_vector_variable (line 1017) ... ok
[INFO] [stdout] test src/lib.rs - Model::get_set_state_function (line 1308) ... ok
[INFO] [stdout] test src/lib.rs - Model::has_resource_variables (line 671) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_element_resource_variable (line 476) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_integer_resource_variable (line 517) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_element_variable (line 353) ... ok
[INFO] [stdout] test src/lib.rs - Model::eval_dual_bound (line 446) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_integer_variable (line 394) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_number_of_element_variables (line 330) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_number_of_element_resource_variables (line 453) ... ok
[INFO] [stdout] test src/lib.rs - Model::check_constraints (line 291) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_number_of_integer_variables (line 372) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_number_of_integer_resource_variables (line 495) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_set_variable (line 269) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_number_of_continuous_resource_variables (line 535) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_number_of_set_variables (line 245) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_number_of_continuous_variables (line 412) ... ok
[INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_element_resource_variables (line 832) ... ok
[INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_integer_variables (line 798) ... ok
[INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_element_variables (line 780) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_vector_variable (line 312) ... ok
[INFO] [stdout] test src/state.rs - state::State::get_number_of_vector_variables (line 289) ... ok
[INFO] [stdout] test src/state.rs - state::StateMetadata::dominance (line 926) ... ok
[INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_continuous_variables (line 815) ... ok
[INFO] [stdout] test src/lib.rs - Model::eval_base_cost (line 372) ... ok
[INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_integer_resource_variables (line 850) ... ok
[INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_object_types (line 726) ... ok
[INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_vector_variables (line 762) ... ok
[INFO] [stdout] test src/lib.rs - Model::generate_successor_state (line 504) ... ok
[INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_continuous_resource_variables (line 865) ... ok
[INFO] [stdout] test src/table_data.rs - table_data::TableInterface (line 33) ... ok
[INFO] [stdout] test src/transition.rs - transition::Transition::add_precondition (line 473) ... ok
[INFO] [stdout] test src/transition.rs - transition::Transition::set_cost (line 397) ... ok
[INFO] [stdout] test src/state.rs - state::StateMetadata::number_of_set_variables (line 743) ... ok
[INFO] [stdout] test src/transition.rs - transition::Transition::get_full_name (line 365) ... ok
[INFO] [stdout] test src/lib.rs - Model::is_base (line 330) ... ok
[INFO] [stdout] test src/transition.rs - transition::AddEffect (line 524) ... ok
[INFO] [stdout] test src/lib.rs - Model::validate_forward (line 577) ... ok
[INFO] [stdout] test src/lib.rs - Model::is_transition_dominated (line 2107) ... ok
[INFO] [stdout] test src/transition.rs - transition::CostExpression::eval (line 75) ... ok
[INFO] [stdout] test src/transition.rs - transition::Transition::is_applicable (line 234) ... ok
[INFO] [stdout] test src/transition.rs - transition::Transition::eval_cost (line 329) ... ok
[INFO] [stdout] test src/transition.rs - transition::CostExpression::eval_cost (line 116) ... ok
[INFO] [stdout] test src/transition.rs - transition::Transition::apply (line 295) ... ok
[INFO] [stdout] test src/transition.rs - transition::Transition::get_preconditions (line 416) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 246 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 50.35s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "22679655b2163ac78dc20ffbda9fea4513e66ab8f9f1f11b1d379f4eff81dbe8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "22679655b2163ac78dc20ffbda9fea4513e66ab8f9f1f11b1d379f4eff81dbe8", kill_on_drop: false }`
[INFO] [stdout] 22679655b2163ac78dc20ffbda9fea4513e66ab8f9f1f11b1d379f4eff81dbe8