print assertion violations