diff options
| author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-07-06 22:46:02 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-07-06 22:46:02 +1000 |
| commit | a7b074875f241d98877de51a93717d56cf2d19e4 (patch) | |
| tree | 7b5397d3955cbe6bc6a6a2669f9191b657e48591 /src/main/java/au/id/zancanaro/javacheck/junit | |
| parent | 2348f721ba7475b65afeefb108012c564e5653ce (diff) | |
Fix the warnings from the previous commit
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/junit')
| -rw-r--r-- | src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java b/src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java index 4f02a56..620b3d1 100644 --- a/src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java +++ b/src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java @@ -7,6 +7,8 @@ import java.util.List; @SuppressWarnings("WeakerAccess") public class PropertyError extends AssertionError { + private static final long serialVersionUID = 1L; + public PropertyError(String methodName, long seed, ShrinkResult shrunk) { super(shrunk.thrown.getMessage() == null ? String.format("%s(%s)%n\tSeed: %s%n\tVisited: %s; Depth: %s", |