Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
a-zakir committed Aug 16, 2024
1 parent f50b714 commit f92c9a9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tests/src/solver/expressions/test_expressions.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -406,7 +406,7 @@ BOOST_FIXTURE_TEST_CASE(equality_test_two_addition_nodes, Registry<Node>)

BOOST_CHECK_EQUAL(printVisitor.dispatch(*add1), printVisitor.dispatch(*add1_clone));
BOOST_CHECK_EQUAL(equalityVisitor.dispatch(*add1, *add2), true);
// test depth
// TODO test depth
AddNode random_add(create<LiteralNode>(25.), create<VariableNode>("rand_var"));
BOOST_CHECK_EQUAL(equalityVisitor.dispatch(*add1, random_add), false);
}

0 comments on commit f92c9a9

Please sign in to comment.