removed the scala check messages from the console and added the number of tests for the case where a counter-example is not found
removed the scala check messages from the console and added the number of tests for the case where a counter-example is not found

git-svn-id: 6e6cc2e454d199649d88e5359cf0948e50c044b3@3 40e86570-fb37-0410-8f9f-bd8ce7e8790c

yyuu/specs,yyuu/specs