Module dev.civl.mc

Package dev.civl.mc.log.IF

package dev.civl.mc.log.IF

Module log provides the data structure for logging errors during verification.

Class	Description
CIVLErrorLogger	CIVLErrorLogger logs all errors of the system.
CIVLExecutionException	This represents an error during the execution of a program.
CIVLLogEntry	This represents an entry in the error log of CIVL.