Interesting set of I/O patterns for testing a vhd implementation
Places within an array (either a sector bitmap or BAT)
type operation =
| Create of int64(*
Create a vhd of a given size; open file for I/O*)
Snapshot current file; open new file for I/O*)
| Write of position * string(*
Write copies of a given string over a specific sector*)
type program = operation list
A program is a linear sequence of operations, like a finite execution trace.
val string_of_program : program -> string
A short string useful as a test label
val descr_of_program : program -> string list
Printable program "listing"
val programs : program list
All definied "interesting" programs