From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 21 May 2021 19:51:44 +0000 (+0100)
Subject: apitest: Check that unavilable spec doesn't load
X-Git-Tag: otter-0.6.0~86
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=922d8419ec6af3d6f76a4802910df78e494487da;p=otter.git

apitest: Check that unavilable spec doesn't load

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

diff --git a/apitest/at-bundles.rs b/apitest/at-bundles.rs
index b2d51a5a..9e2e86c9 100644
--- a/apitest/at-bundles.rs
+++ b/apitest/at-bundles.rs
@@ -49,6 +49,13 @@ impl Ctx {
   fn reset_with_bundles(&mut self) {
     self.clear_reset_to_demo()?;
 
+    // check that the spec is not accessible now
+    let e = self.otter(
+      &G("reset demo-in-test-bundle")
+    ).unwrap_err();
+    let e: ExitStatusError = e.downcast().unwrap();
+    assert_eq!(e.0.code(), Some(12));
+
     self.otter_resetting(
       &G("reset demo-in-test-bundle @examples@/test-bundle.zip")
     )?;