|
|
@@ -810,7 +810,8 @@ code = '''
|
|
|
}
|
|
|
lfs_unmount(&lfs) => 0;
|
|
|
|
|
|
- for (int j = 2; j < COUNT; j++) {
|
|
|
+ // 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;
|
|
|
@@ -822,16 +823,15 @@ code = '''
|
|
|
assert(strcmp(info.name, "..") == 0);
|
|
|
assert(info.type == LFS_TYPE_DIR);
|
|
|
|
|
|
- lfs_soff_t pos;
|
|
|
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);
|
|
|
- pos = lfs_dir_tell(&lfs, &dir);
|
|
|
- assert(pos >= 0);
|
|
|
}
|
|
|
+ lfs_soff_t pos = lfs_dir_tell(&lfs, &dir);
|
|
|
+ assert(pos >= 0);
|
|
|
|
|
|
lfs_dir_seek(&lfs, &dir, pos) => 0;
|
|
|
char path[1024];
|
|
|
@@ -861,6 +861,52 @@ code = '''
|
|
|
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]
|
|
|
@@ -877,7 +923,7 @@ code = '''
|
|
|
}
|
|
|
lfs_unmount(&lfs) => 0;
|
|
|
|
|
|
- for (int j = 2; j < COUNT; j++) {
|
|
|
+ for (int j = 0; j < COUNT; j++) {
|
|
|
lfs_mount(&lfs, cfg) => 0;
|
|
|
lfs_dir_t dir;
|
|
|
lfs_dir_open(&lfs, &dir, "/") => 0;
|
|
|
@@ -889,16 +935,15 @@ code = '''
|
|
|
assert(strcmp(info.name, "..") == 0);
|
|
|
assert(info.type == LFS_TYPE_DIR);
|
|
|
|
|
|
- lfs_soff_t pos;
|
|
|
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);
|
|
|
- pos = lfs_dir_tell(&lfs, &dir);
|
|
|
- assert(pos >= 0);
|
|
|
}
|
|
|
+ lfs_soff_t pos = lfs_dir_tell(&lfs, &dir);
|
|
|
+ assert(pos >= 0);
|
|
|
|
|
|
lfs_dir_seek(&lfs, &dir, pos) => 0;
|
|
|
char path[1024];
|
|
|
@@ -928,5 +973,51 @@ code = '''
|
|
|
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;
|
|
|
'''
|
|
|
|