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

Add a test for string/length

Browse Source 
This adds a test for the `string/length` instruction
This commit is contained in:
Erik Rauer 2021-03-23 22:30:18 -05:00
parent c270ce6c1a
commit acdc225c71
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

@ -247,3 +247,18 @@
(defspec last-spec 100 (defspec last-spec 100
(prop/for-all [str gen/string] (prop/for-all [str gen/string]
(check-last str))) (check-last str)))
;; string/length
(defn check-length
[value]
(let [start-state (state/push-to-stack state/empty-state :string value)
end-state ((:string_length @core/instruction-table) start-state)
expected-result (count value)]
(= expected-result
(state/peek-stack end-state :integer))))
(defspec length-spec 100
(prop/for-all [str gen/string]
(check-length str)))