Improved checks

code/file_btest.hny

@@ -1,6 +1,6 @@
 from file import *
 
-const N_FILES = 2
+const N_FILES = 3
 const MAX_FILE_SIZE = 2
 
 const N_READ = 1

code/file_inode.hny

@@ -6,8 +6,8 @@ from alloc import *             # malloc/free
 from list import subseq         # list slicing
 import wal                      # disk with a write-ahead-log
 
-const N_BLOCKS = 10             # total number of disk blocks
-const INODES_PER_BLOCK = 1      # number of inodes that fit in a block
+const N_BLOCKS = 12             # total number of disk blocks
+const INODES_PER_BLOCK = 2      # number of inodes that fit in a block
 const INDIR_PER_BLOCK  = 4      # number of block pointers per block
 
 #/ FREELIST

code/wal.hny

@@ -1,18 +1,18 @@
 from alloc import malloc
 
-const BITS_PER_BLOCK = 16
+const BITS_PER_BLOCK = 3
 
 def new(n_blocks) returns wal:
     wal = malloc([ None, ] * n_blocks)
 
 def getsize(wal) returns size:
-    atomically size = len !wal
+    size = len !wal
 
 def read(wal, bno) returns block:
-    atomically block = (!wal)[bno]
+    block = (!wal)[bno]
 
 def write(wal, bno, block):
-    atomically (!wal)[bno] = block
+    (!wal)[bno] = block
 
 def txbegin(wal, id):
     pass