From 3892cebc91dd3fcc7b8580c1d98afbd7095d748a Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Apr 2021 12:27:29 +0100
Subject: [PATCH] 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>
---
 wdriver/wdt-hand.rs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/wdriver/wdt-hand.rs b/wdriver/wdt-hand.rs
index 1f15f4ce..9f4c32b2 100644
--- 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() );
+    };
   }
 }
 
-- 
2.30.2