Skip to content

Instantly share code, notes, and snippets.

@trikitrok

trikitrok/fizzbuzz_test_nums_as_string.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/3d3ee8ecd47cbffdb7f2073f974d8405 to your computer and use it in GitHub Desktop.
Save trikitrok/3d3ee8ecd47cbffdb7f2073f974d8405 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
fizzbuzz_test_nums_as_string.clj
(ns fizzbuzz-pbt.core-test
(:require
;; other requires
[fizzbuzz-pbt.core :as sut]))
;; ...
;; some helpers
;; ...
(facts
"about fizzbuzz"
;; ...
;; previous properties
;; ...
(fact
"the rest of numbers are casted to string"
(for-all
[n (gen/elements
(set/difference
(set (range 1 101))
multiples-of-3
multiples-of-5))]
{:num-tests 100}
(fizzbuzz-for n) => (str n))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment