From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 15 Feb 2021 00:23:44 +0000 (+0000)
Subject: hand: wdt: Check unclaim
X-Git-Tag: otter-0.4.0~445
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=1e2b64ddb488abd26afe638466e38c04f0f22506;p=otter.git

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 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)?;
+    }
   }
 }