From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 13 Mar 2021 20:08:39 +0000 (+0000)
Subject: at-otter hidden: Note next thing to test
X-Git-Tag: otter-0.4.0~98
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=8aaf9c5ce3a18f977c2f46f8906ce551d7721b7f;p=otter.git

at-otter hidden: Note next thing to test

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

diff --git a/apitest/at-otter.rs b/apitest/at-otter.rs
index c1e188d6..aabeb08a 100644
--- a/apitest/at-otter.rs
+++ b/apitest/at-otter.rs
@@ -516,7 +516,9 @@ impl Ctx {
     alice.synch()?;
     bob.synchu(&mut b_pieces)?;
 
-    // to repro a bug, have Bob move the RHS pawn out again
+    // to repro a bug, have Alice move the black pawn out again
+    // observe yellow highlight in bob's view and black pawn is in wrong
+    // place
 
     self.su_mut().mgmt_conn.fakerng_unfake()?;
   }