diff options
author | Benjamin Jones <bjones@galois.com> | 2012-12-04 18:55:44 -0800 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2012-12-04 18:55:44 -0800 |
commit | 7f7d5aa7eb792bddba3fa92c1a89335d53c22db0 (patch) | |
tree | f9e381e9a5152bd410600fbb343b90dabb8aed00 | |
parent | 5591b5566ceac8533fa5efd76519d074b4a4ee7a (diff) |
use the updates Result constructors
-rw-r--r-- | headless/src/main/java/com/galois/fiveui/BatchRunner.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/headless/src/main/java/com/galois/fiveui/BatchRunner.java b/headless/src/main/java/com/galois/fiveui/BatchRunner.java index fb955c7..6c71341 100644 --- a/headless/src/main/java/com/galois/fiveui/BatchRunner.java +++ b/headless/src/main/java/com/galois/fiveui/BatchRunner.java @@ -221,15 +221,15 @@ public class BatchRunner { List<Map<String, Map<String, String>>> results = (List) res; if (0 == results.size()) { - builder.add(Result.pass(_driver, "passed: " + state)); + builder.add(Result.pass(_driver, "", _driver.getCurrentUrl(), ruleSet.getName())); } for (Map<String, Map<String, String>> r : results) { Map<String, String> problem = r.get("payload"); builder.add(Result.error(_driver, "problem: " + - problem.toString() + - ", state: " + state)); + problem.toString(), + _driver.getCurrentUrl(), ruleSet.getName())); } } catch (ClassCastException e) { |