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/GeneratedCommand.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/GeneratedCommand.java')
| -rw-r--r-- | src/main/java/au/id/zancanaro/javacheck/state/GeneratedCommand.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/java/au/id/zancanaro/javacheck/state/GeneratedCommand.java b/src/main/java/au/id/zancanaro/javacheck/state/GeneratedCommand.java index 92a90f9..85f6fdd 100644 --- a/src/main/java/au/id/zancanaro/javacheck/state/GeneratedCommand.java +++ b/src/main/java/au/id/zancanaro/javacheck/state/GeneratedCommand.java @@ -43,6 +43,10 @@ public class GeneratedCommand<S, A, R> { @Override public String toString() { - return "#{" + id + "} = " + command + " <- " + args; + if (args == null) { + return "#{" + id + "} = " + command; + } else { + return "#{" + id + "} = " + command + " <- " + args; + } } } |