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

Add tests for string/iterate

Browse Source 
This adds a test for the `string/iterate` instruction
This commit is contained in:
Erik Rauer 2021-04-15 16:24:06 -05:00
parent 07ef1d3f90
commit 24630072ed
1 changed files with 19 additions and 1 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

@ -6,7 +6,8 @@
[clojure.test.check.clojure-test :as ct :refer [defspec]]
[propeller.push.state :as state]
[propeller.push.core :as core]
[propeller.push.instructions.string :as string-instructions]))
[propeller.push.instructions.string :as string-instructions]
[propeller.push.interpreter :as interpreter]))
;; string/butlast
@ -236,6 +237,23 @@
;; string/iterate
(defn check-iterate
[value]
(let [print-instr (keyword "char_print")
iter-instr (keyword "string_iterate")
program [iter-instr print-instr]
start-state (-> state/empty-state
(state/push-to-stack :string value)
(state/push-to-stack :output ""))
; 4 times the string length should be enough for this iteration, perhaps even
; more than we strictly need.
end-state (interpreter/interpret-program program start-state (* 4 (count value)))]
(= value
(state/peek-stack end-state :output))))
(defspec iterate-spec 100
(prop/for-all [value gen/string]
(check-iterate value)))
;; string/last