(test
 (name test)
 (modules test)
 (libraries mte fmt))

(test
 (name test_crypto)
 (modules test_crypto)
 (libraries mte fmt))

(test
 (name test_verify_keys)
 (modules test_verify_keys)
 (libraries mte fmt bos))