File error catched in part 1: 2 ./testfile.bin File_Blocks::File_Blocks::1
(This is the expected correct behaviour)
** Test the behaviour for a db with one entry
Read test
Reading all blocks ...
Index 42: 642 
... all blocks read.
Reading blocks with indices {0, 9, ..., 99} ...
[empty]
... all blocks read.
Reading blocks with indices {0, 1, ..., 9} ...
[empty]
... all blocks read.
Reading blocks with indices [0, 10[ ...
[empty]
... all blocks read.
Reading blocks with indices {90, 91, ..., 99} ...
[empty]
... all blocks read.
Reading blocks with indices [90, 100[ ...
[empty]
... all blocks read.
Reading blocks with index 50 ...
[empty]
... all blocks read.
Reading blocks with indices [50, 51[ ...
[empty]
... all blocks read.
Reading blocks with indices [0,10[\cup [50, 51[\cup [90, 100[ ...
[empty]
... all blocks read.
Reading blocks with indices \emptyset ...
[empty]
... all blocks read.
This block of read tests is complete.