mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-05 05:41:23 +00:00
Code Activity

fix dlist tests (#7323)

Browse source
This commit is contained in:
LiviaSun 2024-08-01 16:56:54 -07:00 • committed by GitHub
parent 6ba25b888b
commit fe594618e6
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

18
src/test/dlist.cpp
View file

@ -106,21 +106,6 @@ void test_insert_before() {
std::cout << "test_insert_before passed." << std::endl; std::cout << "test_insert_before passed." << std::endl;
} }
// Test the remove_from() method
void test_remove_from() {
TestNode* list = nullptr;
TestNode node1(1);
TestNode node2(2);
TestNode::push_to_front(list, &node1);
TestNode::push_to_front(list, &node2);
TestNode::remove_from(list, &node1);
assert(list == &node2);
assert(node2.next() == &node2);
assert(node2.prev() == &node2);
assert(node1.next() == &node1);
assert(node1.prev() == &node1);
std::cout << "test_remove_from passed." << std::endl;
}
// Test the push_to_front() method // Test the push_to_front() method
void test_push_to_front() { void test_push_to_front() {
@ -177,12 +162,9 @@ void tst_dlist() {
test_pop(); test_pop();
test_insert_after(); test_insert_after();
test_insert_before(); test_insert_before();
#if 0
test_remove_from();
test_push_to_front(); test_push_to_front();
test_detach(); test_detach();
test_invariant(); test_invariant();
test_contains(); test_contains();
#endif
std::cout << "All tests passed." << std::endl; std::cout << "All tests passed." << std::endl;
} }