Merge pull request #157 from uwplse/set_throwable_cause

[jpf-core.git] / src / tests / gov / nasa / jpf / test / java / lang / ThrowableTest.java

diff --git a/src/tests/gov/nasa/jpf/test/java/lang/ThrowableTest.java b/src/tests/gov/nasa/jpf/test/java/lang/ThrowableTest.java
new file mode 100644 (file)
index 0000000..7ba19d7
--- /dev/null
+++ b/src/tests/gov/nasa/jpf/test/java/lang/ThrowableTest.java
@@ -0,0 +1,15 @@
+package gov.nasa.jpf.test.java.lang;
+
+import org.junit.Test;
+
+import gov.nasa.jpf.util.test.TestJPF;
+
+public class ThrowableTest extends TestJPF {
+  @Test
+  public void testSetCause() {
+    if(verifyNoPropertyViolation()) {
+      RuntimeException e = new RuntimeException();
+      e.initCause(new NullPointerException());
+    }
+  }
+}