IO

The io package provides an API for reading the results of the VdM Framework.

vdmtools.io.ScanResults	Container for the results of a scan.
vdmtools.io.read_one_or_many	Read one many ScanResults from the given paths.
vdmtools.io.read_scan_conditions	Read the scan conditions from the conditions file in the given path.