[cases.test_dirs_root] code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; ''' [cases.test_dirs_many_creation] defines.N = 'range(3, 100, 3)' if = 'N < BLOCK_COUNT/2' code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "dir%03d", i); lfs_mkdir(&lfs, path) => 0; } lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "dir%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; ''' [cases.test_dirs_many_removal] defines.N = 'range(3, 100, 11)' if = 'N < BLOCK_COUNT/2' code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs_mkdir(&lfs, path) => 0; } lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs); lfs_mount(&lfs, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs_remove(&lfs, path) => 0; } lfs_unmount(&lfs); lfs_mount(&lfs, cfg) => 0; lfs_dir_open(&lfs, &dir, "/") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; ''' [cases.test_dirs_many_rename] defines.N = 'range(3, 100, 11)' if = 'N < BLOCK_COUNT/2' code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "test%03d", i); lfs_mkdir(&lfs, path) => 0; } lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "test%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs); lfs_mount(&lfs, 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); lfs_rename(&lfs, oldpath, newpath) => 0; } lfs_unmount(&lfs); lfs_mount(&lfs, cfg) => 0; lfs_dir_open(&lfs, &dir, "/") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "tedd%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs); ''' [cases.test_dirs_many_reentrant] defines.N = [5, 11] if = 'BLOCK_COUNT >= 4*N' reentrant = true code = ''' lfs_t lfs; int err = lfs_mount(&lfs, cfg); if (err) { lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; } for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hi%03d", i); err = lfs_mkdir(&lfs, path); assert(err == 0 || err == LFS_ERR_EXIST); } for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); err = lfs_remove(&lfs, path); assert(err == 0 || err == LFS_ERR_NOENT); } lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &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 lfs_rename(&lfs, oldpath, newpath) => 0; } lfs_dir_open(&lfs, &dir, "/") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); lfs_remove(&lfs, path) => 0; } lfs_dir_open(&lfs, &dir, "/") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; ''' [cases.test_dirs_file_creation] defines.N = 'range(3, 100, 11)' if = 'N < BLOCK_COUNT/2' code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "file%03d", i); lfs_file_t file; lfs_file_open(&lfs, &file, path, LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => 0; lfs_file_close(&lfs, &file) => 0; } lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "file%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs); ''' [cases.test_dirs_file_removal] defines.N = 'range(3, 100, 11)' if = 'N < BLOCK_COUNT/2' code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs_file_t file; lfs_file_open(&lfs, &file, path, LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => 0; lfs_file_close(&lfs, &file) => 0; } lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs); lfs_mount(&lfs, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "removeme%03d", i); lfs_remove(&lfs, path) => 0; } lfs_unmount(&lfs); lfs_mount(&lfs, cfg) => 0; lfs_dir_open(&lfs, &dir, "/") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; ''' [cases.test_dirs_file_rename] defines.N = 'range(3, 100, 11)' if = 'N < BLOCK_COUNT/2' code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "test%03d", i); lfs_file_t file; lfs_file_open(&lfs, &file, path, LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => 0; lfs_file_close(&lfs, &file) => 0; } lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "test%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs); lfs_mount(&lfs, 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); lfs_rename(&lfs, oldpath, newpath) => 0; } lfs_unmount(&lfs); lfs_mount(&lfs, cfg) => 0; lfs_dir_open(&lfs, &dir, "/") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "tedd%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs); ''' [cases.test_dirs_file_reentrant] defines.N = [5, 25] if = 'N < BLOCK_COUNT/2' reentrant = true code = ''' lfs_t lfs; int err = lfs_mount(&lfs, cfg); if (err) { lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; } for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs_file_t file; lfs_file_open(&lfs, &file, path, LFS_O_CREAT | LFS_O_WRONLY) => 0; lfs_file_close(&lfs, &file) => 0; } for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); err = lfs_remove(&lfs, path); assert(err == 0 || err == LFS_ERR_NOENT); } lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &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 lfs_rename(&lfs, oldpath, newpath) => 0; } lfs_dir_open(&lfs, &dir, "/") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_REG); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "hello%03d", i); lfs_remove(&lfs, path) => 0; } lfs_dir_open(&lfs, &dir, "/") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; ''' [cases.test_dirs_nested] code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; lfs_mkdir(&lfs, "potato") => 0; lfs_file_t file; lfs_file_open(&lfs, &file, "burito", LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => 0; lfs_file_close(&lfs, &file) => 0; lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_mkdir(&lfs, "potato/baked") => 0; lfs_mkdir(&lfs, "potato/sweet") => 0; lfs_mkdir(&lfs, "potato/fried") => 0; lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "potato") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "baked") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "fried") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "sweet") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; // try removing? lfs_mount(&lfs, cfg) => 0; lfs_remove(&lfs, "potato") => LFS_ERR_NOTEMPTY; lfs_unmount(&lfs) => 0; // try renaming? lfs_mount(&lfs, cfg) => 0; lfs_rename(&lfs, "potato", "coldpotato") => 0; lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_rename(&lfs, "coldpotato", "warmpotato") => 0; lfs_rename(&lfs, "warmpotato", "hotpotato") => 0; lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_remove(&lfs, "potato") => LFS_ERR_NOENT; lfs_remove(&lfs, "coldpotato") => LFS_ERR_NOENT; lfs_remove(&lfs, "warmpotato") => LFS_ERR_NOENT; lfs_remove(&lfs, "hotpotato") => LFS_ERR_NOTEMPTY; lfs_unmount(&lfs) => 0; // try cross-directory renaming lfs_mount(&lfs, cfg) => 0; lfs_mkdir(&lfs, "coldpotato") => 0; lfs_rename(&lfs, "hotpotato/baked", "coldpotato/baked") => 0; lfs_rename(&lfs, "coldpotato", "hotpotato") => LFS_ERR_NOTEMPTY; lfs_remove(&lfs, "coldpotato") => LFS_ERR_NOTEMPTY; lfs_remove(&lfs, "hotpotato") => LFS_ERR_NOTEMPTY; lfs_rename(&lfs, "hotpotato/fried", "coldpotato/fried") => 0; lfs_rename(&lfs, "coldpotato", "hotpotato") => LFS_ERR_NOTEMPTY; lfs_remove(&lfs, "coldpotato") => LFS_ERR_NOTEMPTY; lfs_remove(&lfs, "hotpotato") => LFS_ERR_NOTEMPTY; lfs_rename(&lfs, "hotpotato/sweet", "coldpotato/sweet") => 0; lfs_rename(&lfs, "coldpotato", "hotpotato") => 0; lfs_remove(&lfs, "coldpotato") => LFS_ERR_NOENT; lfs_remove(&lfs, "hotpotato") => LFS_ERR_NOTEMPTY; lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_dir_open(&lfs, &dir, "hotpotato") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "baked") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "fried") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "sweet") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; // final remove lfs_mount(&lfs, cfg) => 0; lfs_remove(&lfs, "hotpotato") => LFS_ERR_NOTEMPTY; lfs_remove(&lfs, "hotpotato/baked") => 0; lfs_remove(&lfs, "hotpotato") => LFS_ERR_NOTEMPTY; lfs_remove(&lfs, "hotpotato/fried") => 0; lfs_remove(&lfs, "hotpotato") => LFS_ERR_NOTEMPTY; lfs_remove(&lfs, "hotpotato/sweet") => 0; lfs_remove(&lfs, "hotpotato") => 0; lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_dir_open(&lfs, &dir, "/") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); info.type => LFS_TYPE_DIR; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "burito") == 0); info.type => LFS_TYPE_REG; lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; ''' [cases.test_dirs_recursive_remove] defines.N = [10, 100] if = 'N < BLOCK_COUNT/2' code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; lfs_mkdir(&lfs, "prickly-pear") => 0; for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "prickly-pear/cactus%03d", i); lfs_mkdir(&lfs, path) => 0; } lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "prickly-pear") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "cactus%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, path) == 0); } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs); lfs_mount(&lfs, cfg) => 0; lfs_remove(&lfs, "prickly-pear") => LFS_ERR_NOTEMPTY; lfs_dir_open(&lfs, &dir, "prickly-pear") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); for (int i = 0; i < N; i++) { char path[1024]; sprintf(path, "cactus%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, path) == 0); sprintf(path, "prickly-pear/%s", info.name); lfs_remove(&lfs, path) => 0; } lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_remove(&lfs, "prickly-pear") => 0; lfs_remove(&lfs, "prickly-pear") => LFS_ERR_NOENT; lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_remove(&lfs, "prickly-pear") => LFS_ERR_NOENT; lfs_unmount(&lfs) => 0; ''' [cases.test_dirs_other_errors] code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; lfs_mkdir(&lfs, "potato") => 0; lfs_file_t file; lfs_file_open(&lfs, &file, "burito", LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => 0; lfs_file_close(&lfs, &file) => 0; lfs_unmount(&lfs) => 0; lfs_mount(&lfs, cfg) => 0; lfs_mkdir(&lfs, "potato") => LFS_ERR_EXIST; lfs_mkdir(&lfs, "burito") => LFS_ERR_EXIST; lfs_file_open(&lfs, &file, "burito", LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => LFS_ERR_EXIST; lfs_file_open(&lfs, &file, "potato", LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => LFS_ERR_EXIST; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "tomato") => LFS_ERR_NOENT; lfs_dir_open(&lfs, &dir, "burito") => LFS_ERR_NOTDIR; lfs_file_open(&lfs, &file, "tomato", LFS_O_RDONLY) => LFS_ERR_NOENT; lfs_file_open(&lfs, &file, "potato", LFS_O_RDONLY) => LFS_ERR_ISDIR; lfs_file_open(&lfs, &file, "tomato", LFS_O_WRONLY) => LFS_ERR_NOENT; lfs_file_open(&lfs, &file, "potato", LFS_O_WRONLY) => LFS_ERR_ISDIR; lfs_file_open(&lfs, &file, "potato", LFS_O_WRONLY | LFS_O_CREAT) => LFS_ERR_ISDIR; lfs_mkdir(&lfs, "/") => LFS_ERR_EXIST; lfs_file_open(&lfs, &file, "/", LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => LFS_ERR_EXIST; lfs_file_open(&lfs, &file, "/", LFS_O_RDONLY) => LFS_ERR_ISDIR; lfs_file_open(&lfs, &file, "/", LFS_O_WRONLY) => LFS_ERR_ISDIR; lfs_file_open(&lfs, &file, "/", LFS_O_WRONLY | LFS_O_CREAT) => LFS_ERR_ISDIR; // check that errors did not corrupt directory lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_REG); assert(strcmp(info.name, "burito") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "potato") == 0); lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; // or on disk lfs_mount(&lfs, cfg) => 0; lfs_dir_open(&lfs, &dir, "/") => 0; lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, ".") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "..") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_REG); assert(strcmp(info.name, "burito") == 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(info.type == LFS_TYPE_DIR); assert(strcmp(info.name, "potato") == 0); lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; ''' [cases.test_dirs_seek] defines.COUNT = [4, 128, 132] if = 'COUNT < BLOCK_COUNT/2' code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; lfs_mkdir(&lfs, "hello") => 0; for (int i = 0; i < COUNT; i++) { char path[1024]; sprintf(path, "hello/kitty%03d", i); lfs_mkdir(&lfs, path) => 0; } lfs_unmount(&lfs) => 0; // try seeking to each dir entry for (int j = 0; j < COUNT; j++) { lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "hello") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS_TYPE_DIR); for (int i = 0; i < j; i++) { char path[1024]; sprintf(path, "kitty%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); } lfs_soff_t pos = lfs_dir_tell(&lfs, &dir); assert(pos >= 0); lfs_dir_seek(&lfs, &dir, pos) => 0; char path[1024]; sprintf(path, "kitty%03d", j); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_rewind(&lfs, &dir) => 0; sprintf(path, "kitty%03u", 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_seek(&lfs, &dir, pos) => 0; sprintf(path, "kitty%03d", j); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; } // try seeking to end of dir lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "hello") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS_TYPE_DIR); for (int i = 0; i < COUNT; i++) { char path[1024]; sprintf(path, "kitty%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); } lfs_soff_t pos = lfs_dir_tell(&lfs, &dir); assert(pos >= 0); lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_seek(&lfs, &dir, pos) => 0; lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_rewind(&lfs, &dir) => 0; char path[1024]; sprintf(path, "kitty%03d", 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_seek(&lfs, &dir, pos) => 0; lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; ''' [cases.test_dirs_toot_seek] defines.COUNT = [4, 128, 132] if = 'COUNT < BLOCK_COUNT/2' code = ''' lfs_t lfs; lfs_format(&lfs, cfg) => 0; lfs_mount(&lfs, cfg) => 0; for (int i = 0; i < COUNT; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs_mkdir(&lfs, path) => 0; } lfs_unmount(&lfs) => 0; for (int j = 0; j < COUNT; j++) { lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS_TYPE_DIR); for (int i = 0; i < j; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); } lfs_soff_t pos = lfs_dir_tell(&lfs, &dir); assert(pos >= 0); lfs_dir_seek(&lfs, &dir, pos) => 0; char path[1024]; sprintf(path, "hi%03d", j); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_rewind(&lfs, &dir) => 0; sprintf(path, "hi%03u", 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_seek(&lfs, &dir, pos) => 0; sprintf(path, "hi%03d", j); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; } // try seeking to end of dir lfs_mount(&lfs, cfg) => 0; lfs_dir_t dir; lfs_dir_open(&lfs, &dir, "/") => 0; struct lfs_info info; lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS_TYPE_DIR); for (int i = 0; i < COUNT; i++) { char path[1024]; sprintf(path, "hi%03d", i); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); } lfs_soff_t pos = lfs_dir_tell(&lfs, &dir); assert(pos >= 0); lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_seek(&lfs, &dir, pos) => 0; lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_rewind(&lfs, &dir) => 0; char path[1024]; sprintf(path, "hi%03d", 0); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, ".") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, "..") == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_read(&lfs, &dir, &info) => 1; assert(strcmp(info.name, path) == 0); assert(info.type == LFS_TYPE_DIR); lfs_dir_seek(&lfs, &dir, pos) => 0; lfs_dir_read(&lfs, &dir, &info) => 0; lfs_dir_close(&lfs, &dir) => 0; lfs_unmount(&lfs) => 0; '''