@Test(timeout = 120000)
 public void testCumulativeProbabilities() throws Exception {
   if (verifyNoPropertyViolation(config)) {
     org.apache.commons.math3.distribution.ExponentialDistributionTest object =
         new org.apache.commons.math3.distribution.ExponentialDistributionTest();
     object.testCumulativeProbabilities();
   }
 }
 @Test(timeout = 120000)
 public void testIsSupportUpperBoundInclusive() throws Exception {
   if (verifyNoPropertyViolation(config)) {
     org.apache.commons.math3.distribution.ExponentialDistributionTest object =
         new org.apache.commons.math3.distribution.ExponentialDistributionTest();
     object.testIsSupportUpperBoundInclusive();
   }
 }
 @Test(timeout = 120000)
 public void testPreconditions() throws Exception {
   if (verifyUnhandledException(
       "org.apache.commons.math3.exception.NotStrictlyPositiveException", config)) {
     org.apache.commons.math3.distribution.ExponentialDistributionTest object =
         new org.apache.commons.math3.distribution.ExponentialDistributionTest();
     object.testPreconditions();
   }
 }