Error handling

exceptions

MvDefException

Bases: Exception

Base class for deliberate MvDef errors

CheckFailure

Bases: MvDefException

MvDef: check failed

AgendaFailure

Bases: MvDefException

MvDef: agenda failed

SrcNotFound

Bases: MvDefException, FileNotFoundError

MvDef: source file doesn't exist.