package vhd-format

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Vhd_format.Patterns`Source

Interesting set of I/O patterns for testing a vhd implementation

Sourceval sizes : int64 list

Interesting vhd virtual sizes

Sourcetype choice =

Places within an array (either a sector bitmap or BAT)

Sourcetype position = {

}

Position to read or write in a vhd

Sourcetype operation =

| Create of int64
(*
Create a vhd of a given size; open file for I/O
*)
| Snapshot
(*
Snapshot current file; open new file for I/O
*)
| Write of position * string
(*
Write copies of a given string over a specific sector
*)

Individual step

Sourcetype program = operation list

A program is a linear sequence of operations, like a finite execution trace.

Sourceval string_of_program : program -> string

A short string useful as a test label

Sourceval descr_of_program : program -> string list

Printable program "listing"

Sourceval programs : program list

All definied "interesting" programs