Proof build for nedap/utils.spec#7

nedap · Dec 30, 2019 · 165590a · 165590a
1 parent 9959ed3
commit 165590a
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/project.clj b/project.clj
@@ -2,6 +2,7 @@
 (defproject com.nedap.staffing-solutions/speced.def "1.2.0-alpha1"
   ;; Please keep the dependencies sorted a-z.
   :dependencies [[com.nedap.staffing-solutions/utils.spec "1.0.0"]
+                 [expound "0.8.3"]
                  [com.nedap.staffing-solutions/utils.test "1.3.0"]
                  [org.clojure/clojure "1.10.1"]]
 

diff --git a/test/unit/nedap/speced/def/defn.cljc b/test/unit/nedap/speced/def/defn.cljc
@@ -884,3 +884,12 @@
          '(nedap.speced.def/defn nilable-primitive-specs-2 [^:nedap.speced.def/nilable ^double x])
 
          '(nedap.speced.def/defn ^:nedap.speced.def/nilable ^double nilable-primitive-specs-3 [])))))
+
+(sut/defn ^pos? dummy [^number? x]
+  x)
+
+(deftest d1
+  (dummy "1"))
+
+(deftest d2
+  (dummy -1))