hk request works now

2022-12-21 10:15:41 +01:00
parent da9eb94d98
commit b8a0ff1e2d
4 changed files with 7 additions and 3 deletions
--- a/satrs-example/src/requests.rs
+++ b/satrs-example/src/requests.rs
@ -1,6 +1,10 @@
 use crate::hk::HkRequest;
+use satrs_core::pus::verification::{TcStateAccepted, VerificationToken};

 #[derive(Copy, Clone, Eq, PartialEq, Debug)]
 pub enum Request {
    HkRequest(HkRequest),
 }
+
+#[derive(Copy, Clone, Eq, PartialEq, Debug)]
+struct RequestWithToken(Request, VerificationToken<TcStateAccepted>);