Imperial-MEng/pintos_22
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Tidy up a69b9c808e

Browse Source
This commit is contained in:
Gleb Koval
2024-11-12 21:35:41 +00:00
parent dd979f34c8
commit 8bcd0a467c
2 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/lib/kernel/list.c
View File

@@ -170,7 +170,6 @@ list_insert (struct list_elem *before, struct list_elem *elem)
{ {
ASSERT (is_interior (before) || is_tail (before)); ASSERT (is_interior (before) || is_tail (before));
ASSERT (elem != NULL); ASSERT (elem != NULL);
// Sanity checks to prevent (some) loop lists // Sanity checks to prevent (some) loop lists
ASSERT (before != elem); ASSERT (before != elem);
ASSERT (before->prev != elem); ASSERT (before->prev != elem);

1
src/tests/filesys/base/syn-write.c
View File

@@ -20,6 +20,7 @@ test_main (void)
int fd; int fd;
CHECK (create (file_name, sizeof buf1), "create \"%s\"", file_name); CHECK (create (file_name, sizeof buf1), "create \"%s\"", file_name);
exec_children ("child-syn-wrt", children, CHILD_CNT); exec_children ("child-syn-wrt", children, CHILD_CNT);
wait_children (children, CHILD_CNT); wait_children (children, CHILD_CNT);