Implemented SMACKd output in case there are no bugs found.