Testing
The tweetnacl
implementation can be tested on desktop via cargo test --features tweetnacl
.
For the haase
feature, we make use of the musca-b1
Cortex-M33 microcontroller,
which is emulated in QEMU starting with version 4.
The subdirectory qemu-tests
contains tests for all the RFC 8032 test vectors, they can be run via
cargo run --features haase --release
.
All of these tests run as part of continuous integration.
In the future, we intend to test for timing side-channels.
The C API has its own tests.