diff options
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java')
-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", |