From 7f0667553335d0d6fd7ee3d46e08c4f9efb7f6e5 Mon Sep 17 00:00:00 2001
From: Jesper Louis Andersen <jesper.louis.andersen@gmail.com>
Date: Tue, 15 Jun 2021 13:02:06 +0200
Subject: [PATCH] Add a CT for verify_detached

---
 test/enacl_SUITE.erl | 22 ++++++++++++++++------
 1 file changed, 16 insertions(+), 6 deletions(-)

diff --git a/test/enacl_SUITE.erl b/test/enacl_SUITE.erl
index c569214..cd8f229 100644
--- a/test/enacl_SUITE.erl
+++ b/test/enacl_SUITE.erl
@@ -38,14 +38,17 @@ groups() ->
     Neg = {negative, [shuffle, parallel],
       [generichash_basic_neg]},
     Pos = {positive, [shuffle, parallel],
-                    [generichash_basic_pos,
-                     generichash_chunked,
-                     aead_xchacha20poly1305,
+                    [
                      aead_chacha20poly1305_ietf,
-                     pwhash,
-                     sign,
+                     aead_xchacha20poly1305,
+                     generichash_basic_pos,
+                     generichash_chunked,
                      kx,
-                     secretstream]},
+                     pwhash,
+                     secretstream,
+                     sign,
+                     verify_detached
+                    ]},
 
     [Neg, Pos].
 
@@ -184,3 +187,10 @@ secretstream(_Config) ->
     {Part2, message} = enacl:secretstream_xchacha20poly1305_pull(DState, Block2, <<>>),
     {Part3, final} = enacl:secretstream_xchacha20poly1305_pull(DState, Block3, <<"AD3">>),
     ok.
+
+verify_detached(_Config) ->
+    #{ public := PK, secret := SK} = enacl:sign_keypair(),
+    M = <<"Arbitrary data to encrypt">>,
+    Sig = enacl:sign_detached(M, SK),
+    true = enacl:sign_verify_detached(Sig, M, PK),
+    ok.