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

Add test for string/nth

Browse Source 
This adds a test for the `string/nth` instruction
This commit is contained in:
Erik Rauer 2021-03-29 21:01:27 -05:00
parent da117c2f08
commit 8e361225ae
1 changed files with 23 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -267,3 +267,25 @@
(defspec length-spec 100
(prop/for-all [str gen/string]
(check-length str)))
;; string/nth
(defn check-nth
[value n]
(let [start-state (-> state/empty-state
(state/push-to-stack :string value)
(state/push-to-stack :integer n))
end-state ((:string_nth @core/instruction-table) start-state)]
(or
(and (empty? value)
(state/empty-stack? end-state :char)
(= value (state/peek-stack end-state :string))
(= n (state/peek-stack end-state :integer)))
(= (nth value (mod n (count value)))
(state/peek-stack end-state :char)))))
(defspec nth-spec 100
(prop/for-all [str gen/string
int gen/small-integer]
(check-nth str int)))