From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 19 May 2021 22:20:19 +0000 (+0100)
Subject: specs: Test ResetFromNamesSpec (adhoc)
X-Git-Tag: otter-0.6.0~137
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=e0144d0e4639089b9da05894dd571bb08cf3a2ed;p=otter.git

specs: Test ResetFromNamesSpec (adhoc)

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

diff --git a/apitest/at-bundles.rs b/apitest/at-bundles.rs
index e56bcd09..ad2f9c1f 100644
--- a/apitest/at-bundles.rs
+++ b/apitest/at-bundles.rs
@@ -20,12 +20,23 @@ impl Ctx {
       "big-bundle","duped-example", "chess-purple-cannon", "a purple cannon"
     )?;
   }
+ 
+  #[throws(Explode)]
+  fn builtin_spec(&mut self) {
+    self.su().mgmt_conn.borrow_mut().alter_game(
+      vec![ MGI::ResetFromNamedSpec {
+        spec: "demo".to_owned(),
+      }],
+      None,
+    )?;
+  }
 }
 
 #[throws(Explode)]
 fn tests(mut c: Ctx) {
   test!(c, "bundles",                       c.bundles()      ?);
   test!(c, "big",                           c.big()          ?);
+  test!(c, "builtin-spec",                  c.builtin_spec() ?);
 }
 
 #[throws(Explode)]