rowan.a.tl/propeller
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add test for string/contains-char

Browse Source 
This adds a test for the `string/contains-char` instruction
This commit is contained in:
Erik Rauer 2021-03-16 22:54:07 -05:00
parent 54e0901040
commit 54c44a49b6
1 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
test/propeller/push/instructions/string_spec.clj
View File

@ -77,4 +77,22 @@
(defspec contains-spec 100 (defspec contains-spec 100
(prop/for-all [str1 gen/string (prop/for-all [str1 gen/string
str2 gen/string] str2 gen/string]
(check-contains str1 str2))) (check-contains str1 str2)))
;; string/contains-char
(defn check-contains-char
[value char]
(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)]
(= expected-result
(state/peek-stack end-state :string))))
(defspec contains-char-spec 100
(prop/for-all [str gen/string
char gen/string]
(check-concat str char)))