/*
  * 4 covered goals:
  * 1 net.sf.xisemele.impl.ValidationsImpl.assertNotNull([Ljava/lang/Object;)V: I8 Branch 1 IF_ICMPGE L43 - true
  * 2 net.sf.xisemele.impl.ValidationsImpl.assertNotNull([Ljava/lang/Object;)V: I8 Branch 1 IF_ICMPGE L43 - false
  * 3 net.sf.xisemele.impl.ValidationsImpl.assertNotNull([Ljava/lang/Object;)V: I14 Branch 2 IFNONNULL L44 - true
  * 4 net.sf.xisemele.impl.ValidationsImpl.<init>(Lnet/sf/xisemele/impl/Factory;)V: root-Branch
  */
 @Test
 public void test0() throws Throwable {
   ValidationsImpl validationsImpl0 = new ValidationsImpl((Factory) null);
   String[] stringArray0 = new String[3];
   stringArray0[1] = "}V[8=>WN(LIHnx7DCc";
   validationsImpl0.assertNotNull((Object[]) stringArray0);
 }
 /*
  * 4 covered goals:
  * 1 net.sf.xisemele.impl.ValidationsImpl.assertNotNull([Ljava/lang/Object;)V: I8 Branch 1 IF_ICMPGE L43 - true
  * 2 net.sf.xisemele.impl.ValidationsImpl.assertNotNull([Ljava/lang/Object;)V: I8 Branch 1 IF_ICMPGE L43 - false
  * 3 net.sf.xisemele.impl.ValidationsImpl.assertNotNull([Ljava/lang/Object;)V: I14 Branch 2 IFNONNULL L44 - true
  * 4 net.sf.xisemele.impl.ValidationsImpl.<init>(Lnet/sf/xisemele/impl/Factory;)V: root-Branch
  */
 @Test
 public void test0() throws Throwable {
   ValidationsImpl validationsImpl0 = new ValidationsImpl((Factory) null);
   Object[] objectArray0 = new Object[3];
   objectArray0[0] = (Object) validationsImpl0;
   objectArray0[1] = objectArray0[0];
   validationsImpl0.assertNotNull(objectArray0);
 }
 /*
  * 2 covered goals:
  * 1 net.sf.xisemele.impl.ValidationsImpl.assertNotNull([Ljava/lang/Object;)V: I14 Branch 2 IFNONNULL L44 - false
  * 2 net.sf.xisemele.impl.ValidationsImpl.assertNotNull([Ljava/lang/Object;)V: I8 Branch 1 IF_ICMPGE L43 - false
  */
 @Test
 public void test1() throws Throwable {
   ValidationsImpl validationsImpl0 = new ValidationsImpl((Factory) null);
   Object[] objectArray0 = new Object[6];
   try {
     validationsImpl0.assertNotNull(objectArray0);
     fail("Expecting exception: NullPointerException");
   } catch (NullPointerException e) {
   }
 }