Struct llhd::verifier::VerifierError [−][src]
pub struct VerifierError {
pub unit: Option<String>,
pub object: Option<String>,
pub message: String,
}
Expand description
A verification error.
Fields
unit: Option<String>
The unit within which caused the error.
object: Option<String>
The object which caused the error.
message: String
The error message.