src/tests/gov/nasa/jpf/test/java/lang/ThrowableTest.java

   1 package gov.nasa.jpf.test.java.lang;
   2
   3 import org.junit.Test;
   4
   5 import gov.nasa.jpf.util.test.TestJPF;
   6
   7 public class ThrowableTest extends TestJPF {
   8   @Test
   9   public void testSetCause() {
  10     if(verifyNoPropertyViolation()) {
  11       RuntimeException e = new RuntimeException();
  12       e.initCause(new NullPointerException());
  13     }
  14   }
  15 }