From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 14 Feb 2021 19:29:28 +0000 (+0000)
Subject: wdt: UsualSetup, note about why separate Ctx
X-Git-Tag: otter-0.4.0~490
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=de963715e1b944cb23d0323aa25a9fa826365d0d;p=otter.git

wdt: UsualSetup, note about why separate Ctx

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

diff --git a/wdriver.rs b/wdriver.rs
index 44753ea9..5cbed861 100644
--- a/wdriver.rs
+++ b/wdriver.rs
@@ -1370,6 +1370,8 @@ impl Setup {
   }
 }
 
+// Ideally individual test files' Ctx would simply contain this,
+// but it would need to be borrowed in pieces which is awkward.
 pub struct UsualSetup {
   pub su: Setup,
   pub inst: Instance,