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

Add test for string/first

Browse Source 
This adds a test for the `string/first` instruction
This commit is contained in:
Erik Rauer 2021-03-18 22:48:15 -05:00
parent 50804b7cb8
commit 2008712e0a
1 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -128,4 +128,24 @@
(defspec empty-string-spec 100 (defspec empty-string-spec 100
(prop/for-all [str gen/string] (prop/for-all [str gen/string]
(check-empty-string str))) (check-empty-string str)))
;; string/first
(defn check-first
[value]
(let [start-state (state/push-to-stack state/empty-state :string value)
end-state ((:string_first @core/instruction-table) start-state)
expected-result (first value)]
(or
(and (empty? value)
(= (state/peek-stack end-state :string) value)
(state/empty-stack? end-state :char))
(and (= expected-result
(state/peek-stack end-state :char))
(state/empty-stack? end-state :string)))))
(defspec first-spec 100
(prop/for-all [str gen/string]
(check-first str)))