[cases.test_dirs_root] code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; ''' [cases.test_dirs_many_creation] defines.N = 'range(3, 100, 3)' if = 'N < BLOCK_COUNT/2' code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "dir%03d", i); lfs2_mkdir(&lfs2, path) => 0; } lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "dir%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; ''' [cases.test_dirs_many_removal] defines.N = 'range(3, 100, 11)' if = 'N < BLOCK_COUNT/2' code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs2_mkdir(&lfs2, path) => 0; } lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2); lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs2_remove(&lfs2, path) => 0; } lfs2_unmount(&lfs2); lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_open(&lfs2, &dir, "/") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; ''' [cases.test_dirs_many_rename] defines.N = 'range(3, 100, 11)' if = 'N < BLOCK_COUNT/2' code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "test%03d", i); lfs2_mkdir(&lfs2, path) => 0; } lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "test%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2); lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < N; i++) { char oldpath[128]; char newpath[128]; sprintf(oldpath, "test%03d", i); sprintf(newpath, "tedd%03d", i); lfs2_rename(&lfs2, oldpath, newpath) => 0; } lfs2_unmount(&lfs2); lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_open(&lfs2, &dir, "/") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "tedd%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2); ''' [cases.test_dirs_many_reentrant] defines.N = [5, 11] if = 'BLOCK_COUNT >= 4*N' reentrant = true defines.POWERLOSS_BEHAVIOR = [ 'LFS2_EMUBD_POWERLOSS_NOOP', 'LFS2_EMUBD_POWERLOSS_OOO', ] code = ''' lfs2_t lfs2; int err = lfs2_mount(&lfs2, cfg); if (err) { lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; } for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hi%03d", i); err = lfs2_mkdir(&lfs2, path); assert(err == 0 || err == LFS2_ERR_EXIST); } for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); err = lfs2_remove(&lfs2, path); assert(err == 0 || err == LFS2_ERR_NOENT); } lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; for (int i = 0; i < N; i++) { char oldpath[128]; char newpath[128]; sprintf(oldpath, "hi%03d", i); sprintf(newpath, "hello%03d", i); // YES this can overwrite an existing newpath lfs2_rename(&lfs2, oldpath, newpath) => 0; } lfs2_dir_open(&lfs2, &dir, "/") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); lfs2_remove(&lfs2, path) => 0; } lfs2_dir_open(&lfs2, &dir, "/") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; ''' [cases.test_dirs_file_creation] defines.N = 'range(3, 100, 11)' if = 'N < BLOCK_COUNT/2' code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "file%03d", i); lfs2_file_t file; lfs2_file_open(&lfs2, &file, path, LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0; lfs2_file_close(&lfs2, &file) => 0; } lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "file%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2); ''' [cases.test_dirs_file_removal] defines.N = 'range(3, 100, 11)' if = 'N < BLOCK_COUNT/2' code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs2_file_t file; lfs2_file_open(&lfs2, &file, path, LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0; lfs2_file_close(&lfs2, &file) => 0; } lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2); lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs2_remove(&lfs2, path) => 0; } lfs2_unmount(&lfs2); lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_open(&lfs2, &dir, "/") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; ''' [cases.test_dirs_file_rename] defines.N = 'range(3, 100, 11)' if = 'N < BLOCK_COUNT/2' code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "test%03d", i); lfs2_file_t file; lfs2_file_open(&lfs2, &file, path, LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0; lfs2_file_close(&lfs2, &file) => 0; } lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "test%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2); lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < N; i++) { char oldpath[128]; char newpath[128]; sprintf(oldpath, "test%03d", i); sprintf(newpath, "tedd%03d", i); lfs2_rename(&lfs2, oldpath, newpath) => 0; } lfs2_unmount(&lfs2); lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_open(&lfs2, &dir, "/") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "tedd%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2); ''' [cases.test_dirs_file_reentrant] defines.N = [5, 25] if = 'N < BLOCK_COUNT/2' reentrant = true defines.POWERLOSS_BEHAVIOR = [ 'LFS2_EMUBD_POWERLOSS_NOOP', 'LFS2_EMUBD_POWERLOSS_OOO', ] code = ''' lfs2_t lfs2; int err = lfs2_mount(&lfs2, cfg); if (err) { lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; } for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs2_file_t file; lfs2_file_open(&lfs2, &file, path, LFS2_O_CREAT | LFS2_O_WRONLY) => 0; lfs2_file_close(&lfs2, &file) => 0; } for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); err = lfs2_remove(&lfs2, path); assert(err == 0 || err == LFS2_ERR_NOENT); } lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; for (int i = 0; i < N; i++) { char oldpath[128]; char newpath[128]; sprintf(oldpath, "hi%03d", i); sprintf(newpath, "hello%03d", i); // YES this can overwrite an existing newpath lfs2_rename(&lfs2, oldpath, newpath) => 0; } lfs2_dir_open(&lfs2, &dir, "/") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); lfs2_remove(&lfs2, path) => 0; } lfs2_dir_open(&lfs2, &dir, "/") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; ''' [cases.test_dirs_nested] code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_mkdir(&lfs2, "potato") => 0; lfs2_file_t file; lfs2_file_open(&lfs2, &file, "burito", LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0; lfs2_file_close(&lfs2, &file) => 0; lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_mkdir(&lfs2, "potato/baked") => 0; lfs2_mkdir(&lfs2, "potato/sweet") => 0; lfs2_mkdir(&lfs2, "potato/fried") => 0; lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "potato") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "baked") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "fried") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "sweet") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; // try removing? lfs2_mount(&lfs2, cfg) => 0; lfs2_remove(&lfs2, "potato") => LFS2_ERR_NOTEMPTY; lfs2_unmount(&lfs2) => 0; // try renaming? lfs2_mount(&lfs2, cfg) => 0; lfs2_rename(&lfs2, "potato", "coldpotato") => 0; lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_rename(&lfs2, "coldpotato", "warmpotato") => 0; lfs2_rename(&lfs2, "warmpotato", "hotpotato") => 0; lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_remove(&lfs2, "potato") => LFS2_ERR_NOENT; lfs2_remove(&lfs2, "coldpotato") => LFS2_ERR_NOENT; lfs2_remove(&lfs2, "warmpotato") => LFS2_ERR_NOENT; lfs2_remove(&lfs2, "hotpotato") => LFS2_ERR_NOTEMPTY; lfs2_unmount(&lfs2) => 0; // try cross-directory renaming lfs2_mount(&lfs2, cfg) => 0; lfs2_mkdir(&lfs2, "coldpotato") => 0; lfs2_rename(&lfs2, "hotpotato/baked", "coldpotato/baked") => 0; lfs2_rename(&lfs2, "coldpotato", "hotpotato") => LFS2_ERR_NOTEMPTY; lfs2_remove(&lfs2, "coldpotato") => LFS2_ERR_NOTEMPTY; lfs2_remove(&lfs2, "hotpotato") => LFS2_ERR_NOTEMPTY; lfs2_rename(&lfs2, "hotpotato/fried", "coldpotato/fried") => 0; lfs2_rename(&lfs2, "coldpotato", "hotpotato") => LFS2_ERR_NOTEMPTY; lfs2_remove(&lfs2, "coldpotato") => LFS2_ERR_NOTEMPTY; lfs2_remove(&lfs2, "hotpotato") => LFS2_ERR_NOTEMPTY; lfs2_rename(&lfs2, "hotpotato/sweet", "coldpotato/sweet") => 0; lfs2_rename(&lfs2, "coldpotato", "hotpotato") => 0; lfs2_remove(&lfs2, "coldpotato") => LFS2_ERR_NOENT; lfs2_remove(&lfs2, "hotpotato") => LFS2_ERR_NOTEMPTY; lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_open(&lfs2, &dir, "hotpotato") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "baked") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "fried") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "sweet") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; // final remove lfs2_mount(&lfs2, cfg) => 0; lfs2_remove(&lfs2, "hotpotato") => LFS2_ERR_NOTEMPTY; lfs2_remove(&lfs2, "hotpotato/baked") => 0; lfs2_remove(&lfs2, "hotpotato") => LFS2_ERR_NOTEMPTY; lfs2_remove(&lfs2, "hotpotato/fried") => 0; lfs2_remove(&lfs2, "hotpotato") => LFS2_ERR_NOTEMPTY; lfs2_remove(&lfs2, "hotpotato/sweet") => 0; lfs2_remove(&lfs2, "hotpotato") => 0; lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_open(&lfs2, &dir, "/") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); info.type => LFS2_TYPE_DIR; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "burito") == 0); info.type => LFS2_TYPE_REG; lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; ''' [cases.test_dirs_recursive_remove] defines.N = [10, 100] if = 'N < BLOCK_COUNT/2' code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_mkdir(&lfs2, "prickly-pear") => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "prickly-pear/cactus%03d", i); lfs2_mkdir(&lfs2, path) => 0; } lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "prickly-pear") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "cactus%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2); lfs2_mount(&lfs2, cfg) => 0; lfs2_remove(&lfs2, "prickly-pear") => LFS2_ERR_NOTEMPTY; lfs2_dir_open(&lfs2, &dir, "prickly-pear") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "cactus%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); sprintf(path, "prickly-pear/%s", info.name); lfs2_remove(&lfs2, path) => 0; } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_remove(&lfs2, "prickly-pear") => 0; lfs2_remove(&lfs2, "prickly-pear") => LFS2_ERR_NOENT; lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_remove(&lfs2, "prickly-pear") => LFS2_ERR_NOENT; lfs2_unmount(&lfs2) => 0; ''' [cases.test_dirs_remove_read] defines.N = 10 if = 'N < BLOCK_COUNT/2' code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_mkdir(&lfs2, "prickly-pear") => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "prickly-pear/cactus%03d", i); lfs2_mkdir(&lfs2, path) => 0; } lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "prickly-pear") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "cactus%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2); for (lfs2_size_t k = 0; k < N; k++) { for (lfs2_size_t j = 0; j < N; j++) { lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_open(&lfs2, &dir, "prickly-pear") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); // iterate over dirs < j for (unsigned i = 0; i < j; i++) { char path[1024]; sprintf(path, "cactus%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); } // remove k while iterating char path[1024]; sprintf(path, "prickly-pear/cactus%03d", k); lfs2_remove(&lfs2, path) => 0; // iterate over dirs >= j for (unsigned i = j; i < ((k >= j) ? N-1 : N); i++) { char path[1024]; sprintf(path, "cactus%03d", (k >= j && i >= k) ? i+1 : i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; // recreate k sprintf(path, "prickly-pear/cactus%03d", k); lfs2_mkdir(&lfs2, path) => 0; lfs2_unmount(&lfs2) => 0; } } ''' [cases.test_dirs_other_errors] code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_mkdir(&lfs2, "potato") => 0; lfs2_file_t file; lfs2_file_open(&lfs2, &file, "burito", LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0; lfs2_file_close(&lfs2, &file) => 0; lfs2_unmount(&lfs2) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_mkdir(&lfs2, "potato") => LFS2_ERR_EXIST; lfs2_mkdir(&lfs2, "burito") => LFS2_ERR_EXIST; lfs2_file_open(&lfs2, &file, "burito", LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => LFS2_ERR_EXIST; lfs2_file_open(&lfs2, &file, "potato", LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => LFS2_ERR_EXIST; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "tomato") => LFS2_ERR_NOENT; lfs2_dir_open(&lfs2, &dir, "burito") => LFS2_ERR_NOTDIR; lfs2_file_open(&lfs2, &file, "tomato", LFS2_O_RDONLY) => LFS2_ERR_NOENT; lfs2_file_open(&lfs2, &file, "potato", LFS2_O_RDONLY) => LFS2_ERR_ISDIR; lfs2_file_open(&lfs2, &file, "tomato", LFS2_O_WRONLY) => LFS2_ERR_NOENT; lfs2_file_open(&lfs2, &file, "potato", LFS2_O_WRONLY) => LFS2_ERR_ISDIR; lfs2_file_open(&lfs2, &file, "potato", LFS2_O_WRONLY | LFS2_O_CREAT) => LFS2_ERR_ISDIR; lfs2_file_open(&lfs2, &file, "tacoto", LFS2_O_WRONLY | LFS2_O_CREAT) => 0; lfs2_file_close(&lfs2, &file) => 0; lfs2_rename(&lfs2, "tacoto", "potato") => LFS2_ERR_ISDIR; lfs2_rename(&lfs2, "potato", "tacoto") => LFS2_ERR_NOTDIR; lfs2_mkdir(&lfs2, "/") => LFS2_ERR_EXIST; lfs2_file_open(&lfs2, &file, "/", LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => LFS2_ERR_EXIST; lfs2_file_open(&lfs2, &file, "/", LFS2_O_RDONLY) => LFS2_ERR_ISDIR; lfs2_file_open(&lfs2, &file, "/", LFS2_O_WRONLY) => LFS2_ERR_ISDIR; lfs2_file_open(&lfs2, &file, "/", LFS2_O_WRONLY | LFS2_O_CREAT) => LFS2_ERR_ISDIR; // check that errors did not corrupt directory lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_REG); assert(strcmp(info.name, "burito") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "potato") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_REG); assert(strcmp(info.name, "tacoto") == 0); assert(info.size == 0); lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; // or on disk lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_open(&lfs2, &dir, "/") => 0; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_REG); assert(strcmp(info.name, "burito") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_DIR); assert(strcmp(info.name, "potato") == 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(info.type == LFS2_TYPE_REG); assert(strcmp(info.name, "tacoto") == 0); assert(info.size == 0); lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; ''' [cases.test_dirs_seek] defines.COUNT = [4, 128, 132] if = 'COUNT < BLOCK_COUNT/2' code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; lfs2_mkdir(&lfs2, "hello") => 0; for (int i = 0; i < COUNT; i++) { char path[1024]; sprintf(path, "hello/kitty%03d", i); lfs2_mkdir(&lfs2, path) => 0; } lfs2_unmount(&lfs2) => 0; // try seeking to each dir entry for (int j = 0; j < COUNT; j++) { lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "hello") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS2_TYPE_DIR); for (int i = 0; i < j; i++) { char path[1024]; sprintf(path, "kitty%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); } lfs2_soff_t pos = lfs2_dir_tell(&lfs2, &dir); assert(pos >= 0); lfs2_dir_seek(&lfs2, &dir, pos) => 0; char path[1024]; sprintf(path, "kitty%03d", j); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_rewind(&lfs2, &dir) => 0; sprintf(path, "kitty%03u", 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_seek(&lfs2, &dir, pos) => 0; sprintf(path, "kitty%03d", j); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; } // try seeking to end of dir lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "hello") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS2_TYPE_DIR); for (int i = 0; i < COUNT; i++) { char path[1024]; sprintf(path, "kitty%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); } lfs2_soff_t pos = lfs2_dir_tell(&lfs2, &dir); assert(pos >= 0); lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_seek(&lfs2, &dir, pos) => 0; lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_rewind(&lfs2, &dir) => 0; char path[1024]; sprintf(path, "kitty%03d", 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_seek(&lfs2, &dir, pos) => 0; lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; ''' [cases.test_dirs_toot_seek] defines.COUNT = [4, 128, 132] if = 'COUNT < BLOCK_COUNT/2' code = ''' lfs2_t lfs2; lfs2_format(&lfs2, cfg) => 0; lfs2_mount(&lfs2, cfg) => 0; for (int i = 0; i < COUNT; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs2_mkdir(&lfs2, path) => 0; } lfs2_unmount(&lfs2) => 0; for (int j = 0; j < COUNT; j++) { lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS2_TYPE_DIR); for (int i = 0; i < j; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); } lfs2_soff_t pos = lfs2_dir_tell(&lfs2, &dir); assert(pos >= 0); lfs2_dir_seek(&lfs2, &dir, pos) => 0; char path[1024]; sprintf(path, "hi%03d", j); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_rewind(&lfs2, &dir) => 0; sprintf(path, "hi%03u", 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_seek(&lfs2, &dir, pos) => 0; sprintf(path, "hi%03d", j); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; } // try seeking to end of dir lfs2_mount(&lfs2, cfg) => 0; lfs2_dir_t dir; lfs2_dir_open(&lfs2, &dir, "/") => 0; struct lfs2_info info; lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS2_TYPE_DIR); for (int i = 0; i < COUNT; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); } lfs2_soff_t pos = lfs2_dir_tell(&lfs2, &dir); assert(pos >= 0); lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_seek(&lfs2, &dir, pos) => 0; lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_rewind(&lfs2, &dir) => 0; char path[1024]; sprintf(path, "hi%03d", 0); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_read(&lfs2, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS2_TYPE_DIR); lfs2_dir_seek(&lfs2, &dir, pos) => 0; lfs2_dir_read(&lfs2, &dir, &info) => 0; lfs2_dir_close(&lfs2, &dir) => 0; lfs2_unmount(&lfs2) => 0; '''