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

Add a test for string/indexof-char

Browse Source 
This adds a test for the `string/indexof-char` instruction
This commit is contained in:
Erik Rauer 2021-03-21 00:39:25 -05:00
parent b8a011c385
commit 92cdfe9e59
1 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -209,3 +209,26 @@
(defspec from-integer-spec 100
(prop/for-all [int gen/small-integer]
(check-from-integer int)))
;; string/indexof-char
(defn check-indexof-char
[value char]
(let [start-state (-> state/empty-state
(state/push-to-stack :string value)
(state/push-to-stack :char char))
end-state ((:string_indexof_char @core/instruction-table) start-state)
expected-result (string/index-of value char)]
(or
(and (not expected-result)
(= (state/peek-stack end-state :string) value)
(= (state/peek-stack end-state :char) char)
(state/empty-stack? end-state :integer))
(= expected-result
(state/peek-stack end-state :integer)))))
(defspec indexof-char-spec 100
(prop/for-all [str gen/string
char gen/char]
(check-indexof-char str char)))