From eda77943df31d0acea4622fd62ea889d63382bd5 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 7 Jun 2016 10:27:42 +0000 Subject: [PATCH] DebugJDD: add SuppressWarning("unused") to some of the test cases git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11394 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/jdd/DebugJDD.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prism/src/jdd/DebugJDD.java b/prism/src/jdd/DebugJDD.java index 37c4056e..31bd0d2f 100644 --- a/prism/src/jdd/DebugJDD.java +++ b/prism/src/jdd/DebugJDD.java @@ -750,6 +750,7 @@ public class DebugJDD * and of the tracing mechanism. */ + @SuppressWarnings("unused") private static void test_1() { // test case: missing dereference @@ -773,6 +774,7 @@ public class DebugJDD JDD.Deref(t); } + @SuppressWarnings("unused") private static void test_4() { // test case: use of a JDDNode with 0 references, but which has other