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

Add a test for string/set-char

Browse Source 
This adds a test for the `string/set-char` instruction
This commit is contained in:
Erik Rauer 2021-04-01 12:03:34 -05:00
parent 711fc20f01
commit 27bd7b6eb6
1 changed files with 30 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -459,3 +459,32 @@
(defspec reverse-spec 100
(prop/for-all [str gen/string]
(check-reverse str)))
;; string/set-char
(defn check-set-char
[value char n]
(let [start-state (-> state/empty-state
(state/push-to-stack :string value)
(state/push-to-stack :char char)
(state/push-to-stack :integer n))
end-state ((:string_set_char @core/instruction-table) start-state)]
(or
(and
(empty? value)
(= (state/peek-stack end-state :string) value)
(= (state/peek-stack end-state :char) char)
(= (state/peek-stack end-state :integer) n))
(=
(let [index (mod n (count value))
start (subs value 0 index)
end (subs value (+ index 1))]
(str start char end))
(state/peek-stack end-state :string)))))
(defspec set-char-spec 100
(prop/for-all [str gen/string
char gen/char
int gen/small-integer]
(check-set-char str char int)))