# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1536696138 -3600
# Node ID 87ea077acc219bf571e75a7829ba6073688b2c7e
# Parent  dfff8dfe8861801502ed4015bd64bc326c40d5a8
scansion.console: Print summary at end of test run

diff -r dfff8dfe8861 -r 87ea077acc21 scansion/console.lua
--- a/scansion/console.lua	Tue Sep 11 21:02:02 2018 +0100
+++ b/scansion/console.lua	Tue Sep 11 21:02:18 2018 +0100
@@ -40,6 +40,32 @@
 		end
 		return lines(l);
 	end;
+
+	["end"] = function (data)
+		local r = {};
+
+		local all_results = {};
+		for k, v in pairs(data.summary.all) do
+			table.insert(all_results, v);
+		end
+		table.sort(all_results, function (a, b) return a.name < b.name end);
+
+		print("");
+		print("Summary");
+		print("-------");
+
+		for _, test_result in ipairs(all_results) do
+			print("", test_result.status, test_result.name);
+		end
+
+		print("");
+
+		for _, test_result in ipairs{ "ok", "fail", "error", "total" } do
+			local count = data.summary[test_result] and #data.summary[test_result] or 0;
+			table.insert(r, tostring(count).." "..test_result);
+		end
+		return table.concat(r, " / ");
+	end;
 };
 
 return {