wdt-hand: Check for lack of conflicts

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

diff --git a/wdriver/wdt-hand.rs b/wdriver/wdt-hand.rs
index 0a2cc791a9c2f8d0a2932fa7612686a0ba7cc174..423d21c5dda318b952bf7fab0ffe8eacdde6455f 100644 (file)
--- a/wdriver/wdt-hand.rs
+++ b/wdriver/wdt-hand.rs
@@ -72,6 +72,13 @@ impl Ctx {
       chk(&mut w, HAND, Some(ALICE))?;
     }
 
+    for side in &[&self.alice, &self.bob] {
+      let mut w = su.w(side)?;
+      w.synch()?;
+      let log = w.retrieve_log(&mut |_|false)?;
+      assert_eq!(log.find_conflict(), None);
+    }
+
     {
       let mut w = su.w(&self.alice)?;
       w.action_chain()