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

Add a test for string/split

Browse Source 
This adds a test for the `string/split` instruction
This commit is contained in:
Erik Rauer 2021-04-15 15:12:42 -05:00
parent e3d7963355
commit 1628e669b6
1 changed files with 20 additions and 0 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

@ -488,3 +488,23 @@
char gen/char char gen/char
int gen/small-integer] int gen/small-integer]
(check-set-char str char int))) (check-set-char str char int)))
;; string/split
(defn check-split
[value]
(let [start-state (state/push-to-stack state/empty-state :string value)
end-state ((:string_split @core/instruction-table) start-state)
our-split (string/split (string/trim value) #"\s+")
num-items (count our-split)]
(and
(= (state/stack-size end-state :string) num-items)
(every? identity
(map =
our-split
(state/peek-stack-many end-state :string num-items))))))
(defspec split-spec 100
(prop/for-all [str gen/string]
(check-split str)))