diff --git a/plansys2_problem_expert/test/unit/utils_test.cpp b/plansys2_problem_expert/test/unit/utils_test.cpp index 75d4a0cd..2bceec80 100644 --- a/plansys2_problem_expert/test/unit/utils_test.cpp +++ b/plansys2_problem_expert/test/unit/utils_test.cpp @@ -129,6 +129,22 @@ TEST(utils, evaluate_not) ASSERT_EQ( plansys2::evaluate(test_tree, problem_client, predicates, functions, false, true), std::make_tuple(true, false, 0)); + + plansys2_msgs::msg::Tree test_tree2; + parser::pddl::fromString( + test_tree2, "(not (= wp1 wp2))"); + + ASSERT_EQ( + plansys2::evaluate(test_tree2, problem_client, predicates, functions, false, true), + std::make_tuple(true, true, 0)); + + plansys2_msgs::msg::Tree test_tree3; + parser::pddl::fromString( + test_tree3, "(not (= wp1 wp1))"); + + ASSERT_EQ( + plansys2::evaluate(test_tree3, problem_client, predicates, functions, false, true), + std::make_tuple(true, false, 0)); } TEST(utils, evaluate_predicate_use_state)