2022-08-01 06:07:00 -05:00
|
|
|
;; This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
|
;; License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
|
;; file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
|
|
|
;;
|
2022-11-02 12:11:50 -05:00
|
|
|
;; Copyright (c) KALEIDOS INC
|
2022-08-01 06:07:00 -05:00
|
|
|
|
2022-11-08 04:40:19 -05:00
|
|
|
(ns common-tests.uuid-test
|
2022-08-01 06:07:00 -05:00
|
|
|
(:require
|
2022-11-02 12:11:50 -05:00
|
|
|
[app.common.spec :as us]
|
2022-08-01 06:07:00 -05:00
|
|
|
[app.common.uuid :as uuid]
|
2022-11-02 12:11:50 -05:00
|
|
|
[clojure.spec.alpha :as s]
|
2022-08-01 06:07:00 -05:00
|
|
|
[clojure.test :as t]
|
2022-11-02 12:11:50 -05:00
|
|
|
[clojure.test.check.clojure-test :refer [defspec]]
|
2022-08-01 06:07:00 -05:00
|
|
|
[clojure.test.check.generators :as gen]
|
|
|
|
|
[clojure.test.check.properties :as props]))
|
|
|
|
|
|
2022-11-02 12:11:50 -05:00
|
|
|
(defspec non-repeating-uuid-next-1 5000
|
2022-08-01 06:07:00 -05:00
|
|
|
(props/for-all
|
2022-11-02 12:11:50 -05:00
|
|
|
[uuid1 (s/gen ::us/uuid)
|
|
|
|
|
uuid2 (s/gen ::us/uuid)]
|
|
|
|
|
(t/is (not= uuid1 uuid2))))
|
2022-08-01 06:07:00 -05:00
|
|
|
|
|
|
|
|
|
