Implementing the TestingInteface for the Auction contract.

Author: sfeitosa

src/use-cases/convex-use-cases.cabal

@@ -106,6 +106,7 @@ test-suite convex-auction-test
   other-modules:
     Auction.Scripts
     Auction.Spec.Attacks
+    Auction.Spec.Prop
     Auction.Spec.Unit
     Auction.Utils
     Auction.Validator

src/use-cases/hie.yaml

@@ -0,0 +1,7 @@
+cradle:
+  cabal:
+    - path: "test"
+      component: "convex-use-cases:test:convex-auction-test"
+
+    - path: "test"
+      component: "convex-use-cases:test:convex-vesting-test"