diff options
author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-11 00:27:06 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-11 00:27:06 +1000 |
commit | b2055f2a1dd2117cdd05ab6596c38c82d3d05240 (patch) | |
tree | 934b34851897b7e781f09da8a8749db473b9f4cd /src/main/java/au/id/zancanaro/javacheck/state/CommandValue.java | |
parent | 60bc9218d0872e40a6857706d51955ee3d058717 (diff) |
Report command lists more nicely (line breaks between commands); report number of nodes visited during shrinking; other small fixes
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/state/CommandValue.java')
-rw-r--r-- | src/main/java/au/id/zancanaro/javacheck/state/CommandValue.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/au/id/zancanaro/javacheck/state/CommandValue.java b/src/main/java/au/id/zancanaro/javacheck/state/CommandValue.java index d2f3419..de0dfc5 100644 --- a/src/main/java/au/id/zancanaro/javacheck/state/CommandValue.java +++ b/src/main/java/au/id/zancanaro/javacheck/state/CommandValue.java @@ -46,7 +46,7 @@ public class CommandValue<T> { @SuppressWarnings("unchecked") public T get() { - if (values.containsKey(id)) { + if (values != null && values.containsKey(id)) { return (T) values.get(id); } else { throw new NoSuchElementException("Concrete values cannot be supplied prior to being calculated"); |