File tree Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change @@ -89,6 +89,7 @@ gen-builtins
8989 (c/delay
9090 (let [simple (simple-type-printable )]
9191 {any? (one-of [(return nil ) (any-printable )])
92+ some? (such-that some? (any-printable ))
9293 number? (one-of [(large-integer ) (double )])
9394 integer? (large-integer )
9495 int? (large-integer )
Original file line number Diff line number Diff line change 319319 (s/def ::c keyword? )
320320 (s/def ::d double? )
321321 (s/def ::e inst? )
322+ (s/def ::f some? )
322323
323324 (is (= #{[::a ]
324325 [::a ::b ]
356357 [:a :c :e ]}
357358 (->> (s/exercise (s/keys :req-un [::a (or ::b (and ::c (or ::d ::e )))]) 200 )
358359 (map (comp vec sort keys first))
359- (into #{})))))
360+ (into #{}))))
361+
362+ (is (every? some? (map #(-> % first) (s/exercise ::f 10 )))))
360363
361364(deftest tuple-explain-pred
362365 (are [val expected]
You can’t perform that action at this time.
0 commit comments