From ed871eccbee6c45401dfcb01d724840ef659e3ed Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sosth=C3=A8ne=20Gu=C3=A9don?= Date: Mon, 6 Feb 2023 10:47:29 +0100 Subject: [PATCH] Test that other backends are still reachable --- tests/other.rs | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 tests/other.rs diff --git a/tests/other.rs b/tests/other.rs new file mode 100644 index 0000000..afc1a7c --- /dev/null +++ b/tests/other.rs @@ -0,0 +1,21 @@ +///! Test that the core backend is still reachable. +///! Tests imported from the trussed repo +mod client; + +use trussed::{client::CertificateClient as _, syscall, try_syscall, types::Location::*}; + +#[test] +fn certificate_client() { + client::get(|client| { + let fake_der = &[1u8, 2, 3]; + let id = syscall!(client.write_certificate(Volatile, fake_der)).id; + + let loaded_der = syscall!(client.read_certificate(id)).der; + assert_eq!(loaded_der, fake_der); + + assert!(try_syscall!(client.read_certificate(id)).is_ok()); + assert!(try_syscall!(client.delete_certificate(id)).is_ok()); + assert!(try_syscall!(client.read_certificate(id)).is_err()); + assert!(try_syscall!(client.delete_certificate(id)).is_err()); + }); +}