612 lines
21 KiB
TOML
612 lines
21 KiB
TOML
# These tests are for some specific corner cases with neighboring inline files.
|
|
# Note that these tests are intended for 512 byte inline sizes. They should
|
|
# still pass with other inline sizes but wouldn't be testing anything.
|
|
|
|
define.LFS_CACHE_SIZE = 512
|
|
if = 'LFS_CACHE_SIZE % LFS_PROG_SIZE == 0 && LFS_CACHE_SIZE == 512'
|
|
|
|
[[case]] # entry grow test
|
|
code = '''
|
|
uint8_t wbuffer[1024];
|
|
uint8_t rbuffer[1024];
|
|
|
|
lfs_format(&lfs, &cfg) => 0;
|
|
lfs_mount(&lfs, &cfg) => 0;
|
|
|
|
// write hi0 20
|
|
sprintf(path, "hi0"); size = 20;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi1 20
|
|
sprintf(path, "hi1"); size = 20;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi2 20
|
|
sprintf(path, "hi2"); size = 20;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi3 20
|
|
sprintf(path, "hi3"); size = 20;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
// read hi1 20
|
|
sprintf(path, "hi1"); size = 20;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
// read hi0 20
|
|
sprintf(path, "hi0"); size = 20;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi2 20
|
|
sprintf(path, "hi2"); size = 20;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi3 20
|
|
sprintf(path, "hi3"); size = 20;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
lfs_unmount(&lfs) => 0;
|
|
'''
|
|
|
|
[[case]] # entry shrink test
|
|
code = '''
|
|
uint8_t wbuffer[1024];
|
|
uint8_t rbuffer[1024];
|
|
|
|
lfs_format(&lfs, &cfg) => 0;
|
|
lfs_mount(&lfs, &cfg) => 0;
|
|
|
|
// write hi0 20
|
|
sprintf(path, "hi0"); size = 20;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi2 20
|
|
sprintf(path, "hi2"); size = 20;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi3 20
|
|
sprintf(path, "hi3"); size = 20;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
// read hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi1 20
|
|
sprintf(path, "hi1"); size = 20;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
// read hi0 20
|
|
sprintf(path, "hi0"); size = 20;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi1 20
|
|
sprintf(path, "hi1"); size = 20;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi2 20
|
|
sprintf(path, "hi2"); size = 20;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi3 20
|
|
sprintf(path, "hi3"); size = 20;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
lfs_unmount(&lfs) => 0;
|
|
'''
|
|
|
|
[[case]] # entry spill test
|
|
code = '''
|
|
uint8_t wbuffer[1024];
|
|
uint8_t rbuffer[1024];
|
|
|
|
lfs_format(&lfs, &cfg) => 0;
|
|
lfs_mount(&lfs, &cfg) => 0;
|
|
|
|
// write hi0 200
|
|
sprintf(path, "hi0"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi2 200
|
|
sprintf(path, "hi2"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi3 200
|
|
sprintf(path, "hi3"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
// read hi0 200
|
|
sprintf(path, "hi0"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi2 200
|
|
sprintf(path, "hi2"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi3 200
|
|
sprintf(path, "hi3"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
lfs_unmount(&lfs) => 0;
|
|
'''
|
|
|
|
[[case]] # entry push spill test
|
|
code = '''
|
|
uint8_t wbuffer[1024];
|
|
uint8_t rbuffer[1024];
|
|
|
|
lfs_format(&lfs, &cfg) => 0;
|
|
lfs_mount(&lfs, &cfg) => 0;
|
|
|
|
// write hi0 200
|
|
sprintf(path, "hi0"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi1 20
|
|
sprintf(path, "hi1"); size = 20;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi2 200
|
|
sprintf(path, "hi2"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi3 200
|
|
sprintf(path, "hi3"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
// read hi1 20
|
|
sprintf(path, "hi1"); size = 20;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
// read hi0 200
|
|
sprintf(path, "hi0"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi2 200
|
|
sprintf(path, "hi2"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi3 200
|
|
sprintf(path, "hi3"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
lfs_unmount(&lfs) => 0;
|
|
'''
|
|
|
|
[[case]] # entry push spill two test
|
|
code = '''
|
|
uint8_t wbuffer[1024];
|
|
uint8_t rbuffer[1024];
|
|
|
|
lfs_format(&lfs, &cfg) => 0;
|
|
lfs_mount(&lfs, &cfg) => 0;
|
|
|
|
// write hi0 200
|
|
sprintf(path, "hi0"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi1 20
|
|
sprintf(path, "hi1"); size = 20;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi2 200
|
|
sprintf(path, "hi2"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi3 200
|
|
sprintf(path, "hi3"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi4 200
|
|
sprintf(path, "hi4"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
// read hi1 20
|
|
sprintf(path, "hi1"); size = 20;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
// read hi0 200
|
|
sprintf(path, "hi0"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi2 200
|
|
sprintf(path, "hi2"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi3 200
|
|
sprintf(path, "hi3"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi4 200
|
|
sprintf(path, "hi4"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
lfs_unmount(&lfs) => 0;
|
|
'''
|
|
|
|
[[case]] # entry drop test
|
|
code = '''
|
|
uint8_t wbuffer[1024];
|
|
uint8_t rbuffer[1024];
|
|
|
|
lfs_format(&lfs, &cfg) => 0;
|
|
lfs_mount(&lfs, &cfg) => 0;
|
|
|
|
// write hi0 200
|
|
sprintf(path, "hi0"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi1 200
|
|
sprintf(path, "hi1"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi2 200
|
|
sprintf(path, "hi2"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// write hi3 200
|
|
sprintf(path, "hi3"); size = 200;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
lfs_remove(&lfs, "hi1") => 0;
|
|
lfs_stat(&lfs, "hi1", &info) => LFS_ERR_NOENT;
|
|
// read hi0 200
|
|
sprintf(path, "hi0"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi2 200
|
|
sprintf(path, "hi2"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi3 200
|
|
sprintf(path, "hi3"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
lfs_remove(&lfs, "hi2") => 0;
|
|
lfs_stat(&lfs, "hi2", &info) => LFS_ERR_NOENT;
|
|
// read hi0 200
|
|
sprintf(path, "hi0"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
// read hi3 200
|
|
sprintf(path, "hi3"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
lfs_remove(&lfs, "hi3") => 0;
|
|
lfs_stat(&lfs, "hi3", &info) => LFS_ERR_NOENT;
|
|
// read hi0 200
|
|
sprintf(path, "hi0"); size = 200;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_size(&lfs, &file) => size;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
lfs_remove(&lfs, "hi0") => 0;
|
|
lfs_stat(&lfs, "hi0", &info) => LFS_ERR_NOENT;
|
|
|
|
lfs_unmount(&lfs) => 0;
|
|
'''
|
|
|
|
[[case]] # create too big
|
|
code = '''
|
|
lfs_format(&lfs, &cfg) => 0;
|
|
|
|
lfs_mount(&lfs, &cfg) => 0;
|
|
memset(path, 'm', 200);
|
|
path[200] = '\0';
|
|
|
|
size = 400;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
uint8_t wbuffer[1024];
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
size = 400;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
uint8_t rbuffer[1024];
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
lfs_unmount(&lfs) => 0;
|
|
'''
|
|
|
|
[[case]] # resize too big
|
|
code = '''
|
|
lfs_format(&lfs, &cfg) => 0;
|
|
|
|
lfs_mount(&lfs, &cfg) => 0;
|
|
memset(path, 'm', 200);
|
|
path[200] = '\0';
|
|
|
|
size = 40;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
uint8_t wbuffer[1024];
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
size = 40;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
uint8_t rbuffer[1024];
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
size = 400;
|
|
lfs_file_open(&lfs, &file, path,
|
|
LFS_O_WRONLY | LFS_O_CREAT | LFS_O_TRUNC) => 0;
|
|
memset(wbuffer, 'c', size);
|
|
lfs_file_write(&lfs, &file, wbuffer, size) => size;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
|
|
size = 400;
|
|
lfs_file_open(&lfs, &file, path, LFS_O_RDONLY) => 0;
|
|
lfs_file_read(&lfs, &file, rbuffer, size) => size;
|
|
memcmp(rbuffer, wbuffer, size) => 0;
|
|
lfs_file_close(&lfs, &file) => 0;
|
|
lfs_unmount(&lfs) => 0;
|
|
'''
|