hand: wdt: Check unclaim

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/wdriver/wdt-hand.rs b/wdriver/wdt-hand.rs
index 650f0bedb4c563fe164e957e34c57277eeba0ccc..73ed2ec9cd87d727e42630e8d914bbf436b895f5 100644 (file)
--- a/wdriver/wdt-hand.rs
+++ b/wdriver/wdt-hand.rs
@@ -72,6 +72,23 @@ impl Ctx {
 
       chk(&w, HAND, Some(ALICE))?;
     }
+
+    {
+      let mut w = su.w(&self.alice)?;
+      w.action_chain()
+        .key_down('C')
+        .key_up('C')
+        .perform()
+        .context("unclaim hand")?;
+
+      w.synch()?;
+      chk(&w, HAND, None)?;
+    }
+    {
+      let mut w = su.w(&self.bob)?;
+      w.synch()?;
+      chk(&w, HAND, None)?;
+    }
   }
 }