link correction

This commit is contained in:
Robin Müller 2022-09-11 16:31:38 +02:00
parent 5b7e18a860
commit 877c79752c
No known key found for this signature in database
GPG Key ID: 9C287E88FED11DF3

View File

@ -68,7 +68,7 @@
//! } //! }
//! ``` //! ```
//! //!
//! The [integration test](https://egit.irs.uni-stuttgart.de/rust/fsrc-launchpad/src/branch/obsw-client-example/fsrc-core/tests/verification_test.rs) //! The [integration test](https://egit.irs.uni-stuttgart.de/rust/fsrc-launchpad/src/branch/main/fsrc-core/tests/verification_test.rs)
//! for the verification module contains examples how this module could be used in a more complex //! for the verification module contains examples how this module could be used in a more complex
//! context involving multiple threads //! context involving multiple threads
use alloc::boxed::Box; use alloc::boxed::Box;