From 1003c059b70ce0160aca891a0461ea52aa3239e0 Mon Sep 17 00:00:00 2001
From: Christian Wulf <chw@informatik.uni-kiel.de>
Date: Tue, 18 Nov 2014 11:14:50 +0100
Subject: [PATCH] added assertion for negative check
---
src/test/java/teetime/framework/AnalysisConfigurationTest.java | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/test/java/teetime/framework/AnalysisConfigurationTest.java b/src/test/java/teetime/framework/AnalysisConfigurationTest.java
index 695339bb..26c5554b 100644
--- a/src/test/java/teetime/framework/AnalysisConfigurationTest.java
+++ b/src/test/java/teetime/framework/AnalysisConfigurationTest.java
@@ -1,5 +1,6 @@
package teetime.framework;
+import static org.junit.Assert.assertFalse;
import static org.junit.Assert.assertTrue;
import org.junit.Test;
@@ -28,6 +29,8 @@ public class AnalysisConfigurationTest {
config.init();
assertTrue(config.getConsumerStages().contains(counter));
+ assertFalse(config.getConsumerStages().contains(clock));
+
assertTrue(config.getInfiniteProducerStages().contains(clock));
assertTrue(config.getFiniteProducerStages().contains(producer));
}
--
GitLab