# simple format test
[cases.test_superblocks_format]
code = '''
    lfs_t lfs;
    lfsr_format(&lfs, cfg) => 0;
'''

# simple mount/unmount test
[cases.test_superblocks_mount]
code = '''
    lfs_t lfs;
    lfsr_format(&lfs, cfg) => 0;
    lfsr_mount(&lfs, cfg) => 0;
    lfsr_unmount(&lfs) => 0;
'''

# reentrant format
[cases.test_superblocks_reentrant_format]
reentrant = true
code = '''
    lfs_t lfs;
    int err = lfsr_mount(&lfs, cfg);
    if (err) {
        lfsr_format(&lfs, cfg) => 0;
        lfsr_mount(&lfs, cfg) => 0;
    }
    lfsr_unmount(&lfs) => 0;
'''

# invalid mount
[cases.test_superblocks_invalid]
code = '''
    lfs_t lfs;
    lfsr_mount(&lfs, cfg) => LFS_ERR_INVAL;
'''

# superblock cycle detection
[cases.test_superblocks_cycle]
in = 'lfs.c'
code = '''
    // create a cycle
    lfs_t lfs;
    lfsr_format(&lfs, cfg) => 0;
    lfsr_mount(&lfs, cfg) => 0;
    uint8_t buf[LFSR_MPAIR_DSIZE];
    lfs_ssize_t d = lfsr_mpair_todisk(&lfs,
            lfsr_mdir_mpair(&lfs.mroot), buf);
    assert(d >= 0);
    lfsr_mdir_commit(&lfs, &lfs.mroot, &(lfs_ssize_t){-1}, LFSR_ATTRS(
            LFSR_ATTR(-1, MROOT, 0, buf, d))) => 0;
    lfsr_unmount(&lfs) => 0;

    // now detect the cycle
    lfsr_mount(&lfs, cfg) => LFS_ERR_CORRUPT;
'''





## simple formatting test
#[cases.test_superblocks_format]
#code = '''
#    lfs_t lfs;
#    lfs_format(&lfs, cfg) => 0;
#'''
#
## mount/unmount
#[cases.test_superblocks_mount]
#code = '''
#    lfs_t lfs;
#    lfs_format(&lfs, cfg) => 0;
#    lfs_mount(&lfs, cfg) => 0;
#    lfs_unmount(&lfs) => 0;
#'''
#
## reentrant format
#[cases.test_superblocks_reentrant_format]
#reentrant = true
#code = '''
#    lfs_t lfs;
#    int err = lfs_mount(&lfs, cfg);
#    if (err) {
#        lfs_format(&lfs, cfg) => 0;
#        lfs_mount(&lfs, cfg) => 0;
#    }
#    lfs_unmount(&lfs) => 0;
#'''
#
## invalid mount
#[cases.test_superblocks_invalid_mount]
#code = '''
#    lfs_t lfs;
#    lfs_mount(&lfs, cfg) => LFS_ERR_CORRUPT;
#'''
#
## expanding superblock
#[cases.test_superblocks_expand]
#defines.BLOCK_CYCLES = [32, 33, 1]
#defines.N = [10, 100, 1000]
#code = '''
#    lfs_t lfs;
#    lfs_format(&lfs, cfg) => 0;
#    lfs_mount(&lfs, cfg) => 0;
#    for (int i = 0; i < N; i++) {
#        lfs_file_t file;
#        lfs_file_open(&lfs, &file, "dummy",
#                LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => 0;
#        lfs_file_close(&lfs, &file) => 0;
#        struct lfs_info info;
#        lfs_stat(&lfs, "dummy", &info) => 0;
#        assert(strcmp(info.name, "dummy") == 0);
#        assert(info.type == LFS_TYPE_REG);
#        lfs_remove(&lfs, "dummy") => 0;
#    }
#    lfs_unmount(&lfs) => 0;
#
#    // one last check after power-cycle
#    lfs_mount(&lfs, cfg) => 0;
#    lfs_file_t file;
#    lfs_file_open(&lfs, &file, "dummy",
#            LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => 0;
#    lfs_file_close(&lfs, &file) => 0;
#    struct lfs_info info;
#    lfs_stat(&lfs, "dummy", &info) => 0;
#    assert(strcmp(info.name, "dummy") == 0);
#    assert(info.type == LFS_TYPE_REG);
#    lfs_unmount(&lfs) => 0;
#'''
#
## expanding superblock with power cycle
#[cases.test_superblocks_expand_power_cycle]
#defines.BLOCK_CYCLES = [32, 33, 1]
#defines.N = [10, 100, 1000]
#code = '''
#    lfs_t lfs;
#    lfs_format(&lfs, cfg) => 0;
#    for (int i = 0; i < N; i++) {
#        lfs_mount(&lfs, cfg) => 0;
#        // remove lingering dummy?
#        struct lfs_info info;
#        int err = lfs_stat(&lfs, "dummy", &info);
#        assert(err == 0 || (err == LFS_ERR_NOENT && i == 0));
#        if (!err) {
#            assert(strcmp(info.name, "dummy") == 0);
#            assert(info.type == LFS_TYPE_REG);
#            lfs_remove(&lfs, "dummy") => 0;
#        }
#
#        lfs_file_t file;
#        lfs_file_open(&lfs, &file, "dummy",
#                LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => 0;
#        lfs_file_close(&lfs, &file) => 0;
#        lfs_stat(&lfs, "dummy", &info) => 0;
#        assert(strcmp(info.name, "dummy") == 0);
#        assert(info.type == LFS_TYPE_REG);
#        lfs_unmount(&lfs) => 0;
#    }
#
#    // one last check after power-cycle
#    lfs_mount(&lfs, cfg) => 0;
#    struct lfs_info info;
#    lfs_stat(&lfs, "dummy", &info) => 0;
#    assert(strcmp(info.name, "dummy") == 0);
#    assert(info.type == LFS_TYPE_REG);
#    lfs_unmount(&lfs) => 0;
#'''
#
## reentrant expanding superblock
#[cases.test_superblocks_reentrant_expand]
#defines.BLOCK_CYCLES = [2, 1]
#defines.N = 24
#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++) {
#        // remove lingering dummy?
#        struct lfs_info info;
#        err = lfs_stat(&lfs, "dummy", &info);
#        assert(err == 0 || (err == LFS_ERR_NOENT && i == 0));
#        if (!err) {
#            assert(strcmp(info.name, "dummy") == 0);
#            assert(info.type == LFS_TYPE_REG);
#            lfs_remove(&lfs, "dummy") => 0;
#        }
#
#        lfs_file_t file;
#        lfs_file_open(&lfs, &file, "dummy",
#                LFS_O_WRONLY | LFS_O_CREAT | LFS_O_EXCL) => 0;
#        lfs_file_close(&lfs, &file) => 0;
#        lfs_stat(&lfs, "dummy", &info) => 0;
#        assert(strcmp(info.name, "dummy") == 0);
#        assert(info.type == LFS_TYPE_REG);
#    }
#
#    lfs_unmount(&lfs) => 0;
#
#    // one last check after power-cycle
#    lfs_mount(&lfs, cfg) => 0;
#    struct lfs_info info;
#    lfs_stat(&lfs, "dummy", &info) => 0;
#    assert(strcmp(info.name, "dummy") == 0);
#    assert(info.type == LFS_TYPE_REG);
#    lfs_unmount(&lfs) => 0;
#'''