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

Add test for string/rest

Browse Source 
This adds a test for the `string/rest` instruction
This commit is contained in:
Erik Rauer 2021-04-01 11:26:55 -05:00
parent 5cc3a02002
commit 7e780567ec
1 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -429,3 +429,18 @@
char1 gen/char char1 gen/char
char2 gen/char] char2 gen/char]
(check-replace-first-char str char1 char2))) (check-replace-first-char str char1 char2)))
;; string/rest
(defn check-rest
[value]
(let [start-state (state/push-to-stack state/empty-state :string value)
end-state ((:string_rest @core/instruction-table) start-state)
expected-result (apply str (rest value))]
(= expected-result
(state/peek-stack end-state :string))))
(defspec rest-spec 100
(prop/for-all [str gen/string]
(check-rest str)))