Skip to content

Instantly share code, notes, and snippets.

@trikitrok

trikitrok/fizzbuzz_pbt_core_test_fizz_buzz_fizzbuzz.clj

Last active July 29, 2019 17:37
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save trikitrok/657e3928f4d8f075d668870f658af801 to your computer and use it in GitHub Desktop.
Save trikitrok/657e3928f4d8f075d668870f658af801 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
fizzbuzz_pbt_core_test_fizz_buzz_fizzbuzz.clj
(ns fizzbuzz-pbt.core-test
(:require
;; other requires
[fizzbuzz-pbt.core :as sut]))
;; ...
;; some helpers
;; ...
(facts
"about fizzbuzz"
;; ...
;; previous properties
;; ...
(fact
"multiples of 3 and 5 are FizzBuzz"
(for-all
[n (gen/elements
(set/intersection
multiples-of-5
multiples-of-3))]
{:num-tests 100}
(fizzbuzz-for n) => "FizzBuzz")))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment