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

Add tests for vector/_reverse

Browse Source 
This adds tests for `vector/_reverse`.
This commit is contained in:
Erik Rauer 2021-01-05 14:55:23 -06:00
parent 8afa8f83e5
commit fce10ca97c
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

@ -353,6 +353,21 @@
(gen-specs "rest" check-rest :vector) (gen-specs "rest" check-rest :vector)
;;; vector/_reverse
(defn check-reverse
[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/_reverse stack-type start-state)
expected-result (vec (rest vect))]
(= expected-result
(state/peek-stack end-state stack-type))))
(gen-specs "reverse" check-reverse :vector)
;;; vector/_subvec ;;; vector/_subvec
(defn clean-subvec-bounds (defn clean-subvec-bounds