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

Add a test for string/occurencesof_char

Browse Source 
This adds a test for the `string/occurencesof_char` instruction.
This commit is contained in:
Erik Rauer 2021-04-01 10:49:57 -05:00
parent 695e08506e
commit 0655a5748f
1 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -234,6 +234,9 @@
(check-indexof-char str char)))
;; string/iterate
;; string/last
(defn check-last
@ -289,3 +292,21 @@
(prop/for-all [str gen/string
int gen/small-integer]
(check-nth str int)))
;; string/occurencesof_char
(defn check-occurencesof-char
[value char]
(let [start-state (-> state/empty-state
(state/push-to-stack :string value)
(state/push-to-stack :char char))
end-state ((:string_occurencesof_char @core/instruction-table) start-state)
expected-result (count (filter #(= char %) value))]
(= expected-result
(state/peek-stack end-state :integer))))
(defspec occurencesof-char-spec 100
(prop/for-all [str gen/string
char gen/char]
(check-occurencesof-char str char)))