bertos/fs/battfs_test.c

   1 /**
   2  * \file
   3  * <!--
   4  * This file is part of BeRTOS.
   5  *
   6  * Bertos is free software; you can redistribute it and/or modify
   7  * it under the terms of the GNU General Public License as published by
   8  * the Free Software Foundation; either version 2 of the License, or
   9  * (at your option) any later version.
  10  *
  11  * This program is distributed in the hope that it will be useful,
  12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14  * GNU General Public License for more details.
  15  *
  16  * You should have received a copy of the GNU General Public License
  17  * along with this program; if not, write to the Free Software
  18  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
  19  *
  20  * As a special exception, you may use this file as part of a free software
  21  * library without restriction.  Specifically, if other files instantiate
  22  * templates or use macros or inline functions from this file, or you compile
  23  * this file and link it with other files to produce an executable, this
  24  * file does not by itself cause the resulting executable to be covered by
  25  * the GNU General Public License.  This exception does not however
  26  * invalidate any other reasons why the executable file might be covered by
  27  * the GNU General Public License.
  28  *
  29  * Copyright 2007, 2008 Develer S.r.l. (http://www.develer.com/)
  30  * -->
  31  *
  32  * \brief BattFS Test.
  33  *
  34  * \version $Id$
  35  * \author Francesco Sacchi <batt@develer.com>
  36  */
  37
  38 #include <fs/battfs.h>
  39
  40 #include <cfg/debug.h>
  41 #include <cfg/test.h>
  42
  43 #include <stdio.h>
  44 #include <stdlib.h>
  45 #include <string.h>
  46
  47 #define FILE_SIZE 32768
  48 #define PAGE_SIZE 128
  49 #define PAGE_COUNT FILE_SIZE / PAGE_SIZE
  50
  51 #if UNIT_TEST
  52
  53 const char test_filename[]="battfs_disk.bin";
  54
  55 static uint8_t page_buffer[PAGE_SIZE];
  56
  57 static size_t disk_page_read(struct BattFsSuper *d, pgcnt_t page, pgaddr_t addr, void *buf, size_t size)
  58 {
  59         //TRACEMSG("page:%d, addr:%d, size:%d", page, addr, size);
  60         FILE *fp = (FILE *)d->disk_ctx;
  61         fseek(fp, page * d->page_size + addr, SEEK_SET);
  62         return fread(buf, 1, size, fp);
  63 }
  64
  65 static size_t disk_buffer_write(struct BattFsSuper *d, pgaddr_t addr, const void *buf, size_t size)
  66 {
  67         //TRACEMSG("addr:%d, size:%d", addr, size);
  68         ASSERT(addr + size <= d->page_size);
  69         memcpy(&page_buffer[addr], buf, size);
  70
  71         return size;
  72 }
  73
  74 static size_t disk_buffer_read(struct BattFsSuper *d, pgaddr_t addr, void *buf, size_t size)
  75 {
  76         //TRACEMSG("addr:%d, size:%d", addr, size);
  77         ASSERT(addr + size <= d->page_size);
  78         memcpy(buf, &page_buffer[addr], size);
  79
  80         return size;
  81 }
  82
  83 static bool disk_page_load(struct BattFsSuper *d, pgcnt_t page)
  84 {
  85         FILE *fp = (FILE *)d->disk_ctx;
  86         //TRACEMSG("page:%d", page);
  87         fseek(fp, page * d->page_size, SEEK_SET);
  88         return fread(page_buffer, 1, d->page_size, fp) == d->page_size;
  89 }
  90
  91 static bool disk_page_save(struct BattFsSuper *d, pgcnt_t page)
  92 {
  93         FILE *fp = (FILE *)d->disk_ctx;
  94         //TRACEMSG("page:%d", page);
  95         fseek(fp, page * d->page_size, SEEK_SET);
  96         return fwrite(page_buffer, 1, d->page_size, fp) == d->page_size;
  97 }
  98
  99 static bool disk_page_erase(struct BattFsSuper *d, pgcnt_t page)
 100 {
 101         FILE *fp = (FILE *)d->disk_ctx;
 102         //TRACEMSG("page:%d", page);
 103         fseek(fp, page * d->page_size, SEEK_SET);
 104
 105         for (int i = 0; i < d->page_size; i++)
 106                 if (fputc(0xff, fp) == EOF)
 107                         return false;
 108         return true;
 109 }
 110
 111 static bool disk_close(struct BattFsSuper *d)
 112 {
 113         FILE *fp = (FILE *)d->disk_ctx;
 114         //TRACE;
 115         free(d->page_array);
 116         return (fclose(fp) != EOF);
 117 }
 118
 119 static bool disk_open(struct BattFsSuper *d)
 120 {
 121         d->read = disk_page_read;
 122         d->load = disk_page_load;
 123         d->bufferWrite = disk_buffer_write;
 124         d->bufferRead = disk_buffer_read;
 125         d->save = disk_page_save;
 126         d->erase = disk_page_erase;
 127         d->close = disk_close;
 128
 129         FILE *fp = fopen(test_filename, "r+b");
 130         ASSERT(fp);
 131         d->disk_ctx = fp;
 132         fseek(fp, 0, SEEK_END);
 133         d->page_size = PAGE_SIZE;
 134         d->page_count = ftell(fp) / d->page_size;
 135         d->page_array = malloc(d->page_count * sizeof(pgcnt_t));
 136         //TRACEMSG("page_size:%d, page_count:%d\n", d->page_size, d->page_count);
 137         return (fp && d->page_array);
 138 }
 139
 140 static void testCheck(BattFsSuper *disk, pgcnt_t *reference)
 141 {
 142         ASSERT(disk_open(disk));
 143         ASSERT(battfs_mount(disk));
 144         ASSERT(battfs_fsck(disk));
 145
 146         for (int i = 0; i < disk->page_count; i++)
 147         {
 148                 if (disk->page_array[i] != reference[i])
 149                 {
 150                         kprintf("Error at addr %d: page_array read", i);
 151                         for (pgcnt_t i = 0; i < disk->page_count; i++)
 152                         {
 153                                 if (!(i % 16))
 154                                         kputchar('\n');
 155                                 kprintf("%04d ", disk->page_array[i]);
 156                         }
 157                         kputchar('\n');
 158                         kprintf("Expected:");
 159                         for (pgcnt_t i = 0; i < disk->page_count; i++)
 160                         {
 161                                 if (!(i % 16))
 162                                         kputchar('\n');
 163                                 kprintf("%04d ", reference[i]);
 164                         }
 165                         kputchar('\n');
 166                         battfs_umount(disk);
 167                         exit(2);
 168                 }
 169         }
 170
 171         ASSERT(battfs_fsck(disk));
 172         ASSERT(battfs_umount(disk));
 173 }
 174
 175 static void diskNew(BattFsSuper *disk)
 176 {
 177         pgcnt_t ref[PAGE_COUNT];
 178         TRACEMSG("1: disk new\n");
 179
 180         FILE *fpt = fopen(test_filename, "w+");
 181
 182         for (int i = 0; i < FILE_SIZE; i++)
 183                 fputc(0xff, fpt);
 184         fclose(fpt);
 185         for (int i = 0; i < PAGE_COUNT; i++)
 186                 ref[i] = i;
 187
 188         testCheck(disk, ref);
 189         TRACEMSG("1: passed\n");
 190 }
 191
 192 static void disk1File(BattFsSuper *disk)
 193 {
 194         pgcnt_t ref[PAGE_COUNT];
 195         TRACEMSG("2: disk full with 1 contiguos file\n");
 196
 197
 198         FILE *fp = fopen(test_filename, "w+");
 199
 200         for (int i = 0; i < PAGE_COUNT; i++)
 201         {
 202                 battfs_writeTestBlock(disk, i, 0, 0, disk->data_size, i);
 203                 ref[i] = i;
 204         }
 205         fclose(fp);
 206
 207         testCheck(disk, ref);
 208         TRACEMSG("2: passed\n");
 209 }
 210
 211
 212 static void diskHalfFile(BattFsSuper *disk)
 213 {
 214         pgcnt_t ref[PAGE_COUNT];
 215         TRACEMSG("3: disk half full with 1 contiguos file, rest unformatted\n");
 216
 217
 218         FILE *fp = fopen(test_filename, "w+");
 219
 220         for (int i = 0; i < PAGE_COUNT / 2; i++)
 221         {
 222                 battfs_writeTestBlock(disk, i, 0, 0, disk->data_size, i);
 223                 ref[i] = i;
 224         }
 225         fseek(fp, FILE_SIZE / 2, SEEK_SET);
 226         for (int i = FILE_SIZE / 2; i < FILE_SIZE; i++)
 227                 fputc(0xff, fp);
 228         fclose(fp);
 229
 230         for (int i = PAGE_COUNT / 2; i < PAGE_COUNT; i++)
 231         {
 232                 ref[i] = i;
 233         }
 234
 235
 236         testCheck(disk, ref);
 237         TRACEMSG("3: passed\n");
 238 }
 239
 240
 241 static void oldSeq1(BattFsSuper *disk)
 242 {
 243         pgcnt_t ref[4];
 244         TRACEMSG("6: 1 file with 1 old seq num, 1 free block\n");
 245
 246
 247         FILE *fp = fopen(test_filename, "w+");
 248         // page, inode, seq, fill, pgoff
 249         battfs_writeTestBlock(disk, 0, 0, 0, disk->data_size, 0);
 250         battfs_writeTestBlock(disk, 1, 0, 0, disk->data_size, 1);
 251         battfs_writeTestBlock(disk, 2, 0, 1, disk->data_size, 1);
 252         disk->erase(disk, 3);
 253
 254
 255         fclose(fp);
 256         ref[0] = 0;
 257         ref[1] = 2;
 258         ref[2] = 1;
 259         ref[3] = 3;
 260
 261         testCheck(disk, ref);
 262         TRACEMSG("6: passed\n");
 263 }
 264
 265 static void oldSeq2(BattFsSuper *disk)
 266 {
 267         pgcnt_t ref[4];
 268         TRACEMSG("7: 1 file with 1 old seq num, 1 free block\n");
 269
 270
 271         FILE *fp = fopen(test_filename, "w+");
 272         // page, inode, seq, fill, pgoff
 273         battfs_writeTestBlock(disk, 0, 0, 0, disk->data_size, 0);
 274         battfs_writeTestBlock(disk, 1, 0, 1, disk->data_size, 1);
 275         battfs_writeTestBlock(disk, 2, 0, 0, disk->data_size, 1);
 276         disk->erase(disk, 3);
 277
 278         fclose(fp);
 279         ref[0] = 0;
 280         ref[1] = 1;
 281         ref[2] = 2;
 282         ref[3] = 3;
 283
 284         testCheck(disk, ref);
 285         TRACEMSG("7: passed\n");
 286 }
 287
 288 static void oldSeq3(BattFsSuper *disk)
 289 {
 290         pgcnt_t ref[4];
 291         TRACEMSG("8: 1 file with 1 old seq num, 1 free block\n");
 292
 293
 294         FILE *fp = fopen(test_filename, "w+");
 295
 296         // page, inode, seq, fill, pgoff
 297         disk->erase(disk, 0);
 298         battfs_writeTestBlock(disk, 1, 0, 0, disk->data_size, 0);
 299         battfs_writeTestBlock(disk, 2, 0, 1, disk->data_size, 1);
 300         battfs_writeTestBlock(disk, 3, 0, 0, disk->data_size, 1);
 301
 302
 303         fclose(fp);
 304         ref[0] = 1;
 305         ref[1] = 2;
 306         ref[2] = 0;
 307         ref[3] = 3;
 308
 309         testCheck(disk, ref);
 310         TRACEMSG("8: passed\n");
 311 }
 312
 313 static void oldSeq2File(BattFsSuper *disk)
 314 {
 315         pgcnt_t ref[8];
 316         TRACEMSG("9: 2 file with old seq num, 2 free block\n");
 317
 318
 319         FILE *fp = fopen(test_filename, "w+");
 320
 321         // page, inode, seq, fill, pgoff
 322         disk->erase(disk, 0);
 323         battfs_writeTestBlock(disk, 1, 0, 0, disk->data_size, 0);
 324         battfs_writeTestBlock(disk, 2, 0, 3, disk->data_size, 1);
 325         battfs_writeTestBlock(disk, 3, 0, 0, disk->data_size, 1);
 326         disk->erase(disk, 4);
 327         battfs_writeTestBlock(disk, 5, 4, 0, disk->data_size, 0);
 328         battfs_writeTestBlock(disk, 6, 4, 1, disk->data_size, 1);
 329         battfs_writeTestBlock(disk, 7, 4, 0, disk->data_size, 1);
 330
 331
 332         fclose(fp);
 333         ref[0] = 1;
 334         ref[1] = 2;
 335         ref[2] = 5;
 336         ref[3] = 6;
 337         ref[4] = 0;
 338         ref[5] = 3;
 339         ref[6] = 4;
 340         ref[7] = 7;
 341
 342         testCheck(disk, ref);
 343         TRACEMSG("9: passed\n");
 344 }
 345
 346 static void openFile(BattFsSuper *disk)
 347 {
 348         BattFs fd1;
 349         BattFs fd2;
 350         TRACEMSG("10: open file test, inode 0 and inode 4\n");
 351
 352         FILE *fp = fopen(test_filename, "w+");
 353
 354         int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
 355         inode_t INODE = 0;
 356         inode_t INODE2 = 4;
 357         inode_t INEXISTENT_INODE = 123;
 358         unsigned int MODE = 0;
 359
 360         // page, inode, seq, fill, pgoff
 361         disk->erase(disk, 0);
 362         battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
 363         battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
 364         battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
 365         disk->erase(disk, 4);
 366         battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
 367         battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
 368         battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
 369
 370         fclose(fp);
 371
 372         ASSERT(disk_open(disk));
 373         ASSERT(battfs_mount(disk));
 374         ASSERT(battfs_fsck(disk));
 375         ASSERT(!battfs_fileExists(disk, INEXISTENT_INODE));
 376
 377         ASSERT(battfs_fileExists(disk, INODE));
 378         ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
 379         ASSERT(fd1.fd.size == PAGE_FILL * 2);
 380         ASSERT(fd1.fd.seek_pos == 0);
 381         ASSERT(fd1.mode == MODE);
 382         ASSERT(fd1.inode == INODE);
 383         ASSERT(fd1.start == &disk->page_array[0]);
 384         ASSERT(fd1.disk == disk);
 385         ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link);
 386
 387         ASSERT(kfile_reopen(&fd1.fd) == &fd1.fd);
 388         ASSERT(fd1.fd.size == PAGE_FILL * 2);
 389         ASSERT(fd1.fd.seek_pos == 0);
 390         ASSERT(fd1.mode == MODE);
 391         ASSERT(fd1.inode == INODE);
 392         ASSERT(fd1.start == &disk->page_array[0]);
 393         ASSERT(fd1.disk == disk);
 394         ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link);
 395
 396         ASSERT(battfs_fileExists(disk, INODE2));
 397         ASSERT(battfs_fileopen(disk, &fd2, INODE2, MODE));
 398         ASSERT(fd2.fd.size == PAGE_FILL * 2);
 399         ASSERT(fd2.fd.seek_pos == 0);
 400         ASSERT(fd2.mode == MODE);
 401         ASSERT(fd2.inode == INODE2);
 402         ASSERT(fd2.start == &disk->page_array[2]);
 403         ASSERT(fd2.disk == disk);
 404         ASSERT(LIST_HEAD(&disk->file_opened_list)->succ == &fd2.link);
 405
 406         ASSERT(kfile_close(&fd1.fd) == 0);
 407         ASSERT(kfile_error(&fd1.fd) == 0);
 408         ASSERT(kfile_close(&fd2.fd) == 0);
 409         ASSERT(kfile_error(&fd2.fd) == 0);
 410         ASSERT(LIST_EMPTY(&disk->file_opened_list));
 411         ASSERT(battfs_fsck(disk));
 412         ASSERT(battfs_umount(disk));
 413
 414         TRACEMSG("10: passed\n");
 415 }
 416
 417 static void readFile(BattFsSuper *disk)
 418 {
 419         BattFs fd1;
 420         uint8_t buf[16];
 421
 422         TRACEMSG("11: read file test\n");
 423
 424         FILE *fp = fopen(test_filename, "w+");
 425
 426         unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
 427         inode_t INODE = 0;
 428         inode_t INODE2 = 4;
 429         unsigned int MODE = 0;
 430
 431         disk->erase(disk, 0);
 432         battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
 433         battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
 434         battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
 435         disk->erase(disk, 4);
 436         battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
 437         battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
 438         battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
 439
 440         fclose(fp);
 441
 442         ASSERT(disk_open(disk));
 443         ASSERT(battfs_mount(disk));
 444         ASSERT(battfs_fsck(disk));
 445         ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
 446         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 447         ASSERT(fd1.fd.seek_pos == sizeof(buf));
 448         for (size_t i = 0; i < sizeof(buf); i++)
 449                 ASSERT(buf[i] == 0xff);
 450
 451         ASSERT(kfile_close(&fd1.fd) == 0);
 452         ASSERT(kfile_error(&fd1.fd) == 0);
 453         ASSERT(battfs_fsck(disk));
 454         ASSERT(battfs_umount(disk));
 455
 456         TRACEMSG("11: passed\n");
 457 }
 458
 459 static void readAcross(BattFsSuper *disk)
 460 {
 461         BattFs fd1;
 462
 463         TRACEMSG("12: read file test across page boundary and seek test\n");
 464
 465         FILE *fp = fopen(test_filename, "w+");
 466
 467         const unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
 468         inode_t INODE = 0;
 469         unsigned int MODE = 0;
 470         uint8_t buf[PAGE_FILL + BATTFS_HEADER_LEN / 2];
 471
 472         disk->erase(disk, 0);
 473         battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
 474         battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
 475         battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
 476         disk->erase(disk, 4);
 477         battfs_writeTestBlock(disk, 5, INODE, 0, PAGE_FILL, 2);
 478         battfs_writeTestBlock(disk, 6, INODE, 1, PAGE_FILL, 3);
 479         battfs_writeTestBlock(disk, 7, INODE, 0, PAGE_FILL, 3);
 480
 481         fclose(fp);
 482
 483         ASSERT(disk_open(disk));
 484         ASSERT(battfs_mount(disk));
 485         ASSERT(battfs_fsck(disk));
 486         ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
 487
 488         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 489         ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf));
 490         for (size_t i = 0; i < sizeof(buf); i++)
 491                 ASSERT(buf[i] == 0xff);
 492
 493         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 494         ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 2);
 495         for (size_t i = 0; i < sizeof(buf); i++)
 496                 ASSERT(buf[i] == 0xff);
 497
 498         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 499         ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 3);
 500         for (size_t i = 0; i < sizeof(buf); i++)
 501                 ASSERT(buf[i] == 0xff);
 502
 503         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == PAGE_FILL * 4 - sizeof(buf) * 3);
 504         ASSERT(fd1.fd.seek_pos == (kfile_off_t)fd1.fd.size);
 505         for (size_t i = 0; i < PAGE_FILL * 4 - sizeof(buf) * 3; i++)
 506                 ASSERT(buf[i] == 0xff);
 507
 508         ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
 509         ASSERT(fd1.fd.seek_pos == 0);
 510
 511         ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_END) == (kfile_off_t)fd1.fd.size);
 512         ASSERT(fd1.fd.seek_pos = (kfile_off_t)fd1.fd.size);
 513
 514         ASSERT(kfile_close(&fd1.fd) == 0);
 515         ASSERT(kfile_error(&fd1.fd) == 0);
 516         ASSERT(battfs_fsck(disk));
 517         ASSERT(battfs_umount(disk));
 518
 519         TRACEMSG("12: passed\n");
 520 }
 521
 522
 523 static void writeFile(BattFsSuper *disk)
 524 {
 525         BattFs fd1;
 526         uint8_t buf[PAGE_SIZE - BATTFS_HEADER_LEN];
 527
 528         TRACEMSG("13: write file test\n");
 529
 530         FILE *fp = fopen(test_filename, "w+");
 531
 532         unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
 533         inode_t INODE = 0;
 534         inode_t INODE2 = 4;
 535         unsigned int MODE = 0;
 536
 537         disk->erase(disk, 0);
 538         battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
 539         battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
 540         battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
 541         disk->erase(disk, 4);
 542         battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
 543         battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
 544         battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
 545
 546         fclose(fp);
 547
 548         for (size_t i = 0; i < sizeof(buf); i++)
 549                 buf[i] = i;
 550
 551         ASSERT(disk_open(disk));
 552         ASSERT(battfs_mount(disk));
 553         ASSERT(battfs_fsck(disk));
 554         ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
 555         ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 556         ASSERT(fd1.fd.seek_pos == sizeof(buf));
 557         ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
 558         ASSERT(fd1.fd.seek_pos == 0);
 559
 560         memset(buf, 0, sizeof(buf));
 561         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 562         for (size_t i = 0; i < sizeof(buf); i++)
 563                 ASSERT(buf[i] == i);
 564
 565         ASSERT(kfile_close(&fd1.fd) == 0);
 566         ASSERT(kfile_error(&fd1.fd) == 0);
 567         ASSERT(battfs_fsck(disk));
 568         ASSERT(battfs_umount(disk));
 569
 570         TRACEMSG("13: passed\n");
 571 }
 572
 573 static void writeAcross(BattFsSuper *disk)
 574 {
 575         BattFs fd1;
 576
 577         TRACEMSG("14: write file test across page boundary and seek test\n");
 578
 579         FILE *fp = fopen(test_filename, "w+");
 580
 581         const unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
 582         inode_t INODE = 0;
 583         unsigned int MODE = 0;
 584         uint8_t buf[PAGE_FILL + BATTFS_HEADER_LEN / 2];
 585
 586         disk->erase(disk, 0);
 587         battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
 588         battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
 589         battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
 590         disk->erase(disk, 4);
 591         battfs_writeTestBlock(disk, 5, INODE, 0, PAGE_FILL, 2);
 592         battfs_writeTestBlock(disk, 6, INODE, 1, PAGE_FILL, 3);
 593         battfs_writeTestBlock(disk, 7, INODE, 0, PAGE_FILL, 3);
 594
 595         fclose(fp);
 596
 597         ASSERT(disk_open(disk));
 598         ASSERT(battfs_mount(disk));
 599         ASSERT(battfs_fsck(disk));
 600         ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
 601
 602         uint8_t val = 0;
 603         for (size_t i = 0; i < sizeof(buf); i++)
 604                 buf[i] = val++;
 605         ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 606         ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf));
 607
 608         for (size_t i = 0; i < sizeof(buf); i++)
 609                 buf[i] = val++;
 610         ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 611         ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 2);
 612
 613         for (size_t i = 0; i < sizeof(buf); i++)
 614                 buf[i] = val++;
 615         ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 616         ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 3);
 617
 618         ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
 619         ASSERT(fd1.fd.seek_pos == 0);
 620         val = 0;
 621
 622         memset(buf, 0, sizeof(buf));
 623         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 624         for (size_t i = 0; i < sizeof(buf); i++)
 625                 ASSERT(buf[i] == val++);
 626
 627         memset(buf, 0, sizeof(buf));
 628         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 629         for (size_t i = 0; i < sizeof(buf); i++)
 630                 ASSERT(buf[i] == val++);
 631
 632         memset(buf, 0, sizeof(buf));
 633         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 634         for (size_t i = 0; i < sizeof(buf); i++)
 635                 ASSERT(buf[i] == val++);
 636
 637         ASSERT(fd1.fd.seek_pos == (kfile_off_t)sizeof(buf) * 3);
 638
 639         ASSERT(kfile_close(&fd1.fd) == 0);
 640         ASSERT(kfile_error(&fd1.fd) == 0);
 641         ASSERT(battfs_fsck(disk));
 642         ASSERT(battfs_umount(disk));
 643
 644         TRACEMSG("14: passed\n");
 645 }
 646
 647 static void createFile(BattFsSuper *disk)
 648 {
 649         TRACEMSG("15: file creation on new disk\n");
 650
 651         FILE *fpt = fopen(test_filename, "w+");
 652
 653         for (int i = 0; i < FILE_SIZE; i++)
 654                 fputc(0xff, fpt);
 655         fclose(fpt);
 656
 657         BattFs fd1;
 658         inode_t INODE = 0;
 659         unsigned int MODE = BATTFS_CREATE;
 660
 661         ASSERT(disk_open(disk));
 662         ASSERT(battfs_mount(disk));
 663         ASSERT(battfs_fsck(disk));
 664         ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
 665         for (int i = 0; i < FILE_SIZE / 2; i++)
 666                 ASSERT(kfile_putc(i, &fd1.fd) != EOF);
 667
 668         ASSERT(fd1.fd.seek_pos == FILE_SIZE / 2);
 669         ASSERT(fd1.fd.size == FILE_SIZE / 2);
 670         ASSERT(kfile_close(&fd1.fd) == 0);
 671         ASSERT(kfile_error(&fd1.fd) == 0);
 672         ASSERT(battfs_fsck(disk));
 673         ASSERT(battfs_umount(disk));
 674
 675         ASSERT(disk_open(disk));
 676         ASSERT(battfs_mount(disk));
 677         ASSERT(battfs_fsck(disk));
 678         ASSERT(battfs_fileopen(disk, &fd1, INODE, 0));
 679         ASSERT(fd1.fd.size == FILE_SIZE / 2);
 680         ASSERT(fd1.fd.seek_pos == 0);
 681
 682         uint8_t buf[FILE_SIZE / 2];
 683         memset(buf, 0, sizeof(buf));
 684         ASSERT(kfile_read(&fd1.fd, buf, FILE_SIZE / 2) == FILE_SIZE / 2);
 685
 686         for (int i = 0; i < FILE_SIZE / 2; i++)
 687                 ASSERT(buf[i] == (i & 0xff));
 688
 689         ASSERT(fd1.fd.seek_pos == FILE_SIZE / 2);
 690         ASSERT(kfile_close(&fd1.fd) == 0);
 691         ASSERT(kfile_error(&fd1.fd) == 0);
 692         ASSERT(battfs_fsck(disk));
 693         ASSERT(battfs_umount(disk));
 694
 695
 696         TRACEMSG("15: passed\n");
 697 }
 698
 699 static void multipleWrite(BattFsSuper *disk)
 700 {
 701         TRACEMSG("16: multiple write on file\n");
 702
 703         FILE *fpt = fopen(test_filename, "w+");
 704
 705         for (int i = 0; i < FILE_SIZE; i++)
 706                 fputc(0xff, fpt);
 707         fclose(fpt);
 708
 709         BattFs fd1;
 710         inode_t INODE = 0;
 711         unsigned int MODE = BATTFS_CREATE;
 712         uint8_t buf[1000];
 713
 714         ASSERT(disk_open(disk));
 715         ASSERT(battfs_mount(disk));
 716         ASSERT(battfs_fsck(disk));
 717         ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
 718
 719         int j;
 720         for (j = 1; j < 1013; j++)
 721         {
 722                 for (unsigned i = 0; i < sizeof(buf); i++)
 723                         buf[i] = j+i;
 724
 725                 ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 726                 ASSERT(fd1.fd.seek_pos == sizeof(buf));
 727                 ASSERT(fd1.fd.size == sizeof(buf));
 728                 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
 729                 memset(buf, 0, sizeof(buf));
 730                 ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 731                 ASSERT(fd1.fd.seek_pos == sizeof(buf));
 732                 for (unsigned i = 0; i < sizeof(buf); i++)
 733                         ASSERT(buf[i] == ((j+i) & 0xff));
 734                 ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
 735                 ASSERT(disk->free_bytes == disk->disk_size - sizeof(buf));
 736         }
 737         ASSERT(kfile_close(&fd1.fd) == 0);
 738         ASSERT(kfile_error(&fd1.fd) == 0);
 739         ASSERT(battfs_fsck(disk));
 740         ASSERT(battfs_umount(disk));
 741
 742         ASSERT(disk_open(disk));
 743         ASSERT(battfs_mount(disk));
 744         ASSERT(battfs_fsck(disk));
 745         ASSERT(disk->free_bytes == disk->disk_size - sizeof(buf));
 746         ASSERT(battfs_fileopen(disk, &fd1, INODE, 0));
 747         ASSERT(fd1.fd.size == sizeof(buf));
 748         memset(buf, 0, sizeof(buf));
 749         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 750         for (unsigned i = 0; i < sizeof(buf); i++)
 751                         ASSERT(buf[i] == ((j-1+i) & 0xff));
 752         ASSERT(kfile_close(&fd1.fd) == 0);
 753         ASSERT(kfile_error(&fd1.fd) == 0);
 754         ASSERT(battfs_fsck(disk));
 755         ASSERT(battfs_umount(disk));
 756
 757
 758         TRACEMSG("16: passed\n");
 759 }
 760
 761 static void increaseFile(BattFsSuper *disk)
 762 {
 763         TRACEMSG("17: increasing dimension of a file with multiple open files.\n");
 764
 765         FILE *fpt = fopen(test_filename, "w+");
 766
 767         for (int i = 0; i < FILE_SIZE / 10; i++)
 768                 fputc(0xff, fpt);
 769         fclose(fpt);
 770
 771         BattFs fd1,fd2;
 772         inode_t INODE1 = 1, INODE2 = 2;
 773         unsigned int MODE = BATTFS_CREATE;
 774         uint8_t buf[1000];
 775
 776         ASSERT(disk_open(disk));
 777         ASSERT(battfs_mount(disk));
 778         ASSERT(battfs_fsck(disk));
 779         ASSERT(battfs_fileopen(disk, &fd1, INODE1, MODE));
 780         ASSERT(battfs_fileopen(disk, &fd2, INODE2, MODE));
 781         for (unsigned i = 0; i < sizeof(buf); i++)
 782                 ASSERT(kfile_putc(i, &fd2.fd) != EOF);
 783         ASSERT(kfile_seek(&fd2.fd, 0, KSM_SEEK_SET) == 0);
 784         memset(buf, 0, sizeof(buf));
 785         ASSERT(kfile_read(&fd2.fd, buf, sizeof(buf)) == sizeof(buf));
 786
 787         for (unsigned i = 0; i < sizeof(buf); i++)
 788                 ASSERT(buf[i] == (i & 0xff));
 789         ASSERT(kfile_seek(&fd2.fd, 0, KSM_SEEK_SET) == 0);
 790
 791         for (unsigned i = 0; i < sizeof(buf); i++)
 792                 ASSERT(kfile_putc(i, &fd1.fd) != EOF);
 793
 794         memset(buf, 0, sizeof(buf));
 795         ASSERT(kfile_read(&fd2.fd, buf, sizeof(buf)) == sizeof(buf));
 796
 797         for (unsigned i = 0; i < sizeof(buf); i++)
 798                 ASSERT(buf[i] == (i & 0xff));
 799
 800         ASSERT(kfile_close(&fd1.fd) == 0);
 801         ASSERT(kfile_error(&fd1.fd) == 0);
 802         ASSERT(kfile_close(&fd2.fd) == 0);
 803         ASSERT(kfile_error(&fd2.fd) == 0);
 804         ASSERT(battfs_fsck(disk));
 805         ASSERT(battfs_umount(disk));
 806
 807         TRACEMSG("17: passed\n");
 808 }
 809
 810 static void readEOF(BattFsSuper *disk)
 811 {
 812         BattFs fd1;
 813         uint8_t buf[16];
 814
 815         TRACEMSG("18: reading over EOF test\n");
 816
 817         FILE *fp = fopen(test_filename, "w+");
 818
 819         unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
 820         inode_t INODE = 0;
 821         inode_t INODE2 = 4;
 822         unsigned int MODE = 0;
 823
 824         disk->erase(disk, 0);
 825         battfs_writeTestBlock(disk, 1, INODE, 0, PAGE_FILL, 0);
 826         battfs_writeTestBlock(disk, 2, INODE, 3, PAGE_FILL, 1);
 827         battfs_writeTestBlock(disk, 3, INODE, 0, PAGE_FILL, 1);
 828         disk->erase(disk, 4);
 829         battfs_writeTestBlock(disk, 5, INODE2, 0, PAGE_FILL, 0);
 830         battfs_writeTestBlock(disk, 6, INODE2, 1, PAGE_FILL, 1);
 831         battfs_writeTestBlock(disk, 7, INODE2, 0, PAGE_FILL, 1);
 832
 833         fclose(fp);
 834
 835         ASSERT(disk_open(disk));
 836         ASSERT(battfs_mount(disk));
 837         ASSERT(battfs_fsck(disk));
 838         ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
 839         ASSERT(kfile_seek(&fd1.fd, fd1.fd.size + 10, SEEK_SET) == fd1.fd.size + 10);
 840         ASSERT(fd1.fd.seek_pos == fd1.fd.size + 10);
 841         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == 0);
 842
 843         ASSERT(kfile_close(&fd1.fd) == 0);
 844         ASSERT(kfile_error(&fd1.fd) == 0);
 845         ASSERT(battfs_fsck(disk));
 846         ASSERT(battfs_umount(disk));
 847
 848         TRACEMSG("18: passed\n");
 849 }
 850
 851 static void writeEOF(BattFsSuper *disk)
 852 {
 853         TRACEMSG("19: writing over EOF test\n");
 854
 855         FILE *fpt = fopen(test_filename, "w+");
 856
 857         for (int i = 0; i < FILE_SIZE / 5; i++)
 858                 fputc(0xff, fpt);
 859         fclose(fpt);
 860
 861         BattFs fd1;
 862         inode_t INODE = 0;
 863         unsigned int MODE = BATTFS_CREATE;
 864         uint8_t buf[FILE_SIZE / 13];
 865
 866         for (int i = 0; i < 2; i++)
 867                 buf[i] = i;
 868
 869         ASSERT(disk_open(disk));
 870         ASSERT(battfs_mount(disk));
 871         ASSERT(battfs_fsck(disk));
 872         disk_size_t prev_free = disk->free_bytes;
 873         ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
 874         ASSERT(fd1.fd.size == 0);
 875
 876         ASSERT(kfile_seek(&fd1.fd, 2, KSM_SEEK_END) == 2);
 877         ASSERT(kfile_write(&fd1.fd, buf, 2));
 878         ASSERT(fd1.fd.seek_pos == 4);
 879         ASSERT(fd1.fd.size == 4);
 880         ASSERT(disk->free_bytes == prev_free - 4);
 881         ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
 882         memset(buf, 0, 2);
 883         ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
 884         for (int i = 0; i < 2; i++)
 885                 ASSERT(buf[i] == 0);
 886
 887         memset(buf, 0, 2);
 888         ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
 889         for (int i = 0; i < 2; i++)
 890                 ASSERT(buf[i] == (i & 0xff));
 891
 892         ASSERT(kfile_seek(&fd1.fd, sizeof(buf), KSM_SEEK_END) == sizeof(buf) + 4);
 893         for (unsigned i = 0; i < sizeof(buf); i++)
 894                 buf[i] = i;
 895         ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)));
 896         ASSERT(fd1.fd.seek_pos == sizeof(buf) * 2 + 4);
 897         ASSERT(fd1.fd.size == sizeof(buf) * 2 + 4);
 898         ASSERT(disk->free_bytes == prev_free - sizeof(buf) * 2 - 4);
 899
 900         ASSERT(kfile_seek(&fd1.fd, 0, KSM_SEEK_SET) == 0);
 901
 902         memset(buf, 0, 2);
 903         ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
 904         ASSERT(fd1.fd.seek_pos == 2);
 905         for (int i = 0; i < 2; i++)
 906                 ASSERT(buf[i] == 0);
 907
 908         memset(buf, 0, 2);
 909         ASSERT(kfile_read(&fd1.fd, buf, 2) == 2);
 910         ASSERT(fd1.fd.seek_pos == 4);
 911         for (int i = 0; i < 2; i++)
 912                 ASSERT(buf[i] == (i & 0xff));
 913
 914         memset(buf, 0, 4);
 915         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 916         ASSERT(fd1.fd.seek_pos == sizeof(buf) + 4);
 917         for (unsigned i = 0; i < sizeof(buf); i++)
 918                 ASSERT(buf[i] == 0);
 919
 920         memset(buf, 0, sizeof(buf));
 921         ASSERT(kfile_read(&fd1.fd, buf, sizeof(buf)) == sizeof(buf));
 922         for (unsigned i = 0; i < sizeof(buf); i++)
 923                 ASSERT(buf[i] == (i & 0xff));
 924
 925         ASSERT(kfile_close(&fd1.fd) == 0);
 926         ASSERT(kfile_error(&fd1.fd) == 0);
 927         ASSERT(battfs_fsck(disk));
 928         ASSERT(battfs_umount(disk));
 929
 930         TRACEMSG("19: passed\n");
 931
 932 }
 933
 934 static void endOfSpace(BattFsSuper *disk)
 935 {
 936         TRACEMSG("20: what happens when disk space is over?\n");
 937         BattFs fd1;
 938         uint8_t buf[(PAGE_SIZE - BATTFS_HEADER_LEN) * 5];
 939
 940         FILE *fp = fopen(test_filename, "w+");
 941
 942         unsigned int PAGE_FILL = PAGE_SIZE - BATTFS_HEADER_LEN;
 943         inode_t INODE = 0;
 944         unsigned int MODE = BATTFS_CREATE;
 945
 946         disk->erase(disk, 0);
 947         disk->erase(disk, 1);
 948         disk->erase(disk, 2);
 949         disk->erase(disk, 3);
 950         fclose(fp);
 951
 952         ASSERT(disk_open(disk));
 953         ASSERT(battfs_mount(disk));
 954         ASSERT(battfs_fsck(disk));
 955         ASSERT(battfs_fileopen(disk, &fd1, INODE, MODE));
 956         ASSERT(kfile_write(&fd1.fd, buf, sizeof(buf)) == PAGE_FILL * 4);
 957         ASSERT(fd1.fd.size == (kfile_off_t)(PAGE_FILL * 4));
 958         ASSERT(fd1.fd.seek_pos == (kfile_off_t)(PAGE_FILL * 4));
 959         ASSERT(disk->free_bytes == 0);
 960
 961         ASSERT(kfile_close(&fd1.fd) == 0);
 962         ASSERT(kfile_error(&fd1.fd) == BATTFS_DISK_GETNEWPAGE_ERR);
 963         ASSERT(battfs_fsck(disk));
 964         ASSERT(battfs_umount(disk));
 965
 966         TRACEMSG("20: passed\n");
 967 }
 968
 969
 970 static void multipleFilesRW(BattFsSuper *disk)
 971 {
 972         TRACEMSG("21: multiple files read/write test\n");
 973
 974         FILE *fpt = fopen(test_filename, "w+");
 975
 976         for (int i = 0; i < FILE_SIZE; i++)
 977                 fputc(0xff, fpt);
 978         fclose(fpt);
 979
 980         #define N_FILES 10
 981         BattFs fd[N_FILES];
 982         unsigned int MODE = BATTFS_CREATE;
 983         uint32_t buf[FILE_SIZE / (4 * N_FILES * sizeof(uint32_t))];
 984
 985         ASSERT(disk_open(disk));
 986         ASSERT(battfs_mount(disk));
 987         ASSERT(battfs_fsck(disk));
 988         for (inode_t i = 0; i < N_FILES; i++)
 989                 ASSERT(battfs_fileopen(disk, &fd[i], i, MODE));
 990
 991         for (int i = N_FILES - 1; i >= 0; i--)
 992         {
 993                 for (uint32_t j = 0; j < countof(buf); j++)
 994                         buf[j] = j+i;
 995
 996                 ASSERT(kfile_write(&fd[i].fd, buf, sizeof(buf)) == sizeof(buf));
 997                 ASSERT(fd[i].fd.size == sizeof(buf));
 998                 ASSERT(fd[i].fd.seek_pos == sizeof(buf));
 999                 ASSERT(kfile_seek(&fd[i].fd, 0, SEEK_SET) == 0);
1000         }
1001
1002         for (inode_t i = 0; i < N_FILES; i++)
1003         {
1004                 memset(buf, 0, sizeof(buf));
1005                 ASSERT(kfile_read(&fd[i].fd, buf, sizeof(buf)) == sizeof(buf));
1006
1007                 for (uint32_t j = 0; j < countof(buf); j++)
1008                         ASSERT(buf[j] == j+i);
1009
1010                 ASSERT(fd[i].fd.size == sizeof(buf));
1011                 ASSERT(fd[i].fd.seek_pos == sizeof(buf));
1012                 ASSERT(kfile_seek(&fd[i].fd, 0, SEEK_SET) == 0);
1013         }
1014
1015         for (inode_t i = 0; i < N_FILES; i++)
1016         {
1017                 ASSERT(kfile_close(&fd[i].fd) == 0);
1018                 ASSERT(kfile_error(&fd[i].fd) == 0);
1019         }
1020
1021         ASSERT(battfs_fsck(disk));
1022         ASSERT(battfs_umount(disk));
1023
1024         ASSERT(disk_open(disk));
1025         ASSERT(battfs_mount(disk));
1026         ASSERT(battfs_fsck(disk));
1027
1028         for (inode_t i = 0; i < N_FILES; i++)
1029                 ASSERT(battfs_fileopen(disk, &fd[i], i, 0));
1030
1031         for (inode_t i = 0; i < N_FILES; i++)
1032         {
1033                 memset(buf, 0, sizeof(buf));
1034                 ASSERT(kfile_read(&fd[i].fd, buf, sizeof(buf)) == sizeof(buf));
1035
1036                 for (uint32_t j = 0; j < countof(buf); j++)
1037                         ASSERT(buf[j] == j+i);
1038
1039                 ASSERT(fd[i].fd.size == sizeof(buf));
1040                 ASSERT(fd[i].fd.seek_pos == sizeof(buf));
1041                 ASSERT(kfile_seek(&fd[i].fd, 0, SEEK_SET) == 0);
1042         }
1043
1044         for (inode_t i = 0; i < N_FILES; i++)
1045         {
1046                 ASSERT(kfile_close(&fd[i].fd) == 0);
1047                 ASSERT(kfile_error(&fd[i].fd) == 0);
1048         }
1049
1050         ASSERT(battfs_umount(disk));
1051         TRACEMSG("21: passed\n");
1052 }
1053
1054
1055 static void openAllFiles(BattFsSuper *disk)
1056 {
1057         TRACEMSG("22: try to open a lot of files\n");
1058
1059         FILE *fpt = fopen(test_filename, "w+");
1060
1061         for (int i = 0; i < FILE_SIZE; i++)
1062                 fputc(0xff, fpt);
1063         fclose(fpt);
1064
1065         BattFs fd[BATTFS_MAX_FILES];
1066         unsigned int MODE = BATTFS_CREATE;
1067
1068         ASSERT(disk_open(disk));
1069         ASSERT(battfs_mount(disk));
1070         ASSERT(battfs_fsck(disk));
1071         for (unsigned i = 0; i < countof(fd); i++)
1072                 ASSERT(battfs_fileopen(disk, &fd[i], i, MODE));
1073
1074         ASSERT(battfs_fsck(disk));
1075
1076         for (unsigned i = 0; i < countof(fd); i++)
1077         {
1078                 ASSERT(kfile_close(&fd[i].fd) == 0);
1079                 ASSERT(kfile_error(&fd[i].fd) == 0);
1080         }
1081
1082         ASSERT(battfs_fsck(disk));
1083         ASSERT(battfs_umount(disk));
1084
1085         ASSERT(disk_open(disk));
1086         ASSERT(battfs_mount(disk));
1087         ASSERT(battfs_fsck(disk));
1088
1089
1090         for (unsigned i = 0; i < countof(fd); i++)
1091                 ASSERT(battfs_fileopen(disk, &fd[i], i, MODE));
1092
1093         ASSERT(battfs_fsck(disk));
1094
1095         for (unsigned i = 0; i < countof(fd); i++)
1096         {
1097                 ASSERT(kfile_close(&fd[i].fd) == 0);
1098                 ASSERT(kfile_error(&fd[i].fd) == 0);
1099         }
1100
1101         ASSERT(battfs_fsck(disk));
1102         ASSERT(battfs_umount(disk));
1103         TRACEMSG("22: passed\n");
1104 }
1105
1106
1107 int battfs_testRun(void)
1108 {
1109         BattFsSuper disk;
1110
1111         diskNew(&disk);
1112         disk1File(&disk);
1113         diskHalfFile(&disk);
1114         oldSeq1(&disk);
1115         oldSeq2(&disk);
1116         oldSeq3(&disk);
1117         oldSeq2File(&disk);
1118         openFile(&disk);
1119         readFile(&disk);
1120         readAcross(&disk);
1121         writeFile(&disk);
1122         writeAcross(&disk);
1123         createFile(&disk);
1124         multipleWrite(&disk);
1125         increaseFile(&disk);
1126         readEOF(&disk);
1127         writeEOF(&disk);
1128         endOfSpace(&disk);
1129         multipleFilesRW(&disk);
1130         openAllFiles(&disk);
1131
1132         kprintf("All tests passed!\n");
1133
1134         return 0;
1135 }
1136
1137 int battfs_testSetup(void)
1138 {
1139         return 0;
1140 }
1141
1142 int battfs_testTearDown(void)
1143 {
1144         return 0;
1145 }
1146
1147 TEST_MAIN(battfs);
1148
1149 #endif // _TEST