From 39b08bd9d53039f64acac749fc90c6fdec3f57a9 Mon Sep 17 00:00:00 2001 From: Thomas Athorne Date: Sun, 17 Apr 2016 16:12:43 +0100 Subject: [PATCH] Make the test a bit more thorough. --- test/com/rpl/specter/core_test.cljx | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/test/com/rpl/specter/core_test.cljx b/test/com/rpl/specter/core_test.cljx index e150c87..0370fe5 100644 --- a/test/com/rpl/specter/core_test.cljx +++ b/test/com/rpl/specter/core_test.cljx @@ -245,11 +245,13 @@ (defspec parser-test (for-all+ [i gen/int - j gen/int] - (and (= (first (s/select (s/parser #(+ % j) #(- % j)) i)) - (+ j i)) - (= (s/transform (s/parser #(+ % j) #(- % j)) identity i) - i) + afn (gen/elements [inc dec #(* % 2)]) + bfn (gen/elements [inc dec #(* % 2)]) + cfn (gen/elements [inc dec #(* % 2)])] + (and (= (first (s/select (s/parser afn bfn) i)) + (afn i)) + (= (s/transform (s/parser afn bfn) cfn i) + (-> i afn cfn bfn)) ))) (deftest selected?-test