exceptionverification outputs exception info