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

Add tests for vector/_rest

Browse Source 
This adds tests for `vector/_rest`.
This commit is contained in:
Erik Rauer 2021-01-05 14:49:54 -06:00
parent d5f115f81c
commit 8afa8f83e5
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
test/propeller/push/instructions/vector_spec.clj
View File

@ -338,6 +338,21 @@
(gen-specs "replacefirst" check-replacefirst :vector :item :item) (gen-specs "replacefirst" check-replacefirst :vector :item :item)
;;; vector/_rest
(defn check-rest
[value-type vect]
(let [stack-type (keyword (str "vector_" value-type))
start-state (state/push-to-stack state/empty-state
stack-type
vect)
end-state (vector/_rest stack-type start-state)
expected-result (vec (rest vect))]
(= expected-result
(state/peek-stack end-state stack-type))))
(gen-specs "rest" check-rest :vector)
;;; vector/_subvec ;;; vector/_subvec
(defn clean-subvec-bounds (defn clean-subvec-bounds