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

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