Skip to content

Instantly share code, notes, and snippets.

@trikitrok
Last active July 29, 2019 17:36
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/c37f7776f2c2eaf18432d787d4d4d5fa to your computer and use it in GitHub Desktop.
Save trikitrok/c37f7776f2c2eaf18432d787d4d4d5fa to your computer and use it in GitHub Desktop.
(ns fizzbuzz-pbt.core-test
(:require
;; other requires
[fizzbuzz-pbt.core :as sut]))
;; ...
;; some helpers
;; ...
(facts
"about fizzbuzz"
;; ...
;; previous properties
;; ...
(fact
"multiples of 5 but not 3 are Buzz"
(for-all
[n (gen/elements
(set/difference
multiples-of-5
multiples-of-3))]
{:num-tests 100}
(fizzbuzz-for n) => "Buzz")))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment