From edfce37bc21699042baf14ad6d172d3187fe530c Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@zancanaro.id.au>
Date: Mon, 1 Jun 2015 10:38:08 +1000
Subject: Add @DataSource, allow printing of RoseTrees, other small changes to
 generators

---
 src/test/java/au/id/zancanaro/SimpleListOperationsTest.java | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'src/test/java/au/id/zancanaro')

diff --git a/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java b/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java
index 2ff44e7..20f419a 100644
--- a/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java
+++ b/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java
@@ -1,5 +1,6 @@
 package au.id.zancanaro;
 
+import au.id.zancanaro.annotations.DataSource;
 import au.id.zancanaro.annotations.Property;
 import org.junit.runner.RunWith;
 
@@ -14,13 +15,10 @@ import static org.junit.Assert.assertEquals;
 @RunWith(Properties.class)
 public class SimpleListOperationsTest {
 
-    @SuppressWarnings("unused")
-    public static Generator<Integer> integers = integer();
-
-    @SuppressWarnings("unused")
+    @DataSource
     public static Generator<List<Integer>> listOfIntegers = listOf(integer());
 
-    @Property(maxSize = 10000, runs = 10000)
+    @Property
     public void sortingIsIdempotent(List<Integer> list) {
         List<Integer> left = new ArrayList<>(list);
         Collections.sort(left);
-- 
cgit v1.2.3