pub fn report_error(message: &str) -> ! {
    // Mimic the format of klee_report_error
    // (We don't use klee_report_error because it is not
    // supported by the kleeRuntest library.)
    eprintln!("SMACK: ERROR:{}", message);
    abort();
}
/// Reject the current execution with a verification failure
/// and an error message.
Reject the current execution with a verification failure
and an error message.
Reject the current execution with a verification failure and an error message .
pub fn report_error(message: &str) -> ! {
    // Mimic the format of klee_report_error
    // (We don't use klee_report_error because it is not
    // supported by the kleeRuntest library.)
    eprintln!("SMACK: ERROR:{}", message);
    abort();
}
pub fn report_error ( message : & str ) -> ! { // Mimic the format of klee_report_error // (We don't use klee_report_error because it is not // supported by the kleeRuntest library.) eprintln ! ( " " message ) ; abort ( ) ; }
Reject the current execution with a verification failure
and an error message.
Reject the current execution with a verification failure and an error message .
message
&str
message
&str