public void shouldTestToStringRenderer() throws Exception {
   ToStringRenderer testSubject0 = ToStringRenderer.getInstance();
   ToStringRenderer result0 = ToStringRenderer.getInstance();
   testSubject0.setShortFormProvider(mock(ShortFormProvider.class));
   testSubject0.setRenderer(mock(OWLObjectRenderer.class));
   String result2 = testSubject0.getRendering(mock(OWLObject.class));
   String result3 = testSubject0.toString();
 }