2026-02-27 01:04:23 +01:00 · 2026-02-27 01:04:23 +01:00 · de0be49f35
commit de0be49f35
parent f56ef6b544
2 changed files with 9 additions and 0 deletions
--- a/test/dune
+++ b/test/dune
@ -7,3 +7,8 @@
 (name test_crypto)
 (modules test_crypto)
 (libraries mte fmt))
+
+(test
+ (name test_verify_keys)
+ (modules test_verify_keys)
+ (libraries mte fmt bos))