From 1e2b64ddb488abd26afe638466e38c04f0f22506 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 15 Feb 2021 00:23:44 +0000
Subject: [PATCH] hand: wdt: Check unclaim

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 wdriver/wdt-hand.rs | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/wdriver/wdt-hand.rs b/wdriver/wdt-hand.rs
index 650f0bed..73ed2ec9 100644
--- 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)?;
+    }
   }
 }
 
-- 
2.30.2