From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 4 Apr 2021 23:12:02 +0000 (+0100)
Subject: wdt-hand: New test: Add a bit of dbg
X-Git-Tag: otter-0.5.0~191
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=d9ddbafed768e8d6a13efe777f1d33902dea94bc;p=otter.git

wdt-hand: New test: Add a bit of dbg

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

diff --git a/wdriver/wdt-hand.rs b/wdriver/wdt-hand.rs
index 6cf72342..abeb47d6 100644
--- a/wdriver/wdt-hand.rs
+++ b/wdriver/wdt-hand.rs
@@ -189,7 +189,7 @@ impl Ctx {
           .unwrap()
       };
       assert!(
-        find(P_ALICE) > find(P_BOB)
+        dbgc!( find(P_ALICE) ) > dbgc!( find(P_BOB) )
       );
       Ok::<_,AE>(())
     };