wdt: Break out game_spec_path

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

diff --git a/wdriver.rs b/wdriver.rs
index 35dbae41d224e2e2a44c420468872049d9372933..b2370e34cf5752b51d5b81de49695598daa86a3b 100644 (file)
--- a/wdriver.rs
+++ b/wdriver.rs
@@ -638,16 +638,25 @@ impl DirSubst {
       .context(dbg)
       .context("run otter client")?;
   }
+
+  #[throws(AE)]
+  pub fn game_spec_path(&self) -> String {
+    self.subst("@specs@/demo.game.toml")?
+  }
 }
 
 #[throws(AE)]
 pub fn prepare_game(ds: &DirSubst, table: &str) -> InstanceName {
-  let subst = ds.also(&[("table", &table)]);
+  let game_spec = ds.game_spec_path()?;
+  let subst = ds.also(&[
+    ("table",     table),
+    ("game_spec", &game_spec),
+  ]);
   ds.otter(&subst.ss(
     "--account server:                                  \
      reset                                              \
      --reset-table @specs@/test.table.toml              \
-                   @table@ @specs@/demo.game.toml \
+                   @table@ @game_spec@ \
     ")?).context("reset table")?;
 
   let instance : InstanceName = table.parse()