diff options
author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-05-30 02:00:43 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-05-30 02:00:43 +1000 |
commit | d29e1d49116c66adab72b1c1bb49c1fa3d4f8140 (patch) | |
tree | 17363b0d5b939c217cc95e4c57326e01c45d121e /src/test/java/au/id/zancanaro/PropertyTests.java |
Initial commit: only works for plain int typed arguments
Diffstat (limited to 'src/test/java/au/id/zancanaro/PropertyTests.java')
-rw-r--r-- | src/test/java/au/id/zancanaro/PropertyTests.java | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/java/au/id/zancanaro/PropertyTests.java b/src/test/java/au/id/zancanaro/PropertyTests.java new file mode 100644 index 0000000..0c9bb7e --- /dev/null +++ b/src/test/java/au/id/zancanaro/PropertyTests.java @@ -0,0 +1,15 @@ +package au.id.zancanaro; + +import au.id.zancanaro.annotations.Property; +import au.id.zancanaro.annotations.Seed; +import org.junit.Assert; +import org.junit.Assume; +import org.junit.runner.RunWith; + +@RunWith(PropertyTestRunner.class) +public class PropertyTests { + @Property + public void method(int a, int b) { + Assert.assertFalse(a < b); + } +} |