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

Add tests for vector/_remove

Browse Source 
This adds tests for `vector/_remove`.
This commit is contained in:
Erik Rauer 2021-01-03 16:17:09 -06:00
parent f71760c08f
commit 94d421ef0a
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -272,6 +272,23 @@
(gen-specs "pushall" check-pushall :vector) (gen-specs "pushall" check-pushall :vector)
;;; vector/_remove
(defn check-remove
[value-type vect value]
(let [stack-type (keyword (str "vector_" value-type))
start-state (state/push-to-stack
(state/push-to-stack state/empty-state
stack-type
vect)
(keyword value-type)
value)
end-state (vector/_remove stack-type start-state)]
(= []
(filterv #(= % value) (state/peek-stack end-state stack-type)))))
(gen-specs "remove" check-remove :vector :item)
;;; vector/_subvec ;;; vector/_subvec
(defn clean-subvec-bounds (defn clean-subvec-bounds