From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Apr 2021 11:37:41 +0000 (+0100)
Subject: wdt-hand: New test case for ungrab-then-regrab (2)
X-Git-Tag: otter-0.7.2~80
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=89fadd5dd2951bac15980453e048f9243ed813fd;p=otter.git

wdt-hand: New test case for ungrab-then-regrab (2)

Check that the piece is now held by alice.
This fails without the grab/regrab fix.

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

diff --git a/wdriver/wdt-hand.rs b/wdriver/wdt-hand.rs
index ddee3dc1..c87d792d 100644
--- a/wdriver/wdt-hand.rs
+++ b/wdriver/wdt-hand.rs
@@ -267,6 +267,9 @@ impl Ctx {
       dbgc!(&who.name);
       let w = su.w(who)?;
 
+      let held = w.piece_held(PAWN)?;
+      assert_eq!( held.unwrap(), ALICE );
+
       let log = w.retrieve_log(*gen)?;
       assert_eq!( log.find_conflicts(), Vec::<String>::new() );
     }