From 8bcd0a467c0e53f4963f2db61e50cd3801e9c03f Mon Sep 17 00:00:00 2001 From: Gleb Koval Date: Tue, 12 Nov 2024 21:35:41 +0000 Subject: [PATCH] Tidy up a69b9c808e677240f3184a9962d2086de5e5184c --- src/lib/kernel/list.c | 1 - src/tests/filesys/base/syn-write.c | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/kernel/list.c b/src/lib/kernel/list.c index 83dc95e..f8f7fbb 100644 --- a/src/lib/kernel/list.c +++ b/src/lib/kernel/list.c @@ -170,7 +170,6 @@ list_insert (struct list_elem *before, struct list_elem *elem) { ASSERT (is_interior (before) || is_tail (before)); ASSERT (elem != NULL); - // Sanity checks to prevent (some) loop lists ASSERT (before != elem); ASSERT (before->prev != elem); diff --git a/src/tests/filesys/base/syn-write.c b/src/tests/filesys/base/syn-write.c index 26733c6..1439862 100644 --- a/src/tests/filesys/base/syn-write.c +++ b/src/tests/filesys/base/syn-write.c @@ -20,6 +20,7 @@ test_main (void) int fd; CHECK (create (file_name, sizeof buf1), "create \"%s\"", file_name); + exec_children ("child-syn-wrt", children, CHILD_CNT); wait_children (children, CHILD_CNT);