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

Check that we don't get a conflict.
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 1f15f4ce7f4cf0cb43ac0062724e9d531daa6955..9f4c32b247e576374c6c817c81e3d0b968d7dc6c 100644 (file)
--- a/wdriver/wdt-hand.rs
+++ b/wdriver/wdt-hand.rs
@@ -258,8 +258,11 @@ impl Ctx {
 
       paused.resume()?;
 
-      w.synch()?;
-    }
+      let gen = w.synch()?;
+
+      let log = w.retrieve_log(gen)?;
+      assert_eq!( log.find_conflicts(), Vec::<String>::default() );
+    };
   }
 }