[[case]] # simple file test
code = '''
    lfs2_format(&lfs2, &cfg) => 0;
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "hello",
            LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0;
    size = strlen("Hello World!")+1;
    strcpy((char*)buffer, "Hello World!");
    lfs2_file_write(&lfs2, &file, buffer, size) => size;
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "hello", LFS2_O_RDONLY) => 0;
    lfs2_file_read(&lfs2, &file, buffer, size) => size;
    assert(strcmp((char*)buffer, "Hello World!") == 0);
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;
'''

[[case]] # larger files
define.SIZE = [32, 8192, 262144, 0, 7, 8193]
define.CHUNKSIZE = [31, 16, 33, 1, 1023]
code = '''
    lfs2_format(&lfs2, &cfg) => 0;

    // write
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado",
            LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE-i);
        for (lfs2_size_t b = 0; b < chunk; b++) {
            buffer[b] = rand() & 0xff;
        }
        lfs2_file_write(&lfs2, &file, buffer, chunk) => chunk;
    }
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    // read
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY) => 0;
    lfs2_file_size(&lfs2, &file) => SIZE;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE-i);
        lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
        for (lfs2_size_t b = 0; b < chunk; b++) {
            assert(buffer[b] == (rand() & 0xff));
        }
    }
    lfs2_file_read(&lfs2, &file, buffer, CHUNKSIZE) => 0;
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;
'''

[[case]] # rewriting files
define.SIZE1 = [32, 8192, 131072, 0, 7, 8193]
define.SIZE2 = [32, 8192, 131072, 0, 7, 8193]
define.CHUNKSIZE = [31, 16, 1]
code = '''
    lfs2_format(&lfs2, &cfg) => 0;

    // write
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado",
            LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE1; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE1-i);
        for (lfs2_size_t b = 0; b < chunk; b++) {
            buffer[b] = rand() & 0xff;
        }
        lfs2_file_write(&lfs2, &file, buffer, chunk) => chunk;
    }
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    // read
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY) => 0;
    lfs2_file_size(&lfs2, &file) => SIZE1;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE1; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE1-i);
        lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
        for (lfs2_size_t b = 0; b < chunk; b++) {
            assert(buffer[b] == (rand() & 0xff));
        }
    }
    lfs2_file_read(&lfs2, &file, buffer, CHUNKSIZE) => 0;
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    // rewrite
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_WRONLY) => 0;
    srand(2);
    for (lfs2_size_t i = 0; i < SIZE2; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE2-i);
        for (lfs2_size_t b = 0; b < chunk; b++) {
            buffer[b] = rand() & 0xff;
        }
        lfs2_file_write(&lfs2, &file, buffer, chunk) => chunk;
    }
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    // read
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY) => 0;
    lfs2_file_size(&lfs2, &file) => lfs2_max(SIZE1, SIZE2);
    srand(2);
    for (lfs2_size_t i = 0; i < SIZE2; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE2-i);
        lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
        for (lfs2_size_t b = 0; b < chunk; b++) {
            assert(buffer[b] == (rand() & 0xff));
        }
    }
    if (SIZE1 > SIZE2) {
        srand(1);
        for (lfs2_size_t b = 0; b < SIZE2; b++) {
            rand();
        }
        for (lfs2_size_t i = SIZE2; i < SIZE1; i += CHUNKSIZE) {
            lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE1-i);
            lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
            for (lfs2_size_t b = 0; b < chunk; b++) {
                assert(buffer[b] == (rand() & 0xff));
            }
        }
    }
    lfs2_file_read(&lfs2, &file, buffer, CHUNKSIZE) => 0;
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;
'''

[[case]] # appending files
define.SIZE1 = [32, 8192, 131072, 0, 7, 8193]
define.SIZE2 = [32, 8192, 131072, 0, 7, 8193]
define.CHUNKSIZE = [31, 16, 1]
code = '''
    lfs2_format(&lfs2, &cfg) => 0;

    // write
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado",
            LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE1; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE1-i);
        for (lfs2_size_t b = 0; b < chunk; b++) {
            buffer[b] = rand() & 0xff;
        }
        lfs2_file_write(&lfs2, &file, buffer, chunk) => chunk;
    }
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    // read
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY) => 0;
    lfs2_file_size(&lfs2, &file) => SIZE1;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE1; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE1-i);
        lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
        for (lfs2_size_t b = 0; b < chunk; b++) {
            assert(buffer[b] == (rand() & 0xff));
        }
    }
    lfs2_file_read(&lfs2, &file, buffer, CHUNKSIZE) => 0;
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    // append
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_WRONLY | LFS2_O_APPEND) => 0;
    srand(2);
    for (lfs2_size_t i = 0; i < SIZE2; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE2-i);
        for (lfs2_size_t b = 0; b < chunk; b++) {
            buffer[b] = rand() & 0xff;
        }
        lfs2_file_write(&lfs2, &file, buffer, chunk) => chunk;
    }
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    // read
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY) => 0;
    lfs2_file_size(&lfs2, &file) => SIZE1 + SIZE2;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE1; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE1-i);
        lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
        for (lfs2_size_t b = 0; b < chunk; b++) {
            assert(buffer[b] == (rand() & 0xff));
        }
    }
    srand(2);
    for (lfs2_size_t i = 0; i < SIZE2; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE2-i);
        lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
        for (lfs2_size_t b = 0; b < chunk; b++) {
            assert(buffer[b] == (rand() & 0xff));
        }
    }
    lfs2_file_read(&lfs2, &file, buffer, CHUNKSIZE) => 0;
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;
'''

[[case]] # truncating files
define.SIZE1 = [32, 8192, 131072, 0, 7, 8193]
define.SIZE2 = [32, 8192, 131072, 0, 7, 8193]
define.CHUNKSIZE = [31, 16, 1]
code = '''
    lfs2_format(&lfs2, &cfg) => 0;

    // write
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado",
            LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE1; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE1-i);
        for (lfs2_size_t b = 0; b < chunk; b++) {
            buffer[b] = rand() & 0xff;
        }
        lfs2_file_write(&lfs2, &file, buffer, chunk) => chunk;
    }
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    // read
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY) => 0;
    lfs2_file_size(&lfs2, &file) => SIZE1;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE1; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE1-i);
        lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
        for (lfs2_size_t b = 0; b < chunk; b++) {
            assert(buffer[b] == (rand() & 0xff));
        }
    }
    lfs2_file_read(&lfs2, &file, buffer, CHUNKSIZE) => 0;
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    // truncate
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_WRONLY | LFS2_O_TRUNC) => 0;
    srand(2);
    for (lfs2_size_t i = 0; i < SIZE2; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE2-i);
        for (lfs2_size_t b = 0; b < chunk; b++) {
            buffer[b] = rand() & 0xff;
        }
        lfs2_file_write(&lfs2, &file, buffer, chunk) => chunk;
    }
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;

    // read
    lfs2_mount(&lfs2, &cfg) => 0;
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY) => 0;
    lfs2_file_size(&lfs2, &file) => SIZE2;
    srand(2);
    for (lfs2_size_t i = 0; i < SIZE2; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE2-i);
        lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
        for (lfs2_size_t b = 0; b < chunk; b++) {
            assert(buffer[b] == (rand() & 0xff));
        }
    }
    lfs2_file_read(&lfs2, &file, buffer, CHUNKSIZE) => 0;
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;
'''

[[case]] # reentrant file writing
define.SIZE = [32, 0, 7, 2049]
define.CHUNKSIZE = [31, 16, 65]
reentrant = true
code = '''
    err = lfs2_mount(&lfs2, &cfg);
    if (err) {
        lfs2_format(&lfs2, &cfg) => 0;
        lfs2_mount(&lfs2, &cfg) => 0;
    }

    err = lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY);
    assert(err == LFS2_ERR_NOENT || err == 0);
    if (err == 0) {
        // can only be 0 (new file) or full size
        size = lfs2_file_size(&lfs2, &file);
        assert(size == 0 || size == SIZE);
        lfs2_file_close(&lfs2, &file) => 0;
    }

    // write
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_WRONLY | LFS2_O_CREAT) => 0;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE-i);
        for (lfs2_size_t b = 0; b < chunk; b++) {
            buffer[b] = rand() & 0xff;
        }
        lfs2_file_write(&lfs2, &file, buffer, chunk) => chunk;
    }
    lfs2_file_close(&lfs2, &file) => 0;

    // read
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY) => 0;
    lfs2_file_size(&lfs2, &file) => SIZE;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE-i);
        lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
        for (lfs2_size_t b = 0; b < chunk; b++) {
            assert(buffer[b] == (rand() & 0xff));
        }
    }
    lfs2_file_read(&lfs2, &file, buffer, CHUNKSIZE) => 0;
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;
'''

[[case]] # reentrant file writing with syncs
define = [
    # append (O(n))
    {MODE='LFS2_O_APPEND',   SIZE=[32, 0, 7, 2049],  CHUNKSIZE=[31, 16, 65]},
    # truncate (O(n^2))
    {MODE='LFS2_O_TRUNC',    SIZE=[32, 0, 7, 200],   CHUNKSIZE=[31, 16, 65]},
    # rewrite (O(n^2))
    {MODE=0,                SIZE=[32, 0, 7, 200],   CHUNKSIZE=[31, 16, 65]},
]
reentrant = true
code = '''
    err = lfs2_mount(&lfs2, &cfg);
    if (err) {
        lfs2_format(&lfs2, &cfg) => 0;
        lfs2_mount(&lfs2, &cfg) => 0;
    }

    err = lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY);
    assert(err == LFS2_ERR_NOENT || err == 0);
    if (err == 0) {
        // with syncs we could be any size, but it at least must be valid data
        size = lfs2_file_size(&lfs2, &file);
        assert(size <= SIZE);
        srand(1);
        for (lfs2_size_t i = 0; i < size; i += CHUNKSIZE) {
            lfs2_size_t chunk = lfs2_min(CHUNKSIZE, size-i);
            lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
            for (lfs2_size_t b = 0; b < chunk; b++) {
                assert(buffer[b] == (rand() & 0xff));
            }
        }
        lfs2_file_close(&lfs2, &file) => 0;
    }

    // write
    lfs2_file_open(&lfs2, &file, "avacado",
        LFS2_O_WRONLY | LFS2_O_CREAT | MODE) => 0;
    size = lfs2_file_size(&lfs2, &file);
    assert(size <= SIZE);
    srand(1);
    lfs2_size_t skip = (MODE == LFS2_O_APPEND) ? size : 0;
    for (lfs2_size_t b = 0; b < skip; b++) {
        rand();
    }
    for (lfs2_size_t i = skip; i < SIZE; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE-i);
        for (lfs2_size_t b = 0; b < chunk; b++) {
            buffer[b] = rand() & 0xff;
        }
        lfs2_file_write(&lfs2, &file, buffer, chunk) => chunk;
        lfs2_file_sync(&lfs2, &file) => 0;
    }
    lfs2_file_close(&lfs2, &file) => 0;

    // read
    lfs2_file_open(&lfs2, &file, "avacado", LFS2_O_RDONLY) => 0;
    lfs2_file_size(&lfs2, &file) => SIZE;
    srand(1);
    for (lfs2_size_t i = 0; i < SIZE; i += CHUNKSIZE) {
        lfs2_size_t chunk = lfs2_min(CHUNKSIZE, SIZE-i);
        lfs2_file_read(&lfs2, &file, buffer, chunk) => chunk;
        for (lfs2_size_t b = 0; b < chunk; b++) {
            assert(buffer[b] == (rand() & 0xff));
        }
    }
    lfs2_file_read(&lfs2, &file, buffer, CHUNKSIZE) => 0;
    lfs2_file_close(&lfs2, &file) => 0;
    lfs2_unmount(&lfs2) => 0;
'''

[[case]] # many files
define.N = 300
code = '''
    lfs2_format(&lfs2, &cfg) => 0;
    // create N files of 7 bytes
    lfs2_mount(&lfs2, &cfg) => 0;
    for (int i = 0; i < N; i++) {
        sprintf(path, "file_%03d", i);
        lfs2_file_open(&lfs2, &file, path,
                LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0;
        char wbuffer[1024];
        size = 7;
        snprintf(wbuffer, size, "Hi %03d", i);
        lfs2_file_write(&lfs2, &file, wbuffer, size) => size;
        lfs2_file_close(&lfs2, &file) => 0;

        char rbuffer[1024];
        lfs2_file_open(&lfs2, &file, path, LFS2_O_RDONLY) => 0;
        lfs2_file_read(&lfs2, &file, rbuffer, size) => size;
        assert(strcmp(rbuffer, wbuffer) == 0);
        lfs2_file_close(&lfs2, &file) => 0;
    }
    lfs2_unmount(&lfs2) => 0;
'''

[[case]] # many files with power cycle
define.N = 300
code = '''
    lfs2_format(&lfs2, &cfg) => 0;
    // create N files of 7 bytes
    lfs2_mount(&lfs2, &cfg) => 0;
    for (int i = 0; i < N; i++) {
        sprintf(path, "file_%03d", i);
        lfs2_file_open(&lfs2, &file, path,
                LFS2_O_WRONLY | LFS2_O_CREAT | LFS2_O_EXCL) => 0;
        char wbuffer[1024];
        size = 7;
        snprintf(wbuffer, size, "Hi %03d", i);
        lfs2_file_write(&lfs2, &file, wbuffer, size) => size;
        lfs2_file_close(&lfs2, &file) => 0;
        lfs2_unmount(&lfs2) => 0;

        char rbuffer[1024];
        lfs2_mount(&lfs2, &cfg) => 0;
        lfs2_file_open(&lfs2, &file, path, LFS2_O_RDONLY) => 0;
        lfs2_file_read(&lfs2, &file, rbuffer, size) => size;
        assert(strcmp(rbuffer, wbuffer) == 0);
        lfs2_file_close(&lfs2, &file) => 0;
    }
    lfs2_unmount(&lfs2) => 0;
'''

[[case]] # many files with power loss
define.N = 300
reentrant = true
code = '''
    err = lfs2_mount(&lfs2, &cfg);
    if (err) {
        lfs2_format(&lfs2, &cfg) => 0;
        lfs2_mount(&lfs2, &cfg) => 0;
    }
    // create N files of 7 bytes
    for (int i = 0; i < N; i++) {
        sprintf(path, "file_%03d", i);
        err = lfs2_file_open(&lfs2, &file, path, LFS2_O_WRONLY | LFS2_O_CREAT);
        char wbuffer[1024];
        size = 7;
        snprintf(wbuffer, size, "Hi %03d", i);
        if ((lfs2_size_t)lfs2_file_size(&lfs2, &file) != size) {
            lfs2_file_write(&lfs2, &file, wbuffer, size) => size;
        }
        lfs2_file_close(&lfs2, &file) => 0;

        char rbuffer[1024];
        lfs2_file_open(&lfs2, &file, path, LFS2_O_RDONLY) => 0;
        lfs2_file_read(&lfs2, &file, rbuffer, size) => size;
        assert(strcmp(rbuffer, wbuffer) == 0);
        lfs2_file_close(&lfs2, &file) => 0;
    }
    lfs2_unmount(&lfs2) => 0;
'''