From f14d738669809d6811d3e873fe1cef398d7ea44c Mon Sep 17 00:00:00 2001 From: Erik Rauer Date: Tue, 16 Mar 2021 23:22:04 -0500 Subject: [PATCH] Fix some issues with the `string/contains-char` test Fixes the test to actually run `check-contains-char` as well as some issues with that function. Also fixes similar problems with the `string/conj-char` test. --- test/propeller/push/instructions/string_spec.clj | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/test/propeller/push/instructions/string_spec.clj b/test/propeller/push/instructions/string_spec.clj index c4a9486..493f087 100644 --- a/test/propeller/push/instructions/string_spec.clj +++ b/test/propeller/push/instructions/string_spec.clj @@ -51,7 +51,7 @@ (let [start-state (-> state/empty-state (state/push-to-stack :string value) (state/push-to-stack :char char)) - end-state ((:string_conj-char @core/instruction-table) start-state) + end-state ((:string_conj_char @core/instruction-table) start-state) expected-result (str value char)] (= expected-result (state/peek-stack end-state :string)))) @@ -59,7 +59,7 @@ (defspec conj-char-spec 100 (prop/for-all [str gen/string char gen/char] - (check-concat str char))) + (check-conj-char str char))) ;; string/contains @@ -87,9 +87,15 @@ (let [start-state (-> state/empty-state (state/push-to-stack :string value) (state/push-to-stack :char char)) - end-state ((:string_contains-char @core/instruction-table) start-state) - expected-result (string/includes? value char)] + end-state ((:string_contains_char @core/instruction-table) start-state) + expected-result (string/includes? value (str char))] (= expected-result + (state/peek-stack end-state :boolean)))) + +(defspec contains-char-spec 100 + (prop/for-all [str gen/string + char gen/char] + (check-contains-char str char))) (state/peek-stack end-state :string)))) (defspec contains-char-spec 100