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

Add a test for string/replace-first

Browse Source 
This adds a test for the `string/replace-first` instruction
This commit is contained in:
Erik Rauer 2021-04-01 11:15:40 -05:00
parent 3fb35d7d47
commit 110679d8f7
1 changed files with 21 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

@ -389,3 +389,23 @@
char1 gen/char char1 gen/char
char2 gen/char] char2 gen/char]
(check-replace str char1 char2))) (check-replace str char1 char2)))
;; string/replace-first
(defn check-replace-first
[value1 value2 value3]
(let [start-state (-> state/empty-state
(state/push-to-stack :string value1)
(state/push-to-stack :string value2)
(state/push-to-stack :string value3))
end-state ((:string_replace_first @core/instruction-table) start-state)
expected-result (string/replace-first value1 value2 value3)]
(= expected-result
(state/peek-stack end-state :string))))
(defspec replace-first-spec 100
(prop/for-all [str1 gen/string
str2 gen/string
str3 gen/string]
(check-replace-first str1 str2 str3)))