[PATCH 1 of 3] tests: teach hypothesis to try the summary command

[Simon Farnsworth]

# HG changeset patch
# User Simon Farnsworth <simonfar at fb.com>
# Date 1456164049 28800
#      Mon Feb 22 10:00:49 2016 -0800
# Branch all
# Node ID 7616a2b63284bb2670897a2e6c05815f39b6a6ed
# Parent  82596ded26cc0678f634491691bf0cd66690f010
tests: teach hypothesis to try the summary command

A simple example of adding a new rule.

diff --git a/tests/test-verify-repo-operations.py b/tests/test-verify-repo-operations.py
--- a/tests/test-verify-repo-operations.py
+++ b/tests/test-verify-repo-operations.py
@@ -420,6 +420,10 @@
         self.hg("export")
 
     @rule()
+    def summary(self):
+        self.hg("summary")
+
+    @rule()
     @precondition(lambda self: self.has_extension("shelve"))
     def shelve(self):
         with acceptable_errors("nothing changed"):