From 442d1557b879a8a4bd76f441f72a17bfb71cf05f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 17 Jul 2021 22:48:54 -0400
Subject: Now allowing compilers to generate custom-named outputs.

---
 stdlib/source/test/aedifex/dependency/status.lux | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'stdlib/source/test/aedifex/dependency/status.lux')

diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index f886c031f..64bb2f642 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -3,8 +3,12 @@
    [lux #*
     ["_" test (#+ Test)]
     [abstract
+     [monad (#+ do)]
      [\\specification
       ["$." equivalence]]]
+    [data
+     ["." binary #_
+      ["#T" \\test]]]
     [math
      ["." random (#+ Random) ("#\." monad)]]]]
   ["$." /// #_
@@ -31,4 +35,14 @@
              ($_ _.and
                  (_.for [/.equivalence]
                         ($equivalence.spec /.equivalence ..random))
+
+                 (do random.monad
+                   [payload (binaryT.random 1)]
+                   (_.cover [/.verified]
+                            (case (/.verified payload)
+                              (#/.Verified sha1 md5)
+                              true
+
+                              _
+                              false)))
                  ))))
-- 
cgit v1.2.3