luciano/specter
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make the test a bit more thorough.

Browse source
This commit is contained in:
Thomas Athorne 2016-04-17 16:12:43 +01:00
parent 60bf33ffab
commit 39b08bd9d5
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
test/com/rpl/specter/core_test.cljx
View file

@ -245,11 +245,13 @@
(defspec parser-test (defspec parser-test
(for-all+ (for-all+
[i gen/int [i gen/int
j gen/int] afn (gen/elements [inc dec #(* % 2)])
(and (= (first (s/select (s/parser #(+ % j) #(- % j)) i)) bfn (gen/elements [inc dec #(* % 2)])
(+ j i)) cfn (gen/elements [inc dec #(* % 2)])]
(= (s/transform (s/parser #(+ % j) #(- % j)) identity i) (and (= (first (s/select (s/parser afn bfn) i))
i) (afn i))
(= (s/transform (s/parser afn bfn) cfn i)
(-> i afn cfn bfn))
))) )))
(deftest selected?-test (deftest selected?-test